Metodos de Inferencia Lenin Herrera.

Presentación del tema: "Metodos de Inferencia Lenin Herrera."— Transcripción de la presentación:

1 Metodos de Inferencia Lenin Herrera

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

3 Conceptos generales 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.

4 Lógica proposicional 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.

5 Lógica proposicional 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.

6 Ejemplos

7 Ejemplos

8 Lógica de predicados 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.

9 Lógica de predicados 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).

10 Lógica de predicados

11 Reglas 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.

12 Reglas SI <condiciones> ENTONCES <conclusiones, acciones, hipótesis> Ejemplo. Si edad > 65 Entonces Pensión=Si

13 Marcos 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).

14 Marcos

15 Marcos

16 Redes Semánticas 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.

17 Redes Semanticas

18 Redes Bayesianas 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.

19 Redes Bayesianas

20 Redes Bayesianas 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.

21 Bibliografía se_bv.pdf 001.html INTELIGENCIA ARTIFICIAL E INGENIERÍA DEL CONOCIMIENTO.Santos Peñas, Matilde; Pajares Martinsanz, Gonzalo, (aut.) cional

22 Bibliografía http://es.wikipedia.org/wiki/L%C3%B3gica_de_prim er_orden
es/04_Razonamiento.pdf