REPRESENTACION FORMAL LOGICA DE LOS SISTEMAS EXPERTOS

SISTEMAS   EXPERTOS
REPRESENTACIÓN DEL CONOCIMIENTO

REPRESENTACIÓN FORMAL LÓGICA

Lógica de Predicados

•  La lógica de predicados abarca -superándola- a la lógica de proposiciones.
•   Es parte de la lógica de proposiciones por tanto todas las reglas de esta son aplicables para la lógica de predicados.
•   Representa el mundo en términos de objetos y predicados entre esos objetos.
•   Permite uso de cuantificadores (", $ ).
•   En ese entendido se aplica estos cuantificadores.

Ejemplos:

Cual es la diferencia entre:

•  Todos los alumnos de Lógica tienen un jaguar.
•  Existe un alumno de Lógica que tiene un jaguar.

En Lógica de proposiciones:

            alumno_lógica->tiene_jaguar.

            alumno(X,lógica)->tiene(X,jaguar).

  Aplicando cuantificadores:

•         "X(alumno(X,lógica)->tiene(X,jaguar)).

•         $X(alumno(X,lógica)->tiene(X,jaguar)).

Lógica de Predicados

Solución a los ejercicios planteados

1. “No existe en la humanidad ninguna persona mas importante que Mister Dólar.”

Ø $ x(persona(x) Ùmas_importante(x,Mister$))

"x(persona(x) ® Ø mas_importante(x,Mister$))

"x(Ø persona(x) Ú Ø mas_importante(x,Mister$))

" x(Ø(persona(x) Ùmas_importante(x,Mister$)))

Solución a los ejercicios planteados

2.  “Todas las cosas no negras no son cuervos.”

"x(Ønegro(x) ® Øcuervo(x))

Ø       $ x(Ø negro(x) Ùcuervo(x))

"x(negro(x) Ú Øcuervo(x))

3. “Todos son amigos de todos”

            "x"y Amigo(x,y)

Grafos AND/OR

—  El problema principal se descompone en subproblemas de menor dificultad. Esta descomposición se representa en un grafo G(N,A) del tipo AND/OR.

N=Los subproblemas

A=Conjunto de reglas

 de descomposición.

Tripletas Objetivo-Atributo-Valor (OAV)