Re: Tom Clancy's End War - 4 Links [Accion][Full][Pc]

Segundo Parcial Tarea 2 1. Lee los capítulos 8 y 9 del libro de texto “Artificial Intelligence: A Modern Approach. 3rd Edition”, de Stuart Rusell y Peter Norvig. 2. Traduce las siguientes sentencias del lenguaje natural a lógica de primer orden. Si vas a usar variables, asegúrate de usar los cuantificadores universal o existencial según sea necesario (si no vas a usar variables, sino constantes,no se usan los cuantificadores)(20 puntos): a. “Paris y Marsella se encuentran ambas en Francia” i. en(Paris,Francia)  en(Marsella,Francia) b. “Hay un país que tiene fronteras con Irán y con Paquistán” i. x país(x)  frontera(x,Irán)  frontera (x,Paquistán) c. “Todos los países que tienen frontera con Ecuador, están en Sudamérica” i. x país(x)  frontera(x,Ecuador)  enSudamerica(x) ii. ¬xpaís(x)  frontera(x,Ecuador)  ¬enSudamerica(x) d. “Ningún país de Sudamérica tiene frontera con ningún país de Europa” i. ¬x,y país(x)  país(y)  enSudamerica(x)  enEuropa(y)  frontera(x,y) ii. x,y país(x)  país(y)  enSudamerica(x)  enEuropa(y)  ¬frontera(x,y) e. “Algunos estudiantes tomaron Francés en Primavera 2011” i. x estudiante (x)  tomó(x,Francés,Primavera2011) f. “Todos losestudiantes que tomaron Francés la aprobaron” i. x estudiante(x)  tomó(x,Francés)  aprobó (x,Francés)
ii. ¬x estudiante (x)  tomó(x,Francés,Primavera2011)  ¬aprobó (x,Francés)

3. ¿Qué quieren decir en lenguaje natural la siguientes sentencia de LPO? (! Significa que existe uno y solamente uno, no más)(20 puntos) ( ) ( )  ( ) a. ( ) i. Dos personas que hablan el mismo lenguaje se entiendenentre sí. b. ( ) ( ) ( ) i. Dos personas que se entienden entre sí pueden tener una amistad ( ) ( ) ( ) c.  i. Existe algún agente de seguros que vende pólizas a todas las personas que no están aseguradas. ( ) ( ) ( ) d.  ( ) i. No existe ninguna persona que compre pólizas caras ii. Nadie compra pólizas caras ( ) ( ) e.  ( ) i. Kevin y Joan tienen una sola hija (de ambos, cada uno podría tenermás hijos por separado) .

f.

( ) ( ) ( ) ( ) i. Toda persona nacida en México, de padre y madre nacidos ambos también en México es ciudadano mexicano por nacimiento

( )

(

)

4. En el ejemplo visto en clase sobre “Mato la curiosidad al gato?” muestra paso por paso como se convierten las siguientes sentencias de LPO a CNF (Forma Normal Conjuntiva) (Son 9 pasos, las sentencias enCNF también vienen en la presentación vista en clase)(20 puntos) a. (x) Perro(x)  Dueño(Jack,x) b. (x) ((y) Perro(y)  Dueño(x, y))  AmanteAnimales(x) c. (x) AmanteAnimales(x)  (y) Animal(y)  ¬Mata(x,y) d. Mata(Jack,Tuna)  Mata(Curiosidad,Tuna) e. Gato(Tuna) f. (x) Gato(x)  Animal(x)

Paso 1: Eliminar conectivos  (NO HAY). Paso 2: Eliminar todos los conectivos  a. (x) Perro(x) Dueño(Jack,x) b. (x) ((y) ¬(Perro(y)  Dueño(x, y)))  AmanteAnimales(x) c. (x) ¬AmanteAnimales(x)  ((y) Animal(y)  ¬Mata(x,y)) (se elimina el primero de c) (x) ¬AmanteAnimales(x)  ((y) ¬Animal(y)  ¬Mata(x,y)) (se elimina el segundo de c) d. Mata(Jack,Tuna)  Mata(Curiosidad,Tuna) e. Gato(Tuna) f. (x) ¬Gato(x)  Animal(x) Paso 3: Reducir el alcance de cada símbolo de negación a. b. c. d.e. f. (x) Perro(x)  Dueño(Jack,x) (x) ((y) ¬Perro(y)  ¬Dueño(x, y))  AmanteAnimales(x) (x) ¬AmanteAnimales(x)  ((y) ¬Animal(y)  ¬Mata(x,y)) Mata(Jack,Tuna)  Mata(Curiosidad,Tuna) Gato(Tuna) (x) ¬Gato(x)  Animal(x)

Paso 4: Estandarizar variables: Están estandarizadas. En cada sentencia, no hay cuantificadores diferentes que usen la misma variable (por ejemplo, si hubiera doscuantificadores x en diferentes partes de la sentencia que cuantifiquen segmentos

diferentes de ella, es decir, si en realidad se supone que son dos variables diferentes, no deben llamarse ambas x, hay que cambiar el nombre a una de ellas). Paso 5: Eliminar cuantificadores existenciales introduciendo constantes/funciones de Skolem: a. b. c. d. e. f. Perro(spike)  Dueño(Jack,spike) (x)...