Representacion Del Conocimiento

CAPITULO TRES
REPRESENTACIÓN DEL CONOCIMIENTO
La representación del conocimiento es un conjunto de convenciones
sintácticas y semánticas que hacen posible el describir cosas, para que una
máquina inteligente las utilice. La sintaxis son los símbolos y conjuntos de
reglas para combinarlos. La semántica trata sobre significado de las
expresiones construidas.
En este libro mostraremos sólo tresformas de representación del
conocimiento.

3.1.

REPRESENTACIÓN DEL CONOCIMIENTO MEDIANTE
LÓGICA PROPOSICIONAL

La lógica proposicional es la más antigua y simple de las formas de lógica.
Utilizando una representación primitiva del lenguaje, permite representar y
manipular aserciones sobre el mundo que nos rodea. La lógica proposicional
permite el razonamiento, a través de un mecanismo que primeroevalúa
sentencias simples y luego sentencias complejas, formadas mediante el uso de
conectivos proposicionales, por ejemplo Y (AND), O (OR). Este mecanismo
determina la veracidad de una sentencia compleja, analizando los valores de
veracidad asignados a las sentencias simples que la conforman.
Una proposición es una sentencia simple que tiene un valor asociado ya sea
de verdadero (V), o falso (F).Por ejemplo:
Hoy es Viernes
Ayer llovió
Hace frío

La lógica proposicional, permite la asignación de un valor verdadero o falso
para la sentencia completa, no tiene facilidad para analizar las palabras
individuales que componen la sentencia. Por este motivo, la representación de
las sentencias del ejemplo, como proposiciones, sería:
hoy_es_Viernes
ayer_llovió
hace_frío
La proposiciones puedencombinarse para expresar conceptos más complejos.
Por ejemplo:
hoy_es_Viernes y hace_frío.
La lógica proposicional proporciona un mecanismo para asignar valores de
veracidad a la proposición compuesta, basado en los valores de veracidad de
las proposiciones simples y en la naturaleza de los conectores lógicos
involucrados.
Los conectores básicos de la lógica proposicional y sus tablas de verdad, semuestran en la tabla 3.1.

Tabla 3.1. Tablas de verdad para operadores lógicos.

p q Disyunción Conjunción Negación Implicación Equivalencia
pvq

p^q

~p

P => q

p=q

V V

V

V

F

V

V

V F

V

F

F

F

F

F V

V

F

V

V

F

F F

F

F

V

V

V

El conector de implicación, puede ser considerado como un condicional
expresado de la siguiente forma:
Si p => q va a ser verdadero, entonces toda vez quep sea verdadero, q debe
ser siempre verdadero.

78

Tópicos y Aplicaciones de la Inteligencia Artificial

Para los casos en los cuales p es falso, la expresión p => q, es siempre
verdadera, independientemente de los valores lógicos que tome q, ya que el
operador de implicación no puede hacer inferencias acerca de los valores de q.
En algunos casos, el más importante de los conectores es laimplicación, y al
principio su tabla de verdad puede parecer confusa debido a que no
corresponde muy bien a nuestra manera intuitiva de concebir que “P implique a
Q” o “si P entonces Q”.
Para ilustrar la implicación analicemos la regla siguiente dada para la primera
fila (p=V y q=V) de la tabla de verdad:
la batería no tiene carga

el automóvil no enciende

En la segunda fila (p=V y q=F) la implicaciónes F porque la regla sería
la batería no tiene carga

el automóvil enciende

En la tercera fila (p=F y q=V) la implicación es V porque la regla sería
la batería tiene carga

el automóvil no enciende

En la cuarta fila (p=F y q=F) la implicación es V porque la regla sería
la batería tiene carga

3.2.

el automóvil enciende

REPRESENTACIÓN
PREDICADOS

MEDIANTE

LÓGICA

DE

La principal debilidad dela lógica proposicional es su limitada habilidad para
expresar conocimiento. Existen varias sentencias complejas que pierden
mucho de su significado cuando se las representa en lógica proposicional. Por
esto se desarrolló una forma lógica más general, capaz de representar todos
los detalles expresados en las sentencias, esta es la lógica de predicados.
La lógica de predicados está basada en la...