Anda di halaman 1dari 17

Datos de la Asignatura

Temaro
2 Cuatrimestre
Sistemas basados en el conocimiento
Mediante lgica de predicados. Mediante Sistemas de produccin.
Inteligencia Artificial e Ingenieria del Conocimiento

(Cap. 8-12)

Tratamiento de la incertidumbre (Cap. 13-15)


Redes Bayesianas. Razonamiento aproximado (lgica difusa).

Septiembre de 2007

1 de 18

Universidad de Castilla-La Mancha


Inteligencia Artificial e Ingeniera del Conocimiento

Tema4: Sistemas basados en el conocimiento (Lgica de 1er orden)

Profesores: Luis Jimnez Linares. Luis Enrique Snchez Crespo.

Bsqueda informada

Inteligencia Artificial e Ingenieria del Conocimiento

Sintaxis y semntica

Septiembre de 2007

3 de 18

Sintaxis y semntica
Modelos
Dominio: de un modelo es el conjunto de objetos que contiene. Ej: Ricardo Corazn de Len, Rey de Inglaterra de 1189 a 1199; su hermano ms joven, el malvado Rey Juan, quien rein de 1199 a 1215; las piernas izquierda de Ricardo y Juan; y una corona.

Inteligencia Artificial e Ingenieria del Conocimiento

Septiembre de 2007

4 de 18

Sintaxis y semntica
Relacin: conjunto de tuplas que estn relacionados. Tuplas: Coleccin de objetos colocados en un orden fijo que se escriben entre parntesis angulares. Funciones totales: Los modelos en la lgica de primer orden requieren de un valor para cada tupla de entrada. Smbolos: son los elementos sintcticos bsicos de la lgica de primer orden. Tipos:
Smbolos de constante: representa objetos. Smbolos de predicado: representan relaciones. Smbolos de funcin: representan funciones.
Septiembre de 2007

Inteligencia Artificial e Ingenieria del Conocimiento

5 de 18

Sintaxis y semntica
Sintaxis

Inteligencia Artificial e Ingenieria del Conocimiento

Septiembre de 2007

6 de 18

Sintaxis y semntica
Trminos
Semntica: relaciona las sentencias con los modelos para determinar su valor de verdad. Intepretacin deseada: aquella que especifica exactamente qu objetos relaciones y funciones son referenciadas mediante smbolos de constante, de precicados y de funcin. Trmino: es una expresin lgica que se refiere a un objeto. Sentencias atmicas: representan hechos. Se forman con un smbolo de predicado seguido de una lista de trminos entre parntesis.
Ej: Hermano(Ricardo,Juan) Una sentencia atmica es verdadera en un modelo dado, y bajo una interpretacin dada, si la relacin referenciada por el smbolo de predicado sucede entre los objetos referenciados por los argumentos.

Inteligencia Artificial e Ingenieria del Conocimiento

Septiembre de 2007

7 de 18

Sintaxis y semntica
Operaciones atmicas
Sentencias compuestas: mediante conectivas lgicas construimos sentencias ms complejas. Cuantificadores: sirven para expresar las propiedades de colecciones enteras de objetos. Tipos: Universal ( ): Para todo x Existencial( ): Para algn x Igualdad: El smbolo de igual permite construir enunciados describiendo que dos trminos se refieren al mismos objetos. Ej: Padre(Juan) = Enrique. Conectores ,, , Cuantificadores , 8 de 18

Inteligencia Artificial e Ingenieria del Conocimiento

Septiembre de 2007

Sintaxis y semntica Relacin entre y


y estn conectados entre s a travs de la negacin, signo
Ejemplo 1 Todos odian los exmenes

Inteligencia Artificial e Ingenieria del Conocimiento

xAma(x,Exmenes) es equivalente a No existe alguien que ame a los exmenes x Ama(x,Exmenes)


Ejemplo 2: Todos gustan de las galletitas de chocolate x Ama(x,GalletitasChocolate) No hay nadie que no guste de las galletitas de chocolate x Ama(x,GalletitasChocolate)
Septiembre de 2007

9 de 18

Bsqueda informada

Inteligencia Artificial e Ingenieria del Conocimiento

Utilizando la lgica de primer orden

Septiembre de 2007

10 de 18

Usando la lgica de 1er orden


Aserciones: las sentencias que se van aadiendo a la base de conocimiento mediante DECIR. Peticiones u objetivos: las preguntas realizadas mediante Preguntar. Sentencias temporales:
Inteligencia Artificial e Ingenieria del Conocimiento

Sincrnicas: sentencias que relaciones propiedades del estado del mundo con otras propiedades del mismo estado del mundo.
Reglas de diagnstico: nos llevan de los efectos observados a sus causas ocultas. Reglas causales: reflejan la direccin que se asume de causalidad en el mundo.

Diacrnicas: permiten razonar a travs del tiempo.

Septiembre de 2007

Razonamiento basado en modelos: Sistemas que razonan con reglas causales. 11 de 18

Bsqueda informada

Inteligencia Artificial e Ingenieria del Conocimiento

Ingeniera del conocimiento con lgica de primer orden

Septiembre de 2007

12 de 18

Ing. Conocimiento con lgica 1er orden


Proceso de ingeniera del conocimiento:
Identificar la tarea. Recopilar el conocimiento relevante (adquisicin del conocimiento). Decidir el vocabulario de los predicados, funciones y constantes. Codificar el conocimiento generar acerca del dominio. Codificar una descripcin de la instancia de un problema especfico. Plantear peticiones al procedimiento de inferencia y obtener respuestas. Depurar la base de conocimiento.

Inteligencia Artificial e Ingenieria del Conocimiento

Septiembre de 2007

13 de 18

Inteligencia Artificial e Ingenieria del Conocimiento


Septiembre de 2007

Resumen

Lgica de 1er orden

14 de 18

Lgica de 1er orden


Los lenguajes de representacin del conocimiento deberan ser declarativos, composicionales, expresivos, independientes del contexto, y no ambiguos. Las lgicas difieren en sus compromisos ontolgicos y compromisos epistemolgicos. Mientras que la lgica proposicional se compromete slo con la existencia de hechos, la lgica de primer orden se compromete con la existencia de objetos y sus relaciones, y por ello gana poder expresivo. Un mundo posible, o modelo, se difene para la lgica de primer orden como un conjunto de objetos, las relaciones entre ellos y las funciones que se les puede aplicar.
Septiembre de 2007

Inteligencia Artificial e Ingenieria del Conocimiento

15 de 18

Lgica de 1er orden


Los smbolos de constante identificar los objetos, los smbolos de predicado indentifican las relaciones, y los smbolos de funcin identifican las funciones. Una interpretacin especifica una aplicacin de los smbolos al modelo. Los trminos complejos aplican smbolos de funcin a los trminos para identificar un objeto. Dados un modelo y una interpretacin, se determina el valor de verdad de la sentencia. Una sentencia atmica consiste en un predicado aplicado a uno o ms trminos: el predicado es verdadero cuando la relacin identificada por el predicado sucede ente los objetos identificados por los trminos. Las sentencias compuestas utilizan las conectivas como lo hace la lgica proposcional, y las sentencias cuantificadas permiten expresar reglas generales. Desarrollar una base de conocimiento en lgica de primer orden requiere de un proceso cuidadoso para analizar el dominio, escoger el vocabulario y codificar los axiomas que se necesitan para soportar las inferencias deseadas. 16 de 18

Inteligencia Artificial e Ingenieria del Conocimiento

Septiembre de 2007

Universidad de Castilla-La Mancha

Luis Jimnez Linares Luis.jimenez@uclm.es Luis Enrique Snchez Crespo LuisEnrique.sanchez@uclm.es