Inge
Razonamiento lógico
Julio Villena Román
jvillena@it.uc3m.es
Índice
La programación lógica Lógica de predicados de primer orden Sistemasinferenciales
© 2007 Julio Villena - 2
La programación lógica
algoritmo
Máquina convencional (von Neumann)
datos
resultados
especificación (reglas)
Sistema Basado en Conocimiento
datos(hechos)
resultados
Algoritmo = lógica + control
(“Cálculo de predicados como lenguaje de programación”, Kowalski 1974)
© 2007 Julio Villena - 3
Fundamentos de la lógica formal
Inferencia =razonamiento formalmente válido Razonamiento: tipo de pensamiento que consiste en obtener una conclusión a partir de unas premisas Formal: atención a la forma (abstracción del contenido) Válido: silas premisas son verdaderas, la conclusión también lo será ( deductivo)
© 2007 Julio Villena - 4
Definición
La lógica es la disciplina que se preocupa de estudiar los aspectos funcionales de lasinferencias
(Los aspectos procesales son estudiados por la informática y la psicología)
© 2007 Julio Villena - 5
Lógica de predicados de primer orden
Un predicado representa una propiedad orelación de un determinado objeto del universo del discurso Un predicado de primer orden es aquel que se refiere a propiedades de objetos y relaciones entre ellos
rubia(sara). moreno(carlos).noviazgo(sara,carlos). primos(X,Y):-progenitor(A,X),progenitor(B,Y),hermanos(A,B).
La lógica de predicados de primer orden estudia razonamientos de tipo deductivo, exactos (true/false) y basados enpredicados de primer orden
© 2007 Julio Villena - 6
Alfabeto de la lógica
Símbolos de constantes, variables, predicados y funciones Conectivas
negación ¬ conjunción disyunción condicionalbicondicional
Cuantificadores
existencial universal
Símbolos auxiliares
© 2007 Julio Villena - 7
Interpretación y asignación
Interpretación: correspondencia entre símbolos y elementos de la...
Regístrate para leer el documento completo.