RSS

MOTOR Y REGLAS DE INFERENCIA

04 Abr

Es el “cerebro” son sistemas expertos mediante el uso de razonar sobre la información en la base de conocimiento para el último propósito de formular nuevas conclusiones. Los motores de inferencia se consideran ser un caso especial de motores, que puede utilizar métodos más generales de razonamiento.

Un motor de inferencia tiene tres elementos principales. Son:

  1. Un intérprete. El intérprete ejecuta los asuntos del orden del día elegidos aplicando las reglas bajas correspondientes.
  2. Un planificador. El planificador mantiene control sobre la agenda estimando los efectos de aplicar reglas de inferencia a la luz de prioridades del artículo u otros criterios en la agenda.
  3. Un enforcer de la consistencia. El enforcer de la consistencia procura mantener una representación constante de la solución que emerge.

Un motor de inferencia interpreta y evalúa los hechos en la base de conocimientos para proveer una respuesta. Este debe ser independiente del conocimiento y de los hechos. Se puede caracterizar por:

  • El lenguaje en que ha sido escrito.
  • La velocidad de trabajo: Inferencias / segundo.

Las estrategias de búsqueda de soluciones:

  • No Ordenada: aleatoria, heurística.
  • Ordenada: Encadenamiento hacia adelante (guiado por los datos, deductivo), encadenamiento hacia atrás (guiado por los objetivos, inductivo).
  • La forma en que elige el conocimiento.
  • La posibilidad de incorporar metaconocimiento.

El tipo de lógica que emplea en el razonamiento:

  • Booleana, trivalente, multivalente, difusa.
  • Monotónica o no monotónica.
  • Atemporal o temporal.
  • Lógica de orden 0, orden 0+, orden 1.

El método que utiliza para la evaluación del conocimiento incompleto o incierto:

  • Determinístico.
  • Probabilístico.
  • Aproximado.
  • Difuso.

Modus ponendo ponens.- Regla de inferencia que tiene la siguiente forma:

Si A, entonces B
A
Por lo tanto, B

Por ejemplo, un razonamiento que sigue la forma del modus ponens podría ser:

Si está soleado, entonces es de día.
Está soleado.
Por lo tanto, es de día.

Modus ponendo tollens.- Es una forma válida de argumento que dice:

O bien A, o bien B
A
Por lo tanto, no B

Por ejemplo, un razonamiento que sigue la forma del modus ponendo tollens podría ser:

O bien es de día, o bien es de noche.
Es de día.
Por lo tanto, no es de noche.

Modus tollendo ponens.-Es una forma válida de argumento:

es el caso que A, o es el caso que B
No A
Por lo tanto, B

o exclusivo:

O es el caso que A, o es el caso que B
No A
Por lo tanto, B

Por ejemplo, un razonamiento que sigue la forma del silogismo disyuntivo exclusivo podría ser:

O es de día o es de noche.
No es de día.
Por lo tanto, es de noche.

Modus tollendo tollens.- Es una regla de inferencia que tiene la siguiente forma:

si A entonces B
No B
Por lo tanto, no A

Por ejemplo, un razonamiento que sigue la forma del modus tollens podría ser:

si está soleado entonces es de día.
No es de día.
Por lo tanto, no está soleado.

Silogismo hipotético.-Regla de Inferencia que en su expresión plantea un caso hipotético, por lo cual puede tener términos válidos o no.

Ejemplo:

Si no me despierto, no puedo ir a la fiesta.
Si no voy a la fiesta, no me divertiré.
Entonces, si no me despierto no me divertiré.

Fuente de Consultas: Motor Inferencia, Reglas de Inferencia, SE

Anuncios
 
Deja un comentario

Publicado por en 4 abril, 2011 en SISTEMAS EXPERTOS 10.mo

 

Etiquetas:

Responder

Introduce tus datos o haz clic en un icono para iniciar sesión:

Logo de WordPress.com

Estás comentando usando tu cuenta de WordPress.com. Cerrar sesión / Cambiar )

Imagen de Twitter

Estás comentando usando tu cuenta de Twitter. Cerrar sesión / Cambiar )

Foto de Facebook

Estás comentando usando tu cuenta de Facebook. Cerrar sesión / Cambiar )

Google+ photo

Estás comentando usando tu cuenta de Google+. Cerrar sesión / Cambiar )

Conectando a %s

 
A %d blogueros les gusta esto: