REGLAS DE INFERENCIA

REGLAS DE INFERENCIA

La mayoria de los sitemas expertos almacenan su conocimiento en forma de reglas de inferencia: si esto, entonces eso, si eso entonces aquello otro, Tambien las reglas de inferencia permiten relacionar hechos o situaciones del mundo real para deducir otros hechos que en principio no son evidentes sin la utilizacion de dichas reglas.

Modus Ponendo Ponen

Proviene del latín y significa “modo que afirmando afirma”, esta regla sigue la forma siguiente

• p=>q
• p         
• q

Pero de esta forma no nos dice nada, démosle sentido a las letras, supongamos que “p” significa “como muchos dulces” y la letra “q” significa “tengo caries”

De acuerdo con modus ponen, tendríamos

• Si como muchos dulces entonces tengo caries
• Como muchos dulces
• por lo tanto tengo caries

Lo que nos expresa es que si tenemos una expresión como p=>q y se presenta el suceso p por lo tanto se produce q

Modus Tollendo Tollens

Esta significa “modo que negando niega”, posee la siguiente forma

• p=>q
• ¬q         
• ¬p

Usando las sentencias anteriores tendriamos

• Si como muchos dulces entonces tengo caries
• no como muchos dulces
• por lo tanto no tengo caries

Lo que nos indica que en una implicación de p=>q cuando se produce la negación del segundo término(q) por logica se deduce que se niega el primer término (p)

Eliminación de la conjunción

Esta regla nos establece que es el resultado de una conjunción es verdadera, lo son cada una de sus premisas tomemos las sentencias siguientes:

• p = hago ejercicio
• q= soy fuerte

Si tuviéramos la conjunción p^q  seria:

Hago ejercicio y soy fuerte si esta conjunción es verdadera por lo tanto se infiere que la sentencia “hago ejercicio” (p) es verdadera y también se infiera que la sentencia “soy fuerte” (q) es  verdadera de igual forma.

FUENTE

Reglas de Inferencia.

PDF