Lenin Herrera

Concepto generales Lógica proposicional Lógica de predicados Reglas Marcos Redes Semánticas Redes Bayesianas

Los métodos de inferencia, también llamados métodos de razonamiento, son el conjunto de símbolos que representan el proceso de aprendizaje.

El motor de inferencias es un programa que controla el proceso de razonamiento que seguirá el sistema experto. Utilizando los datos que se le suministran, recorre la base de conocimientos para alcanzar una solución.

Es un sistema formal diseñado para analizar ciertos tipos de argumentos.

En lógica proposicional, las fórmulas representan proposiciones y las conectivas lógicas son operaciones sobre dichas fórmulas, capaces de formar otras fórmulas de mayor complejidad.

La lógica proposicional es la más antigua y simple de las formas de lógica.

Utilizando una representación primitiva del lenguaje, permite representar y manipular aserciones sobre el mundo que nos rodea.

La lógica proposicional permite el razonamiento, a través de un mecanismo que primero evalúa sentencias simples y luego sentencias complejas, formadas mediante el uso de conectivos proposicionales, por ejemplo Y (AND), O (OR).

Este mecanismo determina la veracidad de una sentencia compleja, analizando los valores de veracidad asignados a las sentencias simples que la conforman.

También llamada lógica de primer orden o cálculo de predicados.

Es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.

Fundamentado principalmente en conceptos matemáticos. Los predicados son tratados como funciones las cuales que recibe un conjunto de cosas, las procesa, y devuelve como resultado una única cosa.

Las entradas son llama argumentos, y a las salidas valores o imágenes.

Un predicado es una expresión lingüística que puede conectarse con una o varias otras expresiones para formar una oración.

Ejemplo:◦ «Lenin es un hombre», la expresión «es un

hombre» es un predicado que se conecta con la expresión «Lenin» para formar una oración.

◦ Representado de la siguiente maneras: Hombre(Lenin) o H(l).

También llamadas reglas de producción, están basadas en la lógica proposicional.

Ampliamente utilizada en los sistemas expertos.

Prácticamente de uso universal por los lenguajes de programación, tanto especializados como los de propósito general.

SI <condiciones>ENTONCES <conclusiones, acciones, hipótesis>

Ejemplo.◦ Si edad > 65◦ Entonces Pensión=Si

Estructura de datos compleja, según el cual palabras y significados no están relacionados de forma directa sino por medio de los enlaces que establecen a estructuras de marcos.

Un marco desde el punto de vista de la aplicación se traduce en un conjunto de categorías conceptuales (slots) con sus especificaciones (fillers).

Una red semántica o esquema de representación en Red es una forma de representación de conocimiento lingüístico en la que los conceptos y sus interrelaciones se representan mediante un grafo. En caso de que no existan ciclos, estas redes pueden ser visualizadas como árboles. Las redes semánticas son usadas, entre otras cosas, para representar mapas conceptuales y mentales.

También llamadas red de creencia. Es un modelo probabilístico multivariado

que relaciona un conjunto de variables aleatorias mediante un grafo dirigido que indica explícitamente influencia causal.

Basado en el Teorema de Bayes, las redes bayesianas son una herramienta extremadamente útil en la estimación de probabilidades ante nuevas evidencias.

La red anterior nos expresa que:

◦Caries es una causa directa de Dolor y Huecos◦Dolor y Huecos son condicionalmente

independientes dada Caries.◦ Tiempo es independiente de las restantes

variables.

http://www.doi.icai.upcomillas.es/simio/transpa/t_se_bv.pdf

http://www.redcientifica.com/doc/doc199908210001.html

INTELIGENCIA ARTIFICIAL E INGENIERÍA DEL CONOCIMIENTO.Santos Peñas, Matilde; Pajares Martinsanz, Gonzalo, (aut.)

http://es.wikipedia.org/wiki/L%C3%B3gica_proposicional

http://es.wikipedia.org/wiki/L%C3%B3gica_de_primer_orden

http://www.it.uc3m.es/rcrespo/docencia/irc/apuntes/04_Razonamiento.pdf

http://elies.rediris.es/elies14/cap242.htm http://es.wikipedia.org/wiki/Red_sem

%C3%A1ntica http://es.wikipedia.org/wiki/Red_bayesiana