Transparencias Tema06

gica de Primer Orden Lo
Tema 6
Transparencias IA (F29) M.Marcos, 2002 (Figuras c S.Russell & P.Norvig, 1998)
Tema 6
Esquema
Introducci on Sintaxis y sem antica de la L ogica de Primer Orden Variaciones en la notaci on Utilizando la L ogica de Primer Orden - el dominio de las relaciones familiares - el dominio de los conjuntos Un agente para el mundo del Wumpus con L ogica de Primer Orden
Tema 6
Introducci on
Los agentes basados en el conocimiento funcionan razonando con una representaci on del conocimiento sobre el mundo y sus acciones La l ogica proposicional tiene muchas limitaciones derivadas del uso exclusivo de la proposici on como construcci on del lenguaje Vamos a ver un lenguaje que ofrece distintas construcciones para representar el conocimiento: l ogica de primer orden (LPO) Supone que existen entidades individuales (objetos), con caracter sticas distintivas (propiedades), entre los que puede haber relaciones de distintos tipos, algunas de ellas funciones Ejemplos de los elementos anteriores: objetos: gente, casas, n umeros, colores, . . . propiedades: rojo, redondo, primo, . . . relaciones: hermano de, mayor que, . . . funciones: padre de, . . .
Transparencias IA (F29) M.Marcos, 2002 (Figuras c S.Russell & P.Norvig, 1998) Tema 6 3
Cualquier hecho se reere a uno o varios de los anteriores elementos, p.e. en si el Wumpus est a en una posici on, las posiciones adyacentes huelen podemos distinguir objetos: Wumpus y posiciones propiedades: presencia de olor relaciones: ser adyacente a funciones: estar en La popularidad de la LPO se debe a que estructura el mundo en objetos y relaciones ; facilita el razonamiento da libertad para describir el mundo de la manera que el dise nador considere apropiada permite expresar sentencias sobre todos los objetos del universo
Tema 6
Sintaxis y sem antica de la LPO

En la LPO existensentencias representando hechos y t erminos representando objetos Los s mbolos que se usan son los s mbolos de constante, predicado y funci on, las variables, las conectivas l ogicas, los cuanticadores, la igualdad y los par entesis Ejemplos: S mbolos de constante: S mbolos de predicado: S mbolos de funci on: Variables: Conectivas l ogicas: Cuanticadores: Igualdad: ReyJuan, 2, U JI, . . . Redondo, Hermano, >, . . . Coseno, P adre, P iernaIzquierdaDe, . . . x, y, a, b, . . . = =
Tema 6
La sem antica de los s mbolos de constante especica a qu e objeto se reeren siguiendo las pautas: una constante se reere a un solo objeto puede haber dos constantes haciendo referencia al mismo objeto no es necesario nombrar todos los objetos del universo La sem antica de los s mbolos de predicado especica a qu e relaci on hacen referencia Formalmente toda relaci on se dene mediante el conjunto de tuplas que la on de hermandad: satisfacen, p.e. la relaci { Rey Juan, Ricardo Coraz on De Le on , Ricardo Coraz on De Le on, Rey Juan }
Tema 6
La sem antica de los s mbolos de funci on especica la relaci on funcional a que hacen referencia Una relaci on funcional tambi en puede denirse mediante un conjunto de on coseno hace corresponder a un angulo un solo n umero tuplas, p.e. la funci mediante tuplas con dos elementos: { 90o , 0 , 0o, 1 } La sintaxis de los t erminos: los s mbolos de constante son t erminos un s mbolo de funci on seguido de una lista entre par entesis de t erminos (argumentos) es un t ermino, p.e. P iernaIzquierdaDe(Juan) ; permiten rerirse a un objeto sin necesidad de nombrarlo La sem antica de los t erminos corresponde, en la relaci on especicada, al n + 1 elemento de la tupla cuyos primeros n objetos son los argumentos
La sintaxis de las sentencias at omicas: un s mbolo de predicado seguido de una lista de t erminos es una sentencia at omica, p.e. Hermano(Ricardo, Juan) o Casado(P adre(Ricardo), M adre(Juan)) notar que los argumentos se ordenan de forma que P (x, y ) se lea como x es una P de y La sem antica de las sentencias at omicas: una sentencia at omica es cierta si la relaci on especicada se da entre los argumentos La sintaxis de las sentencias compuestas: como en la l ogica proposicional, las sentencias se pueden construir combinando otras con , p.e. Hermano(Ricardo, Juan)Hermano(Juan, Ricardo) con , p.e. M asV iejo(Juan, 30) M asJoven(Juan, 30) La sem antica de las sentencias compuestas es similar a la de las sentencias con conectivas de la l ogica proposicional
Con los cuanticadores y podemos expresar propiedades sobre conjuntos de objetos sin enumerarlos: feros: (cuanticador universal), p.e. todos los gatos son mam x Gato(x) M amif ero(x) Se puede ver como la conjunci on de las sentencias obtenidas al sustituir la variable x: Gato(M ancha) M amif ero(M ancha) Gato(F elix) M amif ero(F elix) Gato(Juan) M amif ero(Juan) . . . (cuanticador existencial), p.e. Mancha tiene una hermana que es gato: x Hermana(x, M ancha) Gato(x) Se puede ver como: (Hermana(M ancha, M ancha) Gato(M ancha)) (Hermana(F elix, M ancha) Gato(F elix)) . . . La sem antica de sentencias con cuanticadores se deriva de la de las sentencias con conectivas
notar que la conectiva que usaremos con es y que la que usaremos con es Para expresar sentencias m as complejas necesitaremos utilizar varios cuanticadores: del mismo tipo, p.e. si x es progenitor de y entonces y es descendiente de x: x, y P rogenitor(x, y ) Descendiente(y, x) o de distinto tipo, p.e. todo el mundo quiere a alguien: x, y Quiere(x, y ) existe alguien a quien todo el mundo quiere: y, x Quiere(x, y ) El orden de los cuanticadores es muy importante: x, y P (x, y ) x (y P (x, y )) arma que todo objeto tiene la propiedad de estar relacionado con alg un objeto mediante P x, y P (x, y ) x (y P (x, y )) arma que alg un objeto tiene la propiedad de estar relacionado con todos los objetos mediante P
Los cuanticadores y est an relacionados mediante la negaci on, p.e. todo el mundo detesta el broccoli equivale a no existe nadie a quien le guste el broccoli x Gusta(x, Broccoli) equivale a x Gusta(x, Broccoli) a todo el mundo le gusta el helado equivale a no existe nadie a quien no le guste el helado x Gusta(x, Helado) equivale a x Gusta(x, Helado) Como y pueden verse como una conjunci on y una disyunci on sobre el universo de objetos, cumplen las leyes de De Morgan: x P x P x P x P x P x P x P x P
Tema 6
11
Con la igualdad = podemos armar que dos t erminos se reeren al mismo objeto, p.e. P adre(Juan) = Enrique Tambi en sirve para armar que el objeto al que nos referimos en dos t erminos no deben ser el mismo, p.e. Mancha tiene dos hermanas: x, y Hermana(x, M ancha) Hermana(y, M ancha) (x = y ) notar que sin (x = y ) (o en su lugar x = y ) no estamos excluyendo el caso en que x e y son iguales La sem antica de sentencias con la igualdad: una igualdad es cierta si los dos t erminos que une se reeren al mismo objeto
Tema 6
12
Variaciones en la notaci on
Existen notaciones alternativas desarrolladas en otros campos:
Elemento de la sintaxis Notaci on utilizada Notaciones alternativas Negaci on P P P Y P Q P &Q P Q P Q P, Q O P Q P |Q P ; Q P + Q Implicaci on P Q P Q P Q Equivalencia P Q P Q P Q Universalidad x P (x) (x)P (x) xP (x) Existencia x P (x) (x)P (x) xP (x) Relaci on R(x, y ) (Rxy ) Rxy xRy
Otras notaciones derivan de lenguajes de programaci on l ogicos, p.e. x P eludo(x) M aulla(x) T iene(x, Garras) Gato(x) en Prolog: gato (X) :- peludo (X), maulla (X), tiene (X, garras). en lenguajes basados en Lisp: (forall ?x (=> (and (peludo ?x) (maulla ?x) (tiene ?x garras)) (gato ?x)))
Utilizando la LPO
Denominamos dominio al fragmento del mundo al que nos estamos reriendo cuando representamos conocimiento En matem aticas los axiomas capturan los hechos b asicos de un dominio y sirven de base para la denici on de otros conceptos axiomas y deniciones se utilizan en la demostraci on de teoremas En IA usaremos axiomas para representar el conocimiento que hay inicialmente en la KB Para representar el conocimiento de un dominio: 1. Identicar objetos, propiedades, relaciones y funciones 2. Describir el conocimiento que tenemos de ellos mediante axiomas
Tema 6
14
el dominio de las relaciones familiares

Podemos identicar: objetos: personas propiedades: g enero predicados unarios Hombre y M ujer relaciones: progenitor, descendiente, hijo, hija, c onyuge, esposo, esposa, . . . predicados binarios P rogenitor, Descendiente, Hijo, Hija, Conyuge, Esposo, Esposa, . . . funciones: padre y madre funciones P adre y M adre Y describir lo que de ellos sabemos . . .
Tema 6
15
La madre de alguien es su progenitor femenino . El esposo de alguien es su c onyuge masculino . Masculino y femenino son g eneros disjuntos . Progenitor y descendiente son relaciones inversas . Abuelo de alguien es un progenitor de los progenitores de ese alguien .
Tema 6
16
La madre de alguien es su progenitor femenino m, c M adre(c) = m M ujer(m) P rogenitor(m, c) El esposo de alguien es su c onyuge masculino w, h Esposo(h, w) Hombre(h) Conyuge(h, w) Masculino y femenino son g eneros disjuntos x Hombre(x) M ujer(x) Progenitor y descendiente son relaciones inversas p, c P rogenitor(p, c) Descendiente(c, p) Abuelo de alguien es un progenitor de los progenitores de ese alguien g, c Abuelos(g, c) p P rogenitor(g, p) P rogenitor(p, c)
Una cuesti on importante es saber si hemos denido una cantidad de axiomas suciente para especicar completamente el dominio: se puede postular un conjunto de predicados b asicos , p.e. en el dominio de las relaciones familiares: Descendiente, Conyuge, Hombre y M ujer Tambi en es importante es saber si hemos denido demasiados axiomas, es decir, si no son independientes: un axioma independiente es aqu el que no se puede obtener a partir de otros En IA se suele trabajar con axiomas dependientes con el n de hacer m as eciente el proceso de demostraci on Una denici on es un axioma con la forma x, y P (x, y ) . . . , especicando para qu e objetos se cumple P y para cu ales no La LPO permite utilizar predicados parcialmente denidos
el dominio de los conjuntos

Necesitaremos: representar conjuntos, incluido el vac o constante ConjuntoV acio construir nuevos conjuntos a nadiendo un elemento a otro conjunto funci on Incorporacion o mediante la uni on o la intersecci on de otros funciones U nion e Interseccion saber si un objeto es un conjunto predicado Conjunto, si un elemento es miembro de un conjunto predicado M iembro, o si un conjunto est a incluido en otro predicado Subconjunto Los axiomas que se proponen . . .
Tema 6
19
S olo son conjuntos el vac o y los que resultan de incorporar un elemento . El conjunto vac o es aqu el que no tiene ning un elemento . La incorporaci on de un elemento que ya est a en el conjunto no tiene efecto . Los u nicos elementos de un conjunto son aqu ellos que han sido incorporados .
Tema 6
20
S olo son conjuntos el vac o y los que resultan de incorporar un elemento s Conjunto(s) (s = ConjuntoV acio) (x, s2 Conjunto(s2) s = Incorporacion(x, s2)) El conjunto vac o es aqu el que no tiene ning un elemento x, s Incorporacion(x, s) = ConjuntoV acio La incorporaci on de un elemento que ya est a en el conjunto no tiene efecto x, s M iembro(x, s) s = Incorporacion(x, s) Los u nicos elementos de un conjunto son aqu ellos que han sido incorporados x, s M iembro(x, s) y, s2 (s = Incorporacion(y, s2) (x = y M iembro(x, s2)))
Tema 6
21
Un conjunto es subconjunto de otro si y s olo si todos los miembros del primero lo son del segundo . Dos conjuntos son iguales si y s olo cada uno de ellos es subconjunto del otro . Un objeto es miembro de la intersecci on de dos conjuntos si y s olo si es tambi en miembro de cada uno de ellos . Un objeto es miembro de la uni on de dos conjuntos si y s olo si es tambi en miembro de alguno de ellos .
Un conjunto es subconjunto de otro si y s olo si todos los miembros del primero lo son del segundo s1, s2 Subconjunto(s1, s2) (x M iembro(x, s1) M iembro(x, s2)) Dos conjuntos son iguales si y s olo cada uno de ellos es subconjunto del otro s1, s2 (s1 = s2) (Subconjunto(s1, s2) Subconjunto(s1, s2)) Un objeto es miembro de la intersecci on de dos conjuntos si y s olo si es tambi en miembro de cada uno de ellos x, s1, s2 M iembro(x, Interseccion(s1, s2)) M iembro(x, s1)M iembro(x, s2) Un objeto es miembro de la uni on de dos conjuntos si y s olo si es tambi en miembro de alguno de ellos x, s1, s2 M iembro(x, U nion(s1, s2)) M iembro(x, s1)M iembro(x, s2)
Un agente para el mundo del Wumpus

El esquema para un agente basado en el conocimiento usando LPO:
function KB-AGENT( percept) returns an action static: KB, a knowledge base t, a counter, initially 0, indicating time TELL(KB, MAKE-PERCEPT-SENTENCE( percept, t)) action ASK(KB, MAKE-ACTION-QUERY(t)) TELL(KB, MAKE-ACTION-SENTENCE(action, t)) t t+1 return action
Tell y Ask sirven para: introducir sentencias en la KB, p.e. Tell(KB , m, c M adre(c) = m M ujer(m)P rogenitor(m, c)) realizar consultas simples o con cuanticador existencial, p.e. Ask(KB , Abuelo(M axi, Botas)) o Ask(KB , x Hijo(x, M ancha)) Las u ltimas se responden con una lista de pares variable/t ermino (sustituci on), p.e. {x/Botas}
Para construir el agente usando LPO se deber a decidir, entre otras cosas, la representaci on de: las percepciones y el momento en que se reciben, p.e. P ercept([Stench, Breeze, Glitter, N one, N one], 5) las reglas para convertir las percepciones en formas m as u tiles: b, g, p, q, t P ercept([Stench, b, g, p, q ], t) Stench(t) s, g, p, q, t P ercept([s, Breeze, g, p, q ], t) Breeze(t) s, b, p, q, t P ercept([s, b, Glitter, p, q ], t) AtGold(t) . . . las acciones posibles: T urn(Right), T urn(Lef t), F orward, Grab, Release, Shoot, Climb consultas, p.e. a Action(a, 5)
Tema 6
25

Transparencias Tema06

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Transparencias Tema06

Transféré par

Droits d'auteur :

Formats disponibles

gica de Primer Orden Lo

Transparencias IA (F29) M.Marcos, 2002 (Figuras c S.Russell & P.Norvig, 1998)

Transparencias IA (F29) M.Marcos, 2002 (Figuras c S.Russell & P.Norvig, 1998)

Transparencias IA (F29) M.Marcos, 2002 (Figuras c S.Russell & P.Norvig, 1998)

Sintaxis y sem antica de la LPO

Transparencias IA (F29) M.Marcos, 2002 (Figuras c S.Russell & P.Norvig, 1998)

Transparencias IA (F29) M.Marcos, 2002 (Figuras c S.Russell & P.Norvig, 1998)

Transparencias IA (F29) M.Marcos, 2002 (Figuras c S.Russell & P.Norvig, 1998)

Transparencias IA (F29) M.Marcos, 2002 (Figuras c S.Russell & P.Norvig, 1998)

Transparencias IA (F29) M.Marcos, 2002 (Figuras c S.Russell & P.Norvig, 1998)

el dominio de las relaciones familiares

Transparencias IA (F29) M.Marcos, 2002 (Figuras c S.Russell & P.Norvig, 1998)

Transparencias IA (F29) M.Marcos, 2002 (Figuras c S.Russell & P.Norvig, 1998)

el dominio de los conjuntos

Transparencias IA (F29) M.Marcos, 2002 (Figuras c S.Russell & P.Norvig, 1998)

Transparencias IA (F29) M.Marcos, 2002 (Figuras c S.Russell & P.Norvig, 1998)

Transparencias IA (F29) M.Marcos, 2002 (Figuras c S.Russell & P.Norvig, 1998)

Un agente para el mundo del Wumpus

Transparencias IA (F29) M.Marcos, 2002 (Figuras c S.Russell & P.Norvig, 1998)

Vous aimerez peut-être aussi