Módulo 3

Representación del
Conocimiento y del
Razonamiento

Antonio Reynoso Lobato 2002B 1

Objetivo del Módulo

Analizar el cálculo de los valores (lo que es

cierto ó no) de las características que
representan conocimiento importante acerca
del mundo que el agente habita y que son
difíciles o imposibles de representar de
manera icónica, o bien que no pueden
medirse directamente .

Antonio Reynoso Lobato 2002B 2

1
 Secciones

• El cálculo proposicional
• La resolución en el cálculo proposicional
• El cálculo de predicados
• La resolución en el cálculo de predicados
• Sistemas basados en conocimiento
• Representación del sentido común

Antonio Reynoso Lobato 2002B 3

Módulo 3, Sección 1

El cálculo
proposicional

Antonio Reynoso Lobato 2002B 4

2
 Objetivo de la Sección

Analizar los mecanismos asociados con el

lenguaje de la lógica proposicional que
pueden ser utilizados para derivar
consecuencias a partir de las sentencias
expresadas en este lenguaje.

Antonio Reynoso Lobato 2002B 5

Temas

• Restricciones a los valores de las características

• El lenguaje
• Las reglas de inferencia
• Definición de la demostración
• La semántica
• Solidez y completitud
• El problema de SATP
• Cuestiones importantes

Antonio Reynoso Lobato 2002B 6

3
 Restricciones a los valores de las características

• Métodos para modelar el mundo de un agente:

– Icónico: simulaciones por medio del cálculo de
los estados futuros resultantes de las acciones
del agente.
• A esta actividad le llamamos Proyección.
– Descriptivo:representación de lo que es cierto o
no del mundo del agente por medio de
características con valores binarios.
• A esta actividad le llamamos Razonamiento

Antonio Reynoso Lobato 2002B 7

Ventajas y Desventajas
• Simulaciones:
– Directas
– Eficientes
– Procesos preceptúales elaborados
– Difícil de comunicar incrementalmente (piezas aisladas)
• Descripciones:
– Procesos preceptúales poco elaborados para el cálculo de
los valores de las características
– Fáciles de comunicar a otros agentes
– Cuando los valores de algunas características no pueden ser
medidos directamente pueden ser inferidos de los valores
de otras características

Antonio Reynoso Lobato 2002B 8

4
 Información del Entorno del Agente
• Difícil o imposible de representar:
– Leyes generales: todas las cajas azules pueden
ser cargadas.
– Información negativa: el bloque A no esta en el
suelo.
– Información incierta: el bloque A esta sobre el
bloque B, o bien el bloque A esta sobre el bloque C.
• La información difícil de representar puede ser
formulada como un conjunto de restricciones sobre
los valores de las características.
• La inferencia acerca del estado presente del agente
puede darse por medio de cálculos basados en las
restricciones impuestas sobre las características.
Antonio Reynoso Lobato 2002B 9

Aplicaciones del Razonamiento

• Con certeza, el razonamiento puede aumentar la
eficiencia de los agentes en las decisiones sobre
las acciones a realizar.
• Es posible representar el funcionamiento de
diversos sistemas físicos, biológicos y
electromecánicos mediante conjuntos apropiados
de características.
• Las características asociadas con las “causas”
pueden ser inferidas a partir de características
asociadas a los “síntomas”
(Sistemas Expertos)

Antonio Reynoso Lobato 2002B 10

5
 Técnicas de Razonamiento
• Consideremos un robot que es capaz de levantar un
bloque, si el bloque no pesa demasiado, y si la
potencia de la batería del robot es adecuada.
– Si ambas condiciones se satisfacen, entonces
cuando el robot intente levantar el bloque, el robot
podrá mover el brazo.
• Representación por medio de características con
valores binarios:
– x(1)(BATERÍA_OK)
– x(2)(OBJETO_ELEVABLE)
– x(3)(ROBOT_SE_MUEVE)

Antonio Reynoso Lobato 2002B 11

Técnicas de Razonamiento
• Asumimos que: el robot puede averiguar si BATERÍA_OK es cierta,
mediante la lectura de un indicador, y que el ROBOT_SE_MUEVE,
mediante sensores del ángulo de las articulaciones, pero que no conoce el
valor de OBJETO_ELEVABLE.
• Nosotros sabemos que: si BATERÍA_OK y OBJETO_ELEVABLE
tienen ambas el valor 1, entonces será cierto que ROBOT_SE_MUEVE
– De esta manera, si ROBOT_SE_MUEVE tiene el valor de 0, entonces
sabemos que: o bien BATERÍA_OK, o bien OBJETO_ELEVABLE (o
ambas) deben tener el valor 0. Pero si BATERÍA_OK se evalúa con
valor de 1, entonces OBJETO_ELEVABLE debe tener valor de 0
• Lenguaje del cálculo proposicional que expresa la restricción
anterior:

BATERÍA_OK ∧ OBJETO_ELEVABLE ⊃ ROBOT_SE_MUEVE

Antonio Reynoso Lobato 2002B 12

6
 Definiciones

• Una lógica involucra a:

– Un lenguaje (con una sintaxis que especifique
cuáles son las expresiones correctas)
– Un conjunto de reglas de inferencia (para
manipular sentencias del lenguaje)
– Una semántica (para asociar elementos del
lenguaje con los elementos de algún dominio)
• Los mecanismos asociados con este lenguaje
pueden ser utilizados para derivar consecuencias
a partir de sentencias expresadas en el lenguaje

Antonio Reynoso Lobato 2002B 13

El Lenguaje

• Átomos:
– V: verdadero; F: falso
– Conjunto infinito numerable de cadenas de
caracteres: P,Q,R,....; P1,P2,...;SOBRE_A_B,...
• Conectivas:
∨, ∧, ⊃, ¬; llamadas “o”,”y”,”implica”,”no”
• Sintaxis:
– Sentencias: fórmulas bien formadas (fbfs)

Antonio Reynoso Lobato 2002B 14

7
 El Lenguaje
• Sintaxis de las formulas bien formadas (fbfs):

Antecedente

Consecuente
• Literales: los átomos solos, o con el símbolo ¬ delante de
ellos.

Antonio Reynoso Lobato 2002B 15

Ejemplos de fbfs

• ( ) Separadores extra-lingüísticos: agrupan fbfs en

(sub) fbfs de acuerdo a definiciones recursivas.

Antonio Reynoso Lobato 2002B 16

8
 Ejemplo de Definición Recursiva

(P ∧ Q) ⊃ ¬R es una fbf

1. Como P y Q son fbfs

2. También (P ∧ Q) es una fbf
3. Y ¬R es una fbf ya que R lo es
4. Entonces (P ∧ Q) ⊃ ¬R es una fbf

Antonio Reynoso Lobato 2002B 17

Reglas de Inferencia
• Reglas de inferencia: patrones mediante los cuales podemos producir
fbfs adicionales a las ya existentes (forma mecánica de crear nuevas
fbfs a partir de otras):
γ puede ser inferida de α (o de α y β )

Antonio Reynoso Lobato 2002B 18

9
 Definición de Demostración
• La secuencia de fbfs {ω, ω,..., ϖ} es una demostración (o deducción)
de ϖ a partir de un conjunto ∆ de fbfs si, y solo si, cada una de las ω de
la secuencia pertenece a ∆
– O bien, puede ser inferida de una fbf (o varias fbfs) que se
encuentran previamente en la secuencia, utilizando una regla de
inferencia
• Teorema del conjunto ∆: si existe una demostración ϖ a partir de ∆

• Si ℜ denota el conjunto de reglas de inferencia,

ϖ puede ser probada a partir de ∆ utilizando las reglas de inferencia ℜ

Antonio Reynoso Lobato 2002B 19

Árbol de Demostración
• El concepto de demostración esta basado en una secuencia, o
en un orden parcial (que puede ser representado mediante la
estructura de árbol)
• El árbol, etiquetado, de demostración tiene relaciones inversas
padre-sucesor (el nodo raíz se encuentra en la base del árbol)

Cada nodo es etiqueado mediante

una fbf,
O bien debe corresponder a una fbf
perteneciente a ∆,
O bien debe ser inferible a partir de
sus padres en el árbol

Antonio Reynoso Lobato 2002B 20

10
 La Semántica

• El papel de la semántica es asociar (dar significado) los

elementos de un lenguaje lógico con los elementos de un
dominio de discurso.
• En lógica proposicional asociamos átomos con
proposiciones acerca del mundo.
– Interpretación: la asociación de átomos con
proposiciones:
• Bajo una interpretación dada los átomos tienen valores
Verdadero o Falso.
• Idealización: todas las proposiciones acerca del
mundo deben ser o verdaderas, o falsas.
• Denotación del átomo: la proposición asociada a ese átomo

Antonio Reynoso Lobato 2002B 21

Base de Conocimientos

• Si el sistema sensorial del agente es fiable (le permite

determinar la falsedad, o la verdad de las proposiciones acerca
del mundo) entonces, cuando se mida un valor 1 para la
característica x, la proposición acerca del mundo
correspondiente a x será cierta (tendrá el valor verdadero)
– Por esta razón, en vez de representar la información
medida por un agente mediante el valor 1 ó 0 en cierta
celda de la entrada, la podemos representar mediante un
átomo de lógica proposicional en la estructura de memoria
del agente (Base de conocimientos)
• Se da por hecho que la ocurrencia explicita de un
átomo, como en el caso de x, en la base de
conocimientos de un agente significa que considera que
la proposición asociada es cierta en el mundo

Antonio Reynoso Lobato 2002B 22

11
 Reglas para Construir Tablas de Verdad

• Dados los valores de los átomos, bajo cierta interpretación,

podemos calcular el valor de cualquier fbf bajo dicha
interpretación. A partir de dos fbfs:

Antonio Reynoso Lobato 2002B 23

Tabla de Verdad Proposicional

• La tabla de verdad establece la semántica (significado) de las

conectivas proposicionales

Antonio Reynoso Lobato 2002B 24

12
 Interpretaciones
• Si un agente describe su mundo utilizando n características
(proposiciones), y estas están representadas en el modelo del mundo del
agente mediante un conjunto de n átomos, entonces hay 2n maneras en
que el mudo puede estar (tantas formas como el agente puede distinguir)
– Interpretación: cada una de las maneras en que el mundo puede
estar
• ¿Si a un agente le es dado un conjunto de restricciones sobre las
características (expresadas como fbfs que tienen el valor verdadero),
puede inducir una asignación de valores (interpretación) de los átomos
de su lenguaje y así determinar qué proposiciones acerca de su mundo
son ciertas o falsas?
– Puede haber muchas interpretaciones distintas, las formulas no
especifican cual de las 2n maneras en que el mudo puede estar es
la correcta

Antonio Reynoso Lobato 2002B 25

Satisfacibilidad y Modelos
• Decimos que una interpretación satisface una fbf, si a la fbf le
es asignado el valor verdadero bajo dicha interpretación
• Una interpretación que satisface una fbf es denominada
modelo de dicha fbf
• Una interpretación que satisface cada una de las fbfs de un
conjunto de fbfs es denominado modelo de dicho conjunto
• Si ninguna interpretación satisface a una fbf (o conjunto de
fbfs), entonces decimos que es inconsistente o insatisfactible
– Ejemplo de fbf insatisfactible:
P ∧ ¬P
– Ejemplo de conjunto de fbfs inconsistente:
{P∨Q, P∨ ¬ Q, ¬ P∨Q, ¬ P∨ ¬ Q}

Antonio Reynoso Lobato 2002B 26

13
 Restricciones

• Cada fbf es una restricción que nos dice algo

acerca de la manera en que el mundo se encuentra, y
nos permite rechazar algunos de los posibles
modelos (maneras en las que el mundo puede estar)
– Ejemplo de restricción:
BATERIA_OK ∧ OBJETO_ELEVABLE ⊃ ROBOT_SE_MUEVE

• Cuanto mas fbfs tengamos para describir el mundo

(sabiduría), menos modelos (incertidumbre)
tendremos

Antonio Reynoso Lobato 2002B 27

Validez (Tautológica)
• Se dice que una fbf es válida, si tiene el valor
verdadero bajo todas las interpretaciones
posibles de sus átomos constituyentes
– Ejemplos de fbfs válidas:
• P ⊃ P (¬P ∨ P)
• V
• ¬(P ∧ ¬P)
• Q∨V
• [(P ⊃ Q) ⊃ P] ⊃ P
• P ⊃ (Q ⊃ P)

• Una fbf válida está vacía de significado: no nos

dice nada nuevo acerca de cómo puede estar el
mundo

Antonio Reynoso Lobato 2002B 28

14
 Equivalencia
• Se dice que dos fbfs son equivalentes si, y solo si, sus
valores de verdad son idénticos bajo todas las
interpretaciones
– Ejemplos de equivalencias:

Antonio Reynoso Lobato 2002B 29

Consecuencia Lógica
• Si una fbf ω tiene el valor Verdadero bajo todas aquellas
interpretaciones para las cuales cada una de las fbfs del
conjunto ∆ tienen el valor verdadero, entonces decimos que:
– ∆ lleva lógicamente a ω. o
– Que ω se sigue lógicamente de ∆, o
– Que ω es una consecuencia lógica de ∆
• Ejemplos de consecuencias lógicas:

• En los dos últimos ejemplos se utiliza una notación abreviada

porque ∆ es un conjunto unitario.

Antonio Reynoso Lobato 2002B 30

15
 Consecuencia Lógica
• La noción de consecuencia lógica es importante dentro de la IA
porque provee un mecanismo robusto para demostrar que:
si ciertas proposiciones son ciertas en el mundo, entonces
otras proposiciones de interés (que quizá no pueden ser
medidas) deben de serlo también.
• Ejemplo:
{BATERIA_OK ∧ OBJETO_ELEVABLE ⊃ ROBOT_SE_MUEVE,
BATERIA_OK, ¬ ROBOT_SE MUEVE} ╞ ¬ OBJETO_ELEVABLE
Disponemos de tres fórmulas: una describe conocimiento general
acerca del mundo y dos describen una situación particular.
Utilizando una tabla de verdad ¬ OBJETO_ELEVABLE tiene el
valor Verdadero en todas las interpretaciones en las cuales las
tres fórmulas tienen el valor Verdadero, por lo tanto la
proposición de que “el bloque no es elevable” debe ser cierta.

Antonio Reynoso Lobato 2002B 31

Solidez y Completitud
• Un sustituto atractivo (y más eficiente) de la consecuencia lógica
es la inferencia. Aunque son dos conceptos fundamentalmente
distintos hay dos definiciones importantes que los conectan (ya
podemos asociar un significado intuitivo a los conceptos teorema y
demostración)

• Cuando las reglas de inferencia son sólidas y completas, podemos

determinar si una fbf se sigue lógicamente de un conjunto de fbfs
mediante la búsqueda de una demostración, en vez de utilizar tablas
de verdad

Antonio Reynoso Lobato 2002B 32

16
 Solidez y Completitud

• Cuando las reglas de inferencia son sólidas, si encontramos una

demostración de ω a partir de ∆, sabemos que ω se sigue
lógicamente de ∆.
• Cuando la reglas de inferencia son completas, sabemos que
seremos capaces de confirmar si ω se sigue lógicamente de ∆
utilizando un procedimiento de búsqueda exhaustiva para encontrar
una demostración.
– Determinar si una fbf se sigue o no de un conjunto de fbfs, o
si se demuestra a partir de un conjunto de fbfs es ,en general,
un problema NP (la complejidad no puede demostrarse que
sea menor en el número de átomos)
• La sustitución de tablas de verdad por métodos de demostración
nos da una gran ventaja computacional.

Antonio Reynoso Lobato 2002B 33

El Problema de SATP
• Problema de satisfactibilidad proposicional (SATP): el problema de
encontrar un modelo para una fórmula:
– es decir, mostrar que las fbfs en el conjunto son todas satisfacibles
bajo la misma interpretación:
– o lo que es lo mismo, encontrar un modelo para la
fórmula compuesta por la conjunción de todas las fbfs
de ∆
• Forma Normal Conjuntiva (FNC.): una fórmula expresada como una
conjunción de cláusulas.
– Cláusula: una disyunción de literales.
• El problema de SATk consiste en encontrar un modelo para la
conjunción de cláusulas, conteniendo la más larga de éstas
exactamente k literales
– El problema general se SATP es NP-completo
– SATG es un procedimiento de búsqueda de tipo no
exhaustivo, de ascensión de colina y voraz

Antonio Reynoso Lobato 2002B 34

17
 Cuestiones Importantes
• Distinción entre los lenguajes:
– Hay una tendencia a confundir, tanto los lenguajes
informales de la matemáticas, como el lenguaje natural,
con el propio lenguaje formal del cálculo proposicional
– Los símbolos metalingüísticos ╞ y ├ nunca deben de
confundirse con el símbolo ⊃
• Metateoremas: teoremas acerca del cálculo proposicional

Antonio Reynoso Lobato 2002B 35

Cuestiones Importantes
• Leyes asociativas:

– La primera se llama conjunción y la segunda disyunción

– El elemento individual ωi en la primera fbf se llama
conjuntor, y en la segunda disyuntor
• Leyes distributivas:

Antonio Reynoso Lobato 2002B 36

18