Inteligencia Articial Trabajo Prctico 7 a

Parte A Lgica de primer orden o

Edera Alejandro

edera.alejandro@gmail.com

Legajo: 26119

La gente slo cree lo que mira. o Henry David Thoreau (1817-1862)

A Generado con LTEX

4 de junio del 2008

1.

Escriba axiomas describiendo los predicados Nieto, Bisabuelo, Hermano, Hermana, Hija, Hijo, Tia, Tio, HermanoPolitico, HermanaPolitica y PrimoHermano. Averig e la denicin u o adecuada del primo no m,n veces extra do, y escriba la denicin en lgica de primer orden. Anotar los hechos bsicos que o o a estn representados en el rbol familiar de la Figura 8.5 del lia a bro. Mediante un sistema de razonamiento lgico apropiado, o DILE todas las sentencias que ha anotado y PREGUNTALE quien es el nieto de Elizabeth, los hermanos legales de Diana y los bisabuelos de Zara.

Denicin de los axiomas bsicos, adems de los que se solicitan. o a a x, y M asculino(x) F emenino(x). x, y P rogenitor(x, y) Hijo(y, x). x, p P adre(x) = p P rogenitor(p, x) M asculino(p). x, m M adre(x) = m P rogenitor(m, x) F emenino(m). x, y Esposo(x, y) M asculino(x). x, y Esposa(x, y) Esposo(x, y). x, y N ieto(x, y) z P rogenitor(y, z) P rogenitor(z, x) M asculino(x). x, y Abuelo(x, y) z P rogenitor(x, z) P rogenitor(z, y) M asculino(x). x, y Bisabuelo(x, y) z Abuelo(x, z) Abuelo(z, y). x, y Hermano(x, y) z P rogenitor(z, x) P rogenitor(z, y) Espos@(z, y) M asculino(x). x, y Hermana(x, y) z P rogenitor(z, x) P rogenitor(z, y) Espos@(z, y) M asculino(x). x, y Herman@(x, y) Herman@(y, x). x, y Hijo(x, y) z P rogenitor(y, x) P rogenitor(z, x) Espos@(z, y) M asculino(x). x, y Hija(x, y) z P rogenitor(y, x) P rogenitor(z, x) Espos@(z, y) M asculino(x). x, y T io(x, y) z P rogenitor(z, y) Hermano(z, y) M asculino(x). x, y T ia(x, y) z P rogenitor(z, y) Hermano(z, y) M asculino(x). x, y HermanaP olitica(x, y) z Espos@(z, x) Hermana(z, y). x, y P rimoHermano(x, y) z, w P rogenitor(z, x) P rogenitor(w, y) Hermano(z, w).

A continuacin deno los hechos bsicos y adems se los digo a la base de conocimiento. o a a T ELL(KB, Esposo(George, M um)). T ELL(KB, Hija(Elizabeth, George)). T ELL(KB, Esposa(Elizabeth, P hilip)). T ELL(KB, Esposo(Spencer, Kydd)). T ELL(KB, Hija(Diana, Spencer)). T ELL(KB, Hijo(Charles, Elizabeth)). T ELL(KB, Hija(Anne, Elizabeth)). T ELL(KB, Hijo(Andrew, Elizabeth)). T ELL(KB, Hijo(Edward, Elizabeth)). T ELL(KB, Hijo(W illiam, Diana)). T ELL(KB, Hijo(Harry, Diana)). T ELL(KB, Hijo(P eter, Anne)). T ELL(KB, Hija(Zara, Anne)). T ELL(KB, Hija(Beatrice, Andrew)). T ELL(KB, Hija(Eugenie, Andrew)).

A continuacin pregunt a la base de conocimiento las sentencias solicitadas. o o ASK(KB, x N ieto(x, Elizabeth)). ASK(KB, x Hermano(x, Diana)). ASK(KB, x Bisabuelo(x, Zara)).

2.

Represente las siguiente armaciones en lgica de primer oro den, utilizando un vocabulario consistente, que usted debe denir.

a. Algunos estudiantes estudian francs en la primavera del 2001. e x Estudiante(x) Estudia(x, F rances(y)). b. Cada estudiante que estudia francs lo aprueba. e x Estudiante(x) Estudia(x, F rances(y)) Aprobada(y). c. Solo un estudiante estudia griego en la primavera de 2001. x Estudiante(x) Estudia(x, Griego(y)). d. La mejor puntuacin en griego siempre es mejor que la mejor puntuacin en francs. o o e x, y Griego(x) F races(y) M ayor(M ejorP untaje(x), M ejorP untaje(y)). e. Todas las personas que compran una pliza son inteligentes. o x, y P ersona(x) Comprar(x, P oliza(y)) Inteligente(x). f. Nadie compra una pliza cara. o x, y P ersona(x) Cara(P oliza(y)) Comprar(x, y). g. Hay un agente que vende plizas slo a la gente que no est asegurada. o o a x y, z Agente(x) V ender(x, P oliza(y), z) P ersona(z) Asegurada(z). h. Hay un barbero que afeita a todos los hombres de la ciudad que no se afeitan ellos mismos. x y Barbero(x) Af eitar(x, y) Hombre(y) Af eitar(y, y). i. Una persona nacida en Reino Unido, cuyos padres sean ciudadanos de Reino Unido o residentes en Reino Unido, es un ciudadano de Reino Unido. x P ersona(x) N acReU n(x)) CiudReU n(P adre(x)) CiudReU n(M adre(x)) CiudReU n(x). j. Una persona nacida fuera de Reino Unido, que tenga uno de los padres ciudadano del Reino Unido o residente en Reino Unido, es ciudadano de Reino Unido por ascendencia. P ersona(x) N acReU n(x)[CiudReU n(P adre(x))CiudReU n(M adre(x))RecidReU n(P adre(x)) RecidReU n(P adre(x))] CiudAscReU n(x). k. Los pol ticos pueden mentir algunos todo el tiempo y pueden mentir a todos alg n tiemu po, pero no pueden mentir a todos todo el tiempo. x, y P olitico(x) M entirT odoT po(x, y) M entirT odoT po(x, y) M entirT odoT po(x, y).

3.

Rerindonos a los N meros de Peano (axiomas de los n mee u u ros naturales de p. 290).

1. Utilice los axiomas para reducir la suma +(3, 7) a un n mero natural (por ej. S(S(....S(7)...)). u +(3, 7) = = = = = = = S(+(3, 6)). S(S(+(3, 5))). S(S(S(+(3, 4)))). S(S(S(S(+(3, 3))))). S(S(S(S(S(+(3, 2)))))). S(S(S(S(S(S(+(3, 1))))))). S(S(S(S(S(S(S(+(3, 0)))))))).

2. Utilizando la notacin preja y los s o mbolos y , dena la multiplicacin y la exponenciacin o o utilizando axiomas similares a los utilizados para denir la suma. No olvide el axioma que dene el n mero neutro para la operacin (ej: 0 para la suma). Demuestre su uso reduciendo la operacin u o o (3, 7) a una suma, y la operacin a (3, 7) una multiplicacin. o o Primero denimos la multiplicacin en base a la adicin. o o m N umeroN at(m) (m, 0) = 0 m, n N umeroN at(m) N umeroN at(n) (m, S(n)) = +(m, (m, S(n))) Aplicamos la decin a la operacin solicitada. o o (3, 7) = +(3, (2, 6)) = +(3, +(3, (3, 5))) = +(3, +(3, +(3, +(3, (3, 4))))) = +(3, +(3, +(3, +(3, +(3, +(3, (3, 3))))))) = +(3, +(3, +(3, +(3, +(3, +(3, +(3, +(3, (3, 2))))))))) = +(3, +(3, +(3, +(3, +(3, +(3, +(3, +(3, +(3, +(3, (3, 1))))))))))) = +(3, +(3, +(3, +(3, +(3, +(3, +(3, +(3, +(3, +(3, +(3, +(3, (3, 0))))))))))))) En base a la denicin de multiplicacin deniremos la operacin de potenciacin. o o o o m N umeroN at(m) (m, 0) = 1 m, n N umeroN at(m) N umeroN at(n) (m, S(n)) = (m, (m, S(n))) Y la aplicaremos la denicin obtenemos. o (3, 7) = = = = = = = (3, (2, 6)) (3, (3, (3, 5))) (3, (3, (3, (3, (3, 4))))) (3, (3, (3, (3, (3, (3, (3, 3))))))) (3, (3, (3, (3, (3, (3, (3, (3, (3, 2))))))))) (3, (3, (3, (3, (3, (3, (3, (3, (3, (3, (3, 1))))))))))) (3, (3, (3, (3, (3, (3, (3, (3, (3, (3, (3, (3, (3, 0)))))))))))))