Taller De Mantenimiento2
LÓGICA DE PREDICADOS DE PRIMER ORDEN
CARLOS ANDRES PEREZ
EDUARDO MENDOZA ORTEGA
DARIO BRAVO BARBA
PROGRAMACION LOGICA Y FUNCIONAL
TUTOR
CARLOS PRETELT
FUNDACIONUNIVERSITARIA SAN MARTIN
MONTERIA CORDOBA
2010
LA LÓGICA DE PREDICADOS DE PRIMER ORDEN
Los agentes basados en el conocimiento funcionan razonando con una representación del conocimiento sobreel mundo y sus acciones.
La lógica proposicional tiene muchas limitaciones derivadas del uso exclusivo de la proposición como construcción del lenguaje.
Vamos a ver un lenguaje que ofrece distintasconstrucciones para representar el conocimiento: lógica de primer orden (LPO)
Supone que existen entidades individuales (objetos), con caracter´ısticas distintivas (propiedades), entre los que puedehaber relaciones de distintos tipos, algunas de ellas funciones
Ejemplos de los elementos anteriores:
Objetos: gente, casas, números, colores, . . .
Propiedades: rojo, redondo, primo, . . .Relaciones: hermano de, mayor que, . . .
Funciones: padre de, . . .
La popularidad de la LPO se debe a que estructura el mundo en objetos y relaciones facilita el razonamiento da libertad paradescribir el mundo de la manera que el diseñador considere apropiada permite expresar sentencias sobre todos los objetos del universo
Un lenguaje L de la lógica de predicados está compuesto por lossiguientes elementos:
– Un conjunto C, finito o enumerable, de constantes para designar objetos.
Ej:
{C1,C2, . . . ,Cn, . . .},
Para evitar confusiones, usaremos siempre mayúsculas para denotar lossímbolos constantes.
– Un conjunto F, de símbolos de función.
Ejemplo:
{f, g, h, . . .}.
A cada función se le asocia una aridad, que es un número natural y que corresponde a la cantidad deargumentos de la función.
– Un conjunto P finito o infinito enumerable de símbolos para predicados
{P, Q,R, S, . . .}, que se utilizan para designar propiedades de objetos. A estos también se les asocia...
Regístrate para leer el documento completo.