ESCUELA SUPERIOR POLITÉCNICA DEL CHIMBORAZO

FACULTAD DE INFORMÁTICA Y ELECTRÓNICA

INGENIERÍA EN SISTEMAS

BASE DE CONOCIMIENTO

TEMA: Agentes Secretos

NOMBRE
• FABRICIO PIMBOMAZA 6043
• LENIN TASNA 6115
• JOSÉ LUIS SANCHEZ 6113

SEMESTRE
• OCTAVO “A”

DOCENTE
• ING. MIGUEL DUQUE

RIOBAMBA – ECUADOR
ABRIL 2020 – SEPTIEMBRE 2020
PROBLEMA
Alberto, Luisa, Carmen y Tomás son agentes secretos, cada uno está en uno de los cuatro países:
Egipto, Francia, Japón y España. No se sabe dónde está cada uno de ellos. Por lo tanto, se ha
pedido información y se han recibido los 4 telegramas siguientes:

• Desde Francia: Luisa están en España.

• Desde España: Alberto está en Francia.
• Desde Egipto: Carmen está en Egipto.
• Desde Japón: Carmen está en Francia.
No se sabe quién es el que ha mandado cada uno de los mensajes, pero se sabe que Tomás miente
(¿un agente doble?) y que los demás agentes dicen la verdad.
El misterio que se trata de responder es la siguiente pregunta: ¿Quién está en cada país?
ANÁLISIS SOLUCIÓN
Se diseña un sistema experto para resolver este problema:
Agentes Secretos Países

• Alberto Egipto
• Luisa Francia
• Carmen Japón
• Tomás España

Un Agente puede estar en un solo país

Cada objeto puede tomar uno de cuatro valores
Puesto que Tomás es el único que miente, se considera que un mensaje suyo es siempre falso.
Esto da lugar a dos reglas por cada mensaje:
1. El mensaje de Francia (Luisa está en España) da lugar a:
Regla 1: Si Tomás está en Francia, entonces Luisa no está en España.
Regla 2: Si Tomás no está en Francia, entonces Luisa está en España.
2. El mensaje de España (Alberto está en Francia) da lugar a:
Regla 3: Si Tomás está en España, entonces Alberto no está en Francia.
Regla 4: Si Tomás no está en España, entonces Alberto está en Francia.
3. El mensaje de Egipto (Carmen está en Egipto) da lugar a:
Regla 5: Si Tomás está en Egipto, entonces Carmen no está en Egipto.
Regla 6: Si ´Tomás no está en Egipto, entonces Carmen está en Egipto.
4. El mensaje de Japón (Carmen está en Francia) da lugar a:
Regla 7: Si Tomás está en Japón, entonces Carmen no está en Francia.
Regla 8: Si Tomás no está en Japón, entonces Carmen está en Francia.

Con las ocho reglas anteriores, el motor de inferencia no podría concluir en que país está
cada uno de los agentes, puesto que las reglas no contienen la información “solo un agente
puede estar en cada país”. Por lo tanto, se obtiene un conjunto de reglas adicionales que tiene
en cuenta esta información.

Puesto que cada país puede estar ocupado por exactamente un agente, supóngase que un
agente está en un país dado. Entonces, se necesitan tres reglas para garantizar que ninguno
de los restantes agentes está en ese mismo país. Dado que se tiene cuatro agentes, resultan
un total de 12 reglas (3 reglas x 4 agentes. Sin embargo, por las redundancias que se dan,
solo son necesarias seis reglas

5. Para Egipto se tienen las reglas:

Regla 9: Si Alberto está en Egipto, entonces Luisa no está en Egipto.
Regla 10: Si Alberto está en Egipto, entonces Carmen no está en Egipto.
Regla 11: Si Alberto está en Egipto, entonces Tomás no está en Egipto.
Regla 12: Si Luisa está en Egipto, entonces Carmen no está en Egipto.
Regla 13: Si Luisa está en Egipto, entonces Tomás no está en Egipto.
Regla 14: Si Carmen está en Egipto, entonces Tomás no está en Egipto.

6. Para Francia se tienen las reglas:

Regla 15: Si Alberto está en Francia, entonces Luisa no está en Francia.
Regla 16: Si Alberto está en Francia, entonces Carmen no está en Francia.
Regla 17: Si Alberto está en Francia, entonces Tomás no está en Francia.
Regla 18: Si Luisa está en Francia, entonces Carmen no está en Francia.
Regla 19: Si Luisa está en Francia, entonces Tomás no está en Francia.
Regla 20: Si Carmen está en Francia, entonces Tomás no está en Francia.

7. Para Japón se tienen las reglas:

Regla 21: Si Alberto está en Japón, entonces Luisa no está en Japón.
Regla 22: Si Alberto está en Japón, entonces Carmen no está en Japón.
Regla 23: Si Alberto está en Japón, entonces Tomás no está en Japón.
Regla 24: Si Luisa está en Japón, entonces Carmen no está en Japón.
Regla 25: Si Luisa está en Japón, entonces Tomás no está en Francia.
Regla 26: Si Carmen está en Japón, entonces Tomás no está en Japón.

8. Para España se tienen las reglas:

Regla 27: Si Alberto está en España, entonces Luisa no está en España.
Regla 28: Si Alberto está en España, entonces Carmen no está en España.
Regla 29: Si Alberto está en España, entonces Tomás no está en España.
Regla 30: Si Luisa está en España, entonces Carmen no está en España.
Regla 31: Si Luisa está en España, entonces Tomás no está en España.
Regla 32: Si Carmen está en España, entonces Tomás no está en España.

CONCLUSIÓN
Con estas reglas se intentará ahora averiguar el valor que toma el objeto Tomás:

Tomás está posiblemente en Egipto

Luisa está en España regla 2

Alberto está en Francia regla 4
Carmen está en Japón regla 26

Tomas esta posiblemente en España

Luisa está en Francia regla 19
Alberto está en Japón regla 23 -no está en Francia regla 2
Carmen está en Egipto regla 6

Tomas esta posiblemente en Francia

Luisa está en Egipto regla 12-no está en España regla 1
Alberto está en España regla 27
Carmen está en Japón regla 26 -no está en Egipto regla 12

Tomas esta posiblemente en Japón

Luisa está en España regla 30

Alberto está en Francia regla 16
Carmen está en Egipto regla 14-no está en Francia regla 7

La finalidad de la inferencia lógica es utilizar las reglas de inferencia de manera que

conduzcan a otras fórmulas que se denominan conclusiones. El paso lógico de las premisas
a la conclusión es una deducción. La conclusión que se obtiene se dice que es una
consecuencia lógica de las premisas si cada paso que se da para llegar a la conclusión está
permitido por una regla.

RECOMENDACIÓN
Se recomienda revisar los conceptos sobres Modus Tollens que fueron aplicadas en el
presente desarrollo del problema, que es un modo que al negar niega, para poder crear las
reglas suficientes para poder sacar de dicho problema una conclusión buena es decir poder
llegar a la respuesta correcta.

BIBLIOGRAFÍA
(s.f.). Obtenido de http://www.dci.ugto.mx/~msabido/logica/2_a.pdf

Calderón, D. (s.f.). Unidad de aprendizaje: Lógica. Obtenido de

http://ri.uaemex.mx/oca/bitstream/20.500.11799/32525/1/secme-28839.pdf

Castillo, E., Gutiérrez, J., & Hadi, A. (s.f.). Sistemas Expertos y Modelos de Redes Probabilísticas.
Obtenido de https://personales.unican.es/gutierjm/papers/BookCGH.pdf

Razo, F. (2014). Inferencia lógica utilizando moléculas de ADN y desplazamiento de cadenas.

Obtenido de
https://cicese.repositorioinstitucional.mx/jspui/bitstream/1007/430/1/235341.pdf