Ing.electrico

Solo disponible en BuenasTareas
  • Páginas : 3 (662 palabras )
  • Descarga(s) : 0
  • Publicado : 31 de diciembre de 2011
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

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