Reto (Quien lo hace?) part4
Publicado por QuienSabe (5 intervenciones) el 06/03/2005 22:51:29
En este caso no hay una contradicci´on, lo que significa que Jap´on es
un valor posible para el objeto Tom´as.
Con las ocho reglas anteriores, el motor de inferencia no puede concluir
en qu´e pa´ıs est´a cada uno de los agentes, puesto que las reglas no contienen
la informaci´on “s´olo un agente puede estar en cada pa´ıs.” Seguidamente se
considera esta situaci´on y se obtiene un conjunto de reglas adicionales que
tienen en cuenta esta informaci´on.
Puesto que cada pa´ıs puede estar ocupado por exactamente un agente,
sup´ongase que un agente est´a en un pa´ıs dado. Entonces, se necesitan tres
reglas para garantizar que ninguno de los restantes agentes est´a en ese
mismo pa´ıs. Dado que se tienen cuatro agentes, resultan un total de 12
reglas (3 reglas × 4 agentes). Sin embargo, si se utiliza la regla de inferencia
Modus Tollens, s´olo son necesarias seis reglas, pues las restantes resultan
redundantes. Por ejemplo, para Egipto se tienen las reglas:
un valor posible para el objeto Tom´as.
Con las ocho reglas anteriores, el motor de inferencia no puede concluir
en qu´e pa´ıs est´a cada uno de los agentes, puesto que las reglas no contienen
la informaci´on “s´olo un agente puede estar en cada pa´ıs.” Seguidamente se
considera esta situaci´on y se obtiene un conjunto de reglas adicionales que
tienen en cuenta esta informaci´on.
Puesto que cada pa´ıs puede estar ocupado por exactamente un agente,
sup´ongase que un agente est´a en un pa´ıs dado. Entonces, se necesitan tres
reglas para garantizar que ninguno de los restantes agentes est´a en ese
mismo pa´ıs. Dado que se tienen cuatro agentes, resultan un total de 12
reglas (3 reglas × 4 agentes). Sin embargo, si se utiliza la regla de inferencia
Modus Tollens, s´olo son necesarias seis reglas, pues las restantes resultan
redundantes. Por ejemplo, para Egipto se tienen las reglas:
Valora esta pregunta
0