Inge

Solo disponible en BuenasTareas
  • Páginas : 3 (732 palabras )
  • Descarga(s) : 0
  • Publicado : 8 de septiembre de 2010
Leer documento completo
Vista previa del texto
Inteligencia en Redes de Comunicaciones

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...
tracking img