Ing.electrico
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
IRC 2009 - © JVR - 1
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)
IRC 2009 - © JVR - 2
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: si laspremisas son verdaderas, la conclusión también lo será ( deductivo)
IRC 2009 - © JVR - 3
Definición
La lógica es la disciplina que se preocupa de estudiar los aspectos funcionales de las inferencias(Los aspectos procesales son estudiados por la informática y la psicología)
IRC 2009 - © JVR - 4
Lógica de predicados de primer orden
Un predicado representa una propiedad o relación de undeterminado 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 en predicados de primerorden
IRC 2009 - © JVR - 5
Alfabeto de la lógica
Símbolos de constantes, variables, predicados y funciones Conectivas
negación ¬ conjunción ∧ disyunción ∨ condicional ⇒ bicondicional ⇔Cuantificadores
existencial ∀ universal ∃
Símbolos auxiliares
IRC 2009 - © JVR - 6
Interpretación y asignación
Interpretación: correspondencia entre símbolos y elementos de la conceptuación...
Regístrate para leer el documento completo.