Download Agentes Lógicos - Luis Enrique Sánchez Crespo

Document related concepts

Representación del conocimiento wikipedia , lookup

Cyc wikipedia , lookup

Transcript
Universidad de Castilla-La Mancha
Inteligencia Artificial e Ingeniería del Conocimiento
Tema4: Sistemas basados en el
conocimiento (Agentes Lógicos)
Profesores:
Luis Jiménez Linares.
Luis Enrique Sánchez Crespo.
Datos de la Asignatura
Temarío
Luis Enrique
Sánchez Crespo
2º Cuatrimestre
Sistemas basados en el conocimiento
(Cap. 8-12)
Inteligencia Artificial e Ingenieria del Conocimiento
– Mediante lógica de predicados.
– Mediante Sistemas de producción.
Tratamiento de la incertidumbre (Cap. 13-15)
– Redes Bayesianas.
– Razonamiento aproximado (lógica difusa).
UCLM-ESI
2 de 110
Índice
Inteligencia Artificial e Ingenieria del Conocimiento
Luis Enrique
Sánchez Crespo
UCLM-ESI
6.1 Un agente conocimiento-intensivo.
6.2 El ambiente del mundo de wumpus
6.3 Representación, Razonamiento y Lógica
6.4 Lógica propositiva
6.5 Un agente para el mundo de wumpus
6.6 Resumen
3 de 110
Búsqueda informada
Inteligencia Artificial e Ingenieria del Conocimiento
Luis Enrique
Sánchez Crespo
Agente conocimiento-intensivo
UCLM-ESI
4 de 110
Agentes basados en conocimiento
Introducción
Inteligencia Artificial e Ingenieria del Conocimiento
Luis Enrique
Sánchez Crespo
Se introduce el diseño de un agente basado en el
conocimiento
Se presenta un lenguaje lógico sencillo pero insuficiente, el
de la lógica propositiva,
Se ejemplifica con un agente capaz de desempeñarse bien
en el mundo de Wumpus, siendo Wumpus un juego que
provoca adicción.
En este capítulo se aprende a diseñar agentes que
– construyen representaciones del mundo,
– derivan nuevas representaciones del mundo por inferencia y
– usan esas nuevas representaciones para saber qué hacer
UCLM-ESI
5 de 110
Agentes basados en conocimiento
Representación del conocimiento
Inteligencia Artificial e Ingenieria del Conocimiento
Luis Enrique
Sánchez Crespo
El papel pretendido de la representación del conocimiento
en IA es reducir problemas de acción inteligente en meros
problemas de BÚSQUEDA
Grinsberg
Analogía entre Programación y Problemas de IA
Programación
11.Crear
.Crearun
unalgoritmo
algoritmopara
pararesolver
resolver
elel problema
problema
2.2.Seleccionar
Seleccionarun
unlenguaje
lenguajede
de
programación
programaciónpara
paracodificar
codificarlalatarea
tarea
3.3.Capturar
Capturarelelalgoritmo
algoritmocomo
como
programa
programa
4.4.Ejecutar
Ejecutarelelprograma
programa
Inteligencia Artificial
1.1.Identificar
Identificarelelconocimiento
conocimientonecesario
necesariopara
para
resolver
el
problema
resolver el problema
2.2.Seleccionar
Seleccionarelellenguaje
lenguajecon
conelelcual
cualdicho
dicho
conocimiento
pueda
ser
representado
conocimiento pueda ser representado
3.3.Escribir
Escribirelelconocimiento
conocimientodentro
dentrode
deese
ese
lenguaje
lenguaje
4.4.Usar
Usarlas
lasconsecuencias
consecuenciasdel
delconocimiento
conocimiento
para
resolver
el
problema
para resolver el problema
La BÚSQUEDA aparece en el punto 4
Foundations of Artificial Intelligence
UCLM-ESI
20
6 de 110
Agentes basados en conocimiento
La meta consiste en que …
Luis Enrique
Sánchez Crespo
– el conocimiento aparezca explícitamente en una base
– se logren conclusiones del conocimiento declarado en la base
Inteligencia Artificial e Ingenieria del Conocimiento
Para ello es indispensable la LÓGICA
– Una dada lógica es una notación ( o un lenguaje) matemático
para gestionar el conocimiento
– La principal alternativa que hay para la lógica es el lenguaje
natural (español, inglés,...).
– Tanto en el lenguaje natural como en la lógica la unidad es la
oración ( “sentence”)
– Sintaxis y Semántica
– Inferencia Lógica
– Lógica sana y completa
UCLM-ESI
7 de 110
Agentes Lógicos
Inteligencia Artificial e Ingenieria del Conocimiento
Luis Enrique
Sánchez Crespo
Agentes basados en conocimiento
UCLM-ESI
8 de 110
Agentes basados en conocimiento
Inteligencia Artificial e Ingenieria del Conocimiento
Luis Enrique
Sánchez Crespo
UCLM-ESI
Función [Fig 6.1]  a
aclarar en temas
siguientes
base de conocimiento
– declarada (dicha)
– aprendida
- motor de inferencias
9 de 110
Agentes basados en conocimiento
Inteligencia Artificial e Ingenieria del Conocimiento
Luis Enrique
Sánchez Crespo
Función
– Un agente conocimiento-intensivo tiene como
componente seminal una base de conocimientos.
– Una base de conocimientos es un conjunto de
representaciones de hechos del mundo.
– Cada una de esas representaciones se llama una
“oración”.
– Las oraciones se expresan en un lenguaje
representacional del conocimiento.
UCLM-ESI
10 de 110
Agentes basados en conocimiento
Luis Enrique
Sánchez Crespo
El agente opera como sigue (TELL and ASK)
1. Le dice a la base su PERCEPCIÓN
– (añade oraciones a la base)
Inteligencia Artificial e Ingenieria del Conocimiento
2. Le pregunta a la base qué ACCIÓN encarar
– (contesta preguntas de la base)
– (mientras, opera un MOTOR DE INFERENCIAS)
3. Ejecuta la ACCIÓN
UCLM-ESI
11 de 110
Agentes basados en conocimiento
Arquitectura de dos agentes
Inteligencia Artificial e Ingenieria del Conocimiento
Luis Enrique
Sánchez Crespo
las dos primeras menciones se refieren a un agente reflejo
simple y las otras dos a un agente conocimiento-intensivo .
ESTE
ESTEAGENTE
AGENTEsigue
siguelala
pista
pistadel
delestado
estadodel
del
mundo
mundoexterno
externo
mediante
mediantesu
sufunción
función
“actualizar”.(Update)
“actualizar”.(Update)
loop
loopforever
forever
Input
Inputpercepts
percepts
KB
KB
tell(KB,
tell(KB,make-sentence(percept))
make-sentence(percept))
action

ask(KB,
action  ask(KB,action-query)
action-query)
Output
Outputaction
action
KB
KB
tell(KB,
tell(KB,make-sentence(action))
make-sentence(action))
end
end
UCLM-ESI
Foundations of Artificial Intelligence
loop
loopforever
forever
Input
Inputpercepts
percepts
state

state Update-State(state,
Update-State(state,percept)
percept)
rule

Rule-Match(state,
rule  Rule-Match(state,rules)
rules)
action
action
Rule-Action[rule]
Rule-Action[rule]
Output
action
Output action
state
state
Update-State(state,
Update-State(state,action)
action)
end
end
ESTE
ESTEOTRO
OTROAGENTE,
AGENTE,aa
cada
cadainstante,
instante,
cualesquiera
cualesquierasean
seansus
sus
percepciones,
percepciones,lolohace
haceen
en
forma
formade
deoración.
oración.P.ej.
P.ej.
“estoy
“estoyhambriento”
hambriento”
22
12 de 110
Agentes basados en conocimiento
Arq. de un agente con base de conocimiento
Inteligencia Artificial e Ingenieria del Conocimiento
Luis Enrique
Sánchez Crespo
UCLM-ESI
Nivel de conocimiento
– es el nivel más abstracto - describimos al agente indicando qué
conoce
– ejemplo - un taximetrero automático podría saber que desde la
playa Bristol a la playa La Perla hay una ruta costanera rápida
Nivel lógico
– es el nivel en el cual el conocimiento queda codificado en
oraciones
– p.ej.: enlaces (Bristol, La Perla, ruta costanera rápida)
Nivel de implementación
– es el nivel en el cual hay una representación física de las oraciones
en el nivel lógico
– p.ej.:”enlaces (Bristol, La Perla, ruta costanera rápida)”
– conexión{B,P,rcr} = 1
– (un 1 en una tabla tridimensional)
13 de 110
– (un conjunto de apuntadores dirigidos a los símbolos)
Agentes Lógicos
Inteligencia Artificial e Ingenieria del Conocimiento
Luis Enrique
Sánchez Crespo
El mundo de Wumpus
UCLM-ESI
14 de 110
El mundo de Wumpus
El ambiente del mundo de Wumpus
Inteligencia Artificial e Ingenieria del Conocimiento
Luis Enrique
Sánchez Crespo
Percepción = [Hedor, Brisa, Resplandor, Golpe, Grito]
El agente no puede percibir su propia ubicación
Acciones = [avanzar, girarizquierda, girarderecha, capturar,
dispararflecha, trepar]
Agente muere al entrar a un habitáculo con pozo o con wumpus vivo.
Meta del agente es encontrar oro, volver al habitáculo [1,1] y trepar
muro.
Razonamiento
– ejemplos de inferencias: ubicación de
•
•
•
•
UCLM-ESI
pozos,
wumpus
habitáculos sin riesgo
habitáculo 1-1 al volver
15 de 110
El mundo de Wumpus
El ambiente del mundo de Wumpus
Inteligencia Artificial e Ingenieria del Conocimiento
Luis Enrique
Sánchez Crespo
Detalles del ambiente
–
–
–
–
mundos de wumpus elegidos al azar
agentes múltiples, en comunicación
wumpi móviles
múltiples piezas de oro
Detalles de disponibilidades
–
–
–
–
UCLM-ESI
lenguaje natural
aprendizaje
visión
habla
16 de 110
El mundo de Wumpus
Ayudas en el mundo de Wumpus
Luis Enrique
Sánchez Crespo
Inteligencia Artificial e Ingenieria del Conocimiento
[Hedor, Brisa,
Resplandor, Golpe,
Grito]
[Hedor, Brisa,
Resplandor, Golpe,
Grito]
[Hedor, Brisa,
Resplandor, Golpe,
Grito]
UCLM-ESI
17 de 110
El mundo de Wumpus
El mundo de Wumpus
Luis Enrique
Sánchez Crespo
El agente arranca de (1,1)
Inteligencia Artificial e Ingenieria del Conocimiento
La meta es encontrar oro, volver a (1,1) y trepar la
pared
No viene mal matar al wumpus con la única
flecha, son más bonificaciones y hay un nuevo
camino por transitar
UCLM-ESI
18 de 110
El mundo de Wumpus
Percepciones
Luis Enrique
Sánchez Crespo
Las percepciones forman una vector fila de 1x5 del
tipo
Inteligencia Artificial e Ingenieria del Conocimiento
(Hedor,Brisa,Nada,Nada,Nada)
El primer Nada es resplandor
El segundo es Golpe (contra la pared)
UCLM-ESI
El tercero es Grito
19 de 110
El mundo de Wumpus
PaMA
Luis Enrique
Sánchez Crespo
Percepciones
Inteligencia Artificial e Ingenieria del Conocimiento
acciones ..avanzar,girarizq, etc.
Meta - Capturar el oro y volver
Ambiente – mundo de wumpus
UCLM-ESI
20 de 110
El mundo de Wumpus
Primer Paso
Inteligencia Artificial e Ingenieria del Conocimiento
Luis Enrique
Sánchez Crespo
UCLM-ESI
21 de 110
El mundo de Wumpus
Segundo Paso
Inteligencia Artificial e Ingenieria del Conocimiento
Luis Enrique
Sánchez Crespo
UCLM-ESI
22 de 110
El mundo de Wumpus
¿Por qué (x,y) está bien?
Inteligencia Artificial e Ingenieria del Conocimiento
Luis Enrique
Sánchez Crespo
(1,1)` Porque el agente está vivo
(1,2) `”No hedor en (1,1)” + “No brisa en
(1,1)” + “(1,1) y (1,2) son vecinos””
(2,1) `”no hedor en (1,1)”, + “no brisa en
(1,1)” + “(1,1) y (2,1) son vecinos”
UCLM-ESI
23 de 110
El mundo de Wumpus
Tercer Paso
Inteligencia Artificial e Ingenieria del Conocimiento
Luis Enrique
Sánchez Crespo
UCLM-ESI
24 de 110
El mundo de Wumpus
Cuarto Paso
Inteligencia Artificial e Ingenieria del Conocimiento
Luis Enrique
Sánchez Crespo
UCLM-ESI
25 de 110
El mundo de Wumpus
¿Por qué (1,3) = wumpus?
Inteligencia Artificial e Ingenieria del Conocimiento
Luis Enrique
Sánchez Crespo
Hedor en (1,2) implica que el wumpus está ya sea
en (1,1), ya sea en (2,2), ya sea en (1,3)
(1,1) fue visitado, lo visitado está bien  el
wumpus no está en (1,1)
(2,1) sin hedor fue visitado  el wumpus no está
en (2,1)
 El wumpus está en (1,3)
UCLM-ESI
26 de 110
El mundo de Wumpus
¿Por qué (3,1) = pozo?
Inteligencia Artificial e Ingenieria del Conocimiento
Luis Enrique
Sánchez Crespo
Brisa en (2,1) implica que hay un pozo ya sea en
(1,1), ya sea en (2,2), o ya sea en (3,1)
(1,1) fue visitado, el agente está vivo  el pozo no
está en (1,1)
(2,1) sin brisa al ser visitado  el pozo no está en
(2,2)
 El pozo está en (3,1)
UCLM-ESI
27 de 110
Agentes Lógicos
Inteligencia Artificial e Ingenieria del Conocimiento
Luis Enrique
Sánchez Crespo
Representación, razonamiento y
lógica
UCLM-ESI
28 de 110
Representación, razonamiento
y Lógica
Inteligencia Artificial e Ingenieria del Conocimiento
Luis Enrique
Sánchez Crespo
Representar: lograr que lo representado sea entendible para
una computadora; y que así el agente pueda operar y
merecer el nombre de agente
– Sintaxis, forma usada para representar oraciones- cómo están
representadas las oraciones
– Semántica, mapeo desde oraciones hacia hechos del mundo,
determina los hechos del mundo a los que hacen alusión las
oraciones.
– Razonamiento: Simulador del mundo de wumpus
• Hechos ”son consecuencia" de hechos
• Oraciones ”son consecuencia” de oraciones
• Conjuntos de oraciones “son consecuencia” de conjuntos de oraciones.
UCLM-ESI
29 de 110
Representación, razonamiento
y Lógica
Inteligencia Artificial e Ingenieria del Conocimiento
Luis Enrique
Sánchez Crespo
Razonamiento,
– Es el proceso de construir nuevas representaciones, bajo la
forma de oraciones, a partir de representaciones anteriores.
– La existencia de una base de conocimientos - seminal para el
agente - le permite la creación de razonamientos, con la ayuda
del motor de inferencia.
Requisitos de la Lógica: opera bien si la sintaxis y la
semántica están definidas de manera precisa (sin
ambigüedades).
– Aquí una lógica es una buena notación o un lenguaje
matemático útil para el logro de demostraciones acomodadas a
las posibilidades de la computadora.
UCLM-ESI
30 de 110
Representación
Inteligencia Artificial e Ingenieria del Conocimiento
Luis Enrique
Sánchez Crespo
Los lenguajes de programación como el C o el Pascal son idóneos para
representar algoritmos y estructuras de datos concretas. Los lenguajes de
programación están diseñados para describir cabalmente el estado de la
computadora y de cómo cambia ésta conforme al programa que se está
ejecutando.
Sin embargo, sería deseable poder contar con otro lenguaje para representar el
conocimiento que sirva para el caso cuando no se cuenta con información
completa: cuando no hay total certeza de cómo son las cosas, y lo único que se
sabe son algunas posibilidades de cómo son. Un lenguaje que no satisface lo
anterior tiene el defecto de no ser suficientemente expresivo.
UCLM-ESI

El objetivo de un lenguaje para la representación del conocimiento es el de
expresar los conocimientos en una base manejable por el agente, permitiéndole
a éste un buen desempeño, p.ej. en el mundo de wumpus.

El lenguaje representando conocimiento interno de un agente es distinto del
lenguaje externo empleado para comunicarse con otros agentes (JiVE, etc.). En
el ej. se usa sólo interno.
31 de 110
Representación
Inteligencia Artificial e Ingenieria del Conocimiento
Luis Enrique
Sánchez Crespo
Los lenguajes naturales como el inglés o el español indudablemente
son expresivos. Sin embargo, han experimentado una evolución que
tiende más a satisfacer las necesidades de la comunicación que las de la
representación.
En un buen lenguaje para representar el conocimiento se combinan las
ventajas de los lenguajes naturales y las de los lenguajes formales.
Entonces, tratemos de combinar las ventajas de los lenguajes naturales
y las de los lenguajes formales:
» a) lo suficientemente expresivo como para representar el conocimiento
aún cuando no se cuenta con información completa y no hay total certeza
de cómo son las cosas.
» b) lo suficientemente conciso como para evitar ambigüedades, siendo
independiente del contexto para su interpretación.
» c) apto para un procedimiento de inferencia con el cual obtener nuevas
representaciones a partir de las existentes en la base.
UCLM-ESI
32 de 110
Representación
Luis Enrique
Sánchez Crespo
Cualquier lenguaje representacional del conocimiento
tiene:
Inteligencia Artificial e Ingenieria del Conocimiento
– Su sintaxis - define todas las posibles configuraciones
(secuencias) de símbolos que constituyen oraciones del
lenguaje.
• Ejemplos:
– oraciones del texto
– bits de la memoria de la computadora
– Su semántica - determina los hechos del mundo a los cuales
se están refieiendo las oraciones. Cada oración argumenta
algo del mundo.
• Un agente CREE en las oraciones referidas al mundo.
UCLM-ESI
33 de 110
Semántica - Lenguajes
composicionales
Inteligencia Artificial e Ingenieria del Conocimiento
Luis Enrique
Sánchez Crespo
Se llama lenguaje composicional a aquél en que el
significado de una oración es la suma de los
significados de cada parte. Casi todos los lenguajes
tienen una relación sistemática entre las oraciones
y los hechos.
Ejemplo de la matemática:
– a^2 + b^2
– Su significado es la suma del significado de a^2 más la
de b^2
UCLM-ESI
34 de 110
Inferencia
Inteligencia Artificial e Ingenieria del Conocimiento
Luis Enrique
Sánchez Crespo
RAZONAMIENTO e INFERENCIA: Son los nombres del
proceso por el cual se obtienen conclusiones.
INFERENCIA LÓGICA y DEDUCCIÓN: Son los nombres
de todo razonamiento o inferencia válidos y confiables.
Implantan las relaciones de implicación que existe entre
oraciones.
– Inferencia:
• Verificar la validez de oraciones que se toman como verdaderas
pese a desconocerse su real interpretación.
– Verdad :
• Depende del estado del mundo y de la interpretación.
– Validez :
• Una oración es válida si es verdadera independientemente del
mundo o de la interpretación.
UCLM-ESI
35 de 110
Razonamiento
Inteligencia Artificial e Ingenieria del Conocimiento
Luis Enrique
Sánchez Crespo
Consecuencias o implicaciones generan nuevas oraciones a partir de otras previas, todas
fidedignas.
Teoría de la demostración - conjunto de reglas para deducir las implicaciones de un
conjunto de oraciones - dentro de un lenguaje - ella estudia los pasos confiables de un
razonamiento – motor de inferencia
Semántica - en lógica el SIGNIFICADO de una oración es aquello que ella afirma del
mundo. Restringe a que el mundo sea de la forma expresada y no de otra forma
alternativa. Para poder entender lo que SIGNIFICA una oración, quien la compuso
debería proporcionar su respectiva INTERPRETACIÓN. Ninguna oración tiene
significado por sí misma ni es autoevidente.
Hay inferencias inválidas
– ¿Caso de “Hay una brisa en (3,2) o no hay una brisa en (3,2)”?
– ¿Caso de A = A?
Hay inferencias insatisfactibles si no existe un mundo donde puedan suceder.
– ¿Caso de “hay varios wumpi”?
– ¿Caso de “hay un wumpus en (1,1)”?
– ¿Caso de “hay un wumpus en (1,1) y no hay un wumpus en (1,1)”?
UCLM-ESI
36 de 110
Lógica
Luis Enrique
Sánchez Crespo
Compromiso ontológico
Inteligencia Artificial e Ingenieria del Conocimiento
• para el agente, qué existe en el mundo
– en el caso de la lógica propositiva, para el agente existen
hechos que serán verdaderos o falsos.
Compromiso epistemológico
• para el agente, cuál es la actitud con respecto a los hechos
– en el caso de la lógica propositiva, el agente cree que una
oración es verdadera o falsa, o no ha llegado a conclusión
alguna
UCLM-ESI
37 de 110
Tipos de lógicas y sus
preocupaciones
Luis Enrique
Sánchez Crespo
Lenguaje
Ontología
(lo que existe)
Epistemología
(qué cree de los hechos)
Inteligencia Artificial e Ingenieria del Conocimiento
----------------------------------------------------------------------------------Lógica Propositiva
hechos
Lógica de primer
hechos, objetos, enlaces
orden
Lógica temporal
verdadero/falso/no sabe
verdadero/falso/no sabe
hechos, objetos,
enlaces, tiempos
verdadero/falso/no sabe
Teoría de la
probabilidad hechos
Lógica difusa
UCLM-ESI
grado de certidumbre
grado de verdad
grado de certidumbre
38 de 110
Lógica
Luis Enrique
Sánchez Crespo
La meta del agente racional consiste en que:
Inteligencia Artificial e Ingenieria del Conocimiento
–
–
–
–
El conocimiento aparezca explícitamente
Se logren conclusiones del conocimiento incorporado
Para ello es indispensable la LÓGICA
Una dada lógica es una notación matemática (un lenguaje
matemático) para declarar el conocimiento
– La principal alternativa que hay para la lógica es el lenguaje natural
(español, inglés,...).
– Tanto en el lenguaje natural como en la lógica la principal unidad
es la oración
• Sintaxis y Semántica
• Inferencia Lógica
• Lógica sana y completa
UCLM-ESI
39 de 110
Agentes Lógicos
Inteligencia Artificial e Ingenieria del Conocimiento
Luis Enrique
Sánchez Crespo
Lógica propositiva
UCLM-ESI
40 de 110
Lógica proposita
Luis Enrique
Sánchez Crespo
Lógicas y símbolos
Inteligencia Artificial e Ingenieria del Conocimiento
Breve detalle de lógica propositiva
Conceptos asociados
Profundización en la Lógica Propositiva
UCLM-ESI
41 de 110
Lógica proposita
Inteligencia Artificial e Ingenieria del Conocimiento
Luis Enrique
Sánchez Crespo
Proposición es una afirmación que puede ser
verdadera o falsa
Conceptos relacionados
– Oración atómica
– Literal
– Oración molecular
Una proposición es verdadera
– si está de acuerdo con los hechos del mundo real
– si está de acuerdo con otro mundo supuesto con algún
motivo, siendo falsa en el otro caso
UCLM-ESI
42 de 110
Lógica y símbolos
Luis Enrique
Sánchez Crespo
LPC =LCP Lógica basada en el cálculo propositivo
LI Þ Lógica de primer orden
Inteligencia Artificial e Ingenieria del Conocimiento
– con dos signos adicionales = cuantificadores
LI I ÞLógica de segundo orden
LIPML Þ Lógica propositiva modal
– con dos signos más
Lógica temporal o lógica tiempo lineal temporal
– con cuatro signos más
UCLM-ESI
43 de 110
Breve concepto de Lógica
prepositiva
Luis Enrique
Sánchez Crespo
El ALFABETO consiste de
Inteligencia Artificial e Ingenieria del Conocimiento
– VARIABLES PROPOSITIVAS P, Q
– CONECTIVOS FUNCIONALES
GRAMÁTICA -sin cuantificadores - con oraciones
atómicas y moleculares
SEMANTICA basada en tablas de verdad exhaustivas
TEORIA DE LA DEMOSTRACIÓN con modus ponens y
otras reglas familiares
UCLM-ESI
44 de 110
Sintaxis en lógica propositiva
Inteligencia Artificial e Ingenieria del Conocimiento
Luis Enrique
Sánchez Crespo
UCLM-ESI
La sintaxis de la lógica propositiva es sencilla. Los
símbolos utilizados en la lógica propositiva son las
constantes lógicas Verdadero y Falso, símbolos de
proposiciones tales como P y Q, los conectivos lógicos /\,
\/, , => y ¬ y paréntesis ( ). Todas las oraciones se
forman combinando los signos anteriores mediante las
siguientes reglas:
Las constantes lógicas Verdadero y Falso constituyen
oraciones en sí mismas.
Un símbolo propositivo tal como P y Q es una oración en
sí mismo.
Encerrar entre paréntesis una oración produce también una
oración, por ejemplo (P /\ Q).
Una oración molecular se forma combinando oraciones
más sencillas o atómicas con uno de los cinco conectores
lógicos antes mencionados.
45 de 110
Gramática BNF
Inteligencia Artificial e Ingenieria del Conocimiento
Luis Enrique
Sánchez Crespo
UCLM-ESI
46 de 110
Ejemplos de oraciones
moleculares
Luis Enrique
Sánchez Crespo
P  ( Q  R)
Inteligencia Artificial e Ingenieria del Conocimiento
P  (Q  Q)  ( R  P)
( P  Q)  (Q  P)
( P  Q)  ( P  Q)
UCLM-ESI
47 de 110
Sintaxis y semántica:
Oraciones atómicas
Inteligencia Artificial e Ingenieria del Conocimiento
Luis Enrique
Sánchez Crespo
UCLM-ESI
Las oraciones atómicas afirman hechos. Una oración atómica está
formada por un símbolo de predicado seguido de una lista entre
paréntesis de términos.
Ejemplo:
Hermano(Ricardo,Juan)
Afirma que para alguna interpretación Ricardo Corazón de León es
hermano del Rey Juan.
Es válido que una oración atómica tenga términos complejos como
argumentos:
Casado(PadreDe(Ricardo), MadreDe(Juan))
Afirma que el padre de Ricardo Corazón de León está casado con la
madre del Rey Juan (dentro de una adecuada interpretación).
Una oración atómica es verdad si la relación expresada por el símbolo
de predicado Casado es verdad para los objetos anotados en los
argumentos. La verdad de una oración atómica depende tanto del
MUNDO como de la INTERPRETACIÓN.
48 de 110
Oraciones
Luis Enrique
Sánchez Crespo
Oración Atómica - Es una proposición
–
sin cuantificadores
•
•
–
universal---para todo,
existencial--existe
ni conectivos booleanos
•
•
\/ unión o suma de dos conjuntos
/\ intersección o parte común de dos conjuntos
Inteligencia Artificial e Ingenieria del Conocimiento
Una Literal:
–
–
Es una oración atómica P
o su negación ¬P
Oración Molecular - representada por símbolos propositivos (e.g., P, Q, R, S, etc.)
–
–
constantes lógicas: Verdadero,Falso
Conectivos
, , , , 
• Se usan mucho
–
Mediante los conectores lógicos se pueden construir oraciones más complicadas. Ejemplos:
–
–
–
–
UCLM-ESI
, , 
Hermano(Ricardo,Juan) /\ Hermano(Juan,Ricardo)
Mayor(Juan,30) \/ Menor(Juan, 30)
Mayor(Juan,30) Þ ¬Menor(Juan, 30)
¬Hermano(Robin, Juan)
49 de 110
Modelo
Inteligencia Artificial e Ingenieria del Conocimiento
Luis Enrique
Sánchez Crespo
UCLM-ESI
Disponemos de una oración bajo una cierta interpretación.
Entonces cualquier mundo desde esa misma interpretación,
será un modelo para dicha oración.
Modelos: mundos en los cuales una oración dada es verdad
– En lógica propositiva es un renglón en la tabla de
verdad
50 de 110
Modelos analizados con un
diagrama de Venn
Inteligencia Artificial e Ingenieria del Conocimiento
Luis Enrique
Sánchez Crespo
EJEMPLO:
P
UCLM-ESI
Q
PQ
(todo excepto
)
51 de 110
Definición semántica
Inteligencia Artificial e Ingenieria del Conocimiento
Luis Enrique
Sánchez Crespo
Sean F y G dos fórmulas propositivas y sea M una
interpretación cualquiera.
– F  G será verdad en M si tanto F como G son
verdaderas en M
– F  G será verdad en M si por lo menos uno de F o G
es verdad en M
 F será verdad en M si tanto F como G son falsos en
M.
– F  G será verdad en M si ya sea F es falso en M o G
es verdad en M
– F  G será verdad en M si ambos, F y G, son verdad
en M o ambos, F y G son falsos en M
UCLM-ESI
52 de 110
Verdad
Inteligencia Artificial e Ingenieria del Conocimiento
Luis Enrique
Sánchez Crespo
UCLM-ESI
Depende del estado del mundo y de la
interpretación de quien construyó las oraciones
Una oración es válida independientemente del
mundo o de la semántica
Una oración es insatisfactible si el mundo nunca es
igual a lo que ella describe
53 de 110
Lógica Propositiva: Semántica
Inteligencia Artificial e Ingenieria del Conocimiento
Luis Enrique
Sánchez Crespo
En lógica propositiva, la semántica de los conectivos se especifica mediante
tablas de verdad:
P
Q
P
P Q
P Q
F
F
T
T
F
T
F
T
T
T
F
F
F
F
F
T
F
T
T
T
P Q P  Q
T
T
F
T
T
F
F
T
Las tablas de verdad también se pueden usar para determinar la validez de las
oraciones:
UCLM-ESI
P
Q
F
F
T
T
F
T
F
T
P
 P Q
P Q (P Q) (  P Q)
54 de 110
Inferencia propositiva
Método de la enumeración
Luis Enrique
Sánchez Crespo
Sea   A  B
KB  ( A  C)  ( B  C)
¿La base de conocimiento garante a a?
– Verificar todos los modelos posibles – en todos ellos a debe ser verdadera
y
Inteligencia Artificial e Ingenieria del Conocimiento
siempre que la BC sea verdadera.
– Se puede argumentar que para cualquier modelo M de la BC, M también
es modelo de a
UCLM-ESI
55 de 110
Reglas de Inferencia
Luis Enrique
Sánchez Crespo
Modus Ponens
     
Y--Eliminación
a1 & a2 & a3 & a4  an (n = 1..4)
Y--introducción
Inteligencia Artificial e Ingenieria del Conocimiento
a1, a2, a3, a4  a1 & a2 & a3 & a4
O--Introducción
a1 a1 V an
Doble-negación eliminación
- (-   
Resolución Unitaria
 V     
Resolución (difícil)
 V   V     V 
-          
UCLM-ESI
56 de 110
Reglas de Inferencia (lógica
propositiva)
Luis Enrique
Sánchez Crespo
(MP) Modus Ponens (Implicación-eliminación)
  , 

Inteligencia Artificial e Ingenieria del Conocimiento
(AI) =(YI) Y-introducción
 1 , 2 ,, n
 1   2  n
(AE)=(YE) Y-eliminación
(OI) O-introducción
i
 1   2  n
 1   2  n
i
(NE) Negación-eliminación


UCLM-ESI
57 de 110
Reglas de Inferencia (lógica
propositiva)
Luis Enrique
Sánchez Crespo
(UR)Resolución Unitaria    ,


(R) Resolución General    ,
Inteligencia Artificial e Ingenieria del Conocimiento
  
 
Notas:
– Resolución es completa en lógica propositiva
– Modus Ponens (en su forma general)
 1 , 2 ,, n ,  1   2  n  

– es completa para bases de conocimiento de Horn y puede ser usada en
encadenamientos hacia atrás y hacia adelante.
UCLM-ESI
58 de 110
Ejemplo: Base de
Conocimiento
Luis Enrique
Sánchez Crespo
Ejemplo: construir una base de conocimiento
para el mundo Wumpus.
Inteligencia Artificial e Ingenieria del Conocimiento
– Vocabulario de símbolos proposicionales:
• Hi,j es verdadero si hay un hoyo en la casilla [i,j].
• Bi,j es verdadero si hay brisa en la casilla [i,j].
– Contenido inicial de la BC:
• No hay ningún hoyo en la casilla [1,1]:
– R1:  H1,1
• En una casilla se siente brisa si y solo si hay un hoyo en una
casilla vecina:
– R2: B1,1  (H1,2  H2,1 )
– R3: B2,1 (H1,1  H2,2  H3,1)
 , , , , 
UCLM-ESI
59 de 110
Ejemplo: Base de
Conocimiento
Luis Enrique
Sánchez Crespo
– Nuevas reglas al recorrer las 2 primeras casillas:
• Percepciones de brisas
– R4:  B1,1
– R5: B2,1
Inteligencia Artificial e Ingenieria del Conocimiento
• La BC actual estará formada por R1  R2  R3  R4  R5
RAZONAMIENTO e INFERENCIA: Son los nombres del proceso por
el cual se obtienen conclusiones.
INFERENCIA LÓGICA y DEDUCCIÓN: Son los nombres de todo
razonamiento o inferencia válidos y confiables. Implantan las relaciones de
implicación que existe entre oraciones.
– Inferencia: Verificar la validez de oraciones que se toman como
verdaderas pese a desconocerse su real interpretación.
– Verdad : Depende del estado del mundo y de la interpretación.
– Validez : Una oración es válida si es verdadera independientemente
del mundo o de la interpretación.
UCLM-ESI
60 de 110
Reglas de Inferencia
Inteligencia Artificial e Ingenieria del Conocimiento
Luis Enrique
Sánchez Crespo
UCLM-ESI
Reglas explícitas para producir un teorema cuando
se proveen dos o más teoremas.
Funciones para secuencias de teoremas hacia
teoremas
En sistemas formales tienen que operar
independientemente del significado semántico de
las cadenas manipuladas
Sinónimo: Reglas de producción
61 de 110
Equivalencia, validez,
satisfacibilidad
Inteligencia Artificial e Ingenieria del Conocimiento
Luis Enrique
Sánchez Crespo
UCLM-ESI
Equivalencia: dos sentencias son equivalente
lógicamente cuando si tienen los mismos valores
de verdad en el mismo conjunto de modelos.
62 de 110
Equivalencia, validez,
satisfacibilidad
Inteligencia Artificial e Ingenieria del Conocimiento
Luis Enrique
Sánchez Crespo
UCLM-ESI
Validez: una sentencia es válida si es verdadera en
todos los modelos. Las sentencias validas se
conocen como tautologías.
Satisfacibilidad: Una sentencia es satisfactoria si
es verdadera para algún modelo.
63 de 110
Agentes Lógicos
Inteligencia Artificial e Ingenieria del Conocimiento
Luis Enrique
Sánchez Crespo
Patrones de razonamiento en
lógica proposicional
UCLM-ESI
64 de 110
Patrones de razonamiento
Inteligencia Artificial e Ingenieria del Conocimiento
Luis Enrique
Sánchez Crespo
UCLM-ESI
Resolución: nos lleva a un algoritmo de inferencia completo cuando se
empareja a un algoritmo de búsqueda completo.
Forma normal conjuntiva (FNC): es una sentencia representada
mediante una conjunción de disyunciones de literales.
Algoritmos de resolución: Los procedimientos de inferencia basados
en la resolución trabajan mediante el principio de pruebas mediante
contradicción. Para demostrar BC |=  demostraremos que (BC   
es insatisfacible.
Completitud de la resolución: A partir del teorema fundamental de la
resolución, determinamos que si un conjunto de cláusulas es
insatisfacible, entonces el cierre de la resolución de esas cláusulas
contiene la cláusula vacía.
65 de 110
Patrones de razonamiento
Luis Enrique
Sánchez Crespo
Encadenamiento hacia delante y hacia atrás:
Inteligencia Artificial e Ingenieria del Conocimiento
– Cláusulas de Horn: disyunción de literales de los
cuales, como mucho uno es positivo.
•
•
•
•
Cabeza: literal positivo.
Cuerpo: disyunción de literales negativos.
Hecho: cláusula sin literales negativos.
Restricción de integridad: una cláusula de Horn con solo
literales negativos.
• La inferencia de este tipo de cláusulas se realiza mediante
algoritmos de encadenamiento hacia delante y hacia atrás.
• Averiguar si hay o no implicación con las cláusulas de Horn
se puede realizar en un tiempo que es lineal respecto al tamaño
de la base de conocimiento.
UCLM-ESI
66 de 110
Agentes Lógicos
Inteligencia Artificial e Ingenieria del Conocimiento
Luis Enrique
Sánchez Crespo
Inferencia proposicional efectiva
UCLM-ESI
67 de 110
Patrones de razonamiento
Luis Enrique
Sánchez Crespo
DPLL - Algoritmo de David y Putnam (basado en
Backtracking): Determina si una sentencia de entrada
con lógica proposicional es satisfacible.
Inteligencia Artificial e Ingenieria del Conocimiento
–
Terminación anticipada:
Una cláusula es verdadera si cualquier literal es verdadero.
Una cláusula es falsa si algún literal es falso.
–
Heurística de símbolo puro:
Un símbolo es puro si aparece siempre con el mismo signo en todas las
cláusulas.
Ej., En las 3 cláusulas (A  B), (B  C), (C  A), A y B son puros, C
es impuro.
–
Heurística de cláusula unitaria:
Son aquellas que tienen un solo literal.
Si solo hay un literal en una cláusula unitaria, tiene que ser verdadero.
UCLM-ESI
68 de 110
Patrones de razonamiento
Inteligencia Artificial e Ingenieria del Conocimiento
Luis Enrique
Sánchez Crespo
UCLM-ESI
69 de 110
Patrones de razonamiento
Inteligencia Artificial e Ingenieria del Conocimiento
Luis Enrique
Sánchez Crespo
WalkSAT - Algoritmo de búsqueda: Determina
si una sentencia de entrada con lógica
proposicional es satisfacible. Nuestro objetivo es
encontrar una asignación que satisfaga todas las
cláusulas.
–
–
–
UCLM-ESI
Algoritmo de búsqueda local incompleto.
Función de evaluación: Que cuente el número de
cláusulas insatisfacibles.
Debemos encontrar un equilibrio entre el gradiente y
la aleatoriedad.
70 de 110
Patrones de razonamiento
Inteligencia Artificial e Ingenieria del Conocimiento
Luis Enrique
Sánchez Crespo
UCLM-ESI
71 de 110
Patrones de razonamiento
Luis Enrique
Sánchez Crespo
Problemas duros de satisfacibilidad:
Inteligencia Artificial e Ingenieria del Conocimiento
–
Considerando 3-CNF sentencias. Ej:
(D  B  C)  (B  A  C)  (C  B 
E)  (E  D  B)  (B  E  C)
m = número de cláusulas.
n = número de símbolos.
– Los problemas duros tienen una relación m/n = 4.3
(punto crítico).
UCLM-ESI
72 de 110
Patrones de razonamiento
Inteligencia Artificial e Ingenieria del Conocimiento
Luis Enrique
Sánchez Crespo
a) Gráfico que muestra la probabilidad de que una sentencia en FNC-3 con n =
50 símbolos sea satisfacible, en función del ratio cláusula/símbolo m/n.
b) Gráfico del tiempo de ejecución promedio del DPLL y del SAT sobre 100
sentencias en FNC-3 aleatorias con n=50 para un rango reducido de valores de
m/n alrededor del punto crítico.
UCLM-ESI
73 de 110
Agentes Lógicos
Inteligencia Artificial e Ingenieria del Conocimiento
Luis Enrique
Sánchez Crespo
Agentes basados en lógica
proposicional
UCLM-ESI
74 de 110
Conclusiones
Inteligencia Artificial e Ingenieria del Conocimiento
Luis Enrique
Sánchez Crespo
Un agente del mundo de Wumpus usando lógica
proposicional:
–
–
–
–
–
–
–
–
–
P1,1
W1,1
Bx,y  (Px,y+1  Px,y-1  Px+1,y  Px-1,y)
Sx,y  (Wx,y+1  Wx,y-1  Wx+1,y  Wx-1,y)
W1,1  W1,2  …  W4,4
W1,1  W1,2
W1,1  W1,3
…
 64 distintos simbolos proposicionales, 155 sentencias.
UCLM-ESI
75 de 110
Luis Enrique
Sánchez Crespo
Encontrar hoyos y wumpus utilizando la inferencia lógica.
Inteligencia Artificial e Ingenieria del Conocimiento
Conclusiones
76 de 110
Guardar la pista acerca de la localización y orientación del agente.
UCLM-ESI
Conclusiones
Luis Enrique
Sánchez Crespo
Agente basado en circuitos:
Inteligencia Artificial e Ingenieria del Conocimiento
–
–
–
Circuito secuencial.
Puertas.
Registros.
Comparación: Los agentes basados en inferencia y los
basados en circuitos representan los extremos declarativo
y procesal en el diseño de agentes. Se pueden comparar
según diversas dimensiones:
–
–
–
–
UCLM-ESI
Precisión.
Eficiencia computacional.
Completitud.
Facilidad de construcción.
77 de 110
Agentes Lógicos
Inteligencia Artificial e Ingenieria del Conocimiento
Luis Enrique
Sánchez Crespo
Conclusiones
UCLM-ESI
78 de 110
Conclusiones
Inteligencia Artificial e Ingenieria del Conocimiento
Luis Enrique
Sánchez Crespo
UCLM-ESI
Los agentes inteligentes necesitan el conocimiento acerca del mundo
para tomar las decisiones acertadas.
Los agentes contienen el conocimiento en forma de sentencias
mediante un lenguaje de representación del conocimiento, las cuales
quedan almacenadas en una base de conocimiento.
Un agente basado en conocimiento se compone de una base de
conocimiento y un mecanismo de inferencia.
El agente opera almacenando las sentencias acerca del mundo en su
base de conocimiento, utilizando el mecanismo de inferencia para
inferir sentencias nuevas, y utilizando estas sentencias nuevas para
decidir qué acción debe tomar.
Un lenguaje de representación del conocimiento se define por su
sintaxis, que especifica la estructura de las sentencias, y su semántica,
que define el valor de verdad de cada sentencia en cada mundo
posible, o modelo.
79 de 110
Conclusiones
Inteligencia Artificial e Ingenieria del Conocimiento
Luis Enrique
Sánchez Crespo
UCLM-ESI
La relación de implicación entre las sentencias es crucial para
nuestro entendimiento acerca del razonamiento. Una sentencia 
implica otra sentencia  si  es verdadera en todos los mundos
donde  lo es. Las definiciones familiares a este concepto son: la
validez de la sentencia , y la insatisfacibilidad de la sentencia

La inferencia es el proceso que consiste en derivar nuevas
sentencias a partir de las ya existentes. Los algoritmos de inferencia
sólidos sólo derivan aquellas sentencias que son implicadas; los
algoritmos completos derivan todas las sentencias implicadas.
La lógica proposicional es un lenguaje muy sencillo compuesto por
los símbolos proposicionales y las conectivas lógicas. De esta
manera se pueden manejar proposiciones que se sabe que son
ciertas, falsas, o completamente desconocidas.
80 de 110
Conclusiones
Inteligencia Artificial e Ingenieria del Conocimiento
Luis Enrique
Sánchez Crespo
UCLM-ESI
El conjunto de modelos posibles, dado un vocabulario
proposicional fijado, es finito, y así se puede comprobar la
implicación tan sólo enumerando los modelos. Los algoritmos de
inferencia basados en la comprobación de modelos más eficientes
para la lógica proposicional, entre los que se encuentran los
métodos de búsqueda local y backtracking, a menudo pueden
resolver problemas complejos muy rápidamente.
Las reglas de inferencia son patrones de inferencia sólidos que se
pueden utilizar para encontrar demostraciones. De la regla de
resolución obtenemos un algoritmo de inferencia completo para
bases de conocimiento que están expresadas en forma normal
conjuntiva. El encadenamiento hacia delante y el encadenamiento
hacia atrás son algoritmos de razonamiento muy adecuados para
bases de conocimiento expresadas en cláusulas de Horn.
81 de 110
Conclusiones
Inteligencia Artificial e Ingenieria del Conocimiento
Luis Enrique
Sánchez Crespo
UCLM-ESI
Se pueden diseñar dos tipos de agentes que utilizan la lógica
proposicional: los agentes basados en inferencia utilizan algoritmos
de inferencia para guardar la pista del mundo y deducir propiedades
ocultas, mientras que los agentes basados en circuitos representas
proposiciones mediante bits en registros, y los actualizan utilizando
la propagación de señal de los circuitos lógicos.
La lógica proposicional es razonablemente efectiva para ciertas
tareas de un agente, pero no se puede escalar para entornos de
tamaño ilimitado, a causa de su falta de poder expresivo para
manejar el tiempo de forma precisa, el espacio, o patrones
genéricos de relaciones entre objetos.
82 de 110
Ejercicios
Luis Enrique
Sánchez Crespo
Ejercicio1: Dado el juego del buscaminas con una matriz de 4x4 y
3 minas situadas de forma aleatoria, establecer:
Inteligencia Artificial e Ingenieria del Conocimiento
–
–
–
El modelo REAS del buscaminas.
Las reglas que componen la BC inicialmente.
Y una simulación del juego que acabe en éxito, mostrando las reglas
que componen la BC final.
Ejercicio2: Dado el párrafo “Si el unicornio es un animal
mitológico, entonces es inmortal, pero si no es mitológico, entonces
es un mamífero mortal. Si el unicornio es inmortal o mamífero,
entonces tiene cuernos. El unicornio es mágico si tiene cuernos”.
Demostrar:
–
–
–
UCLM-ESI
El unicornio es un animal mitológico.
El unicornio es un animal mágico.
El unicornio tiene cuernos.
83 de 110
Universidad de Castilla-La Mancha
Luis Jiménez Linares
[email protected]
Luis Enrique Sánchez Crespo
[email protected]