REGLAS DE INFERENCIA

Una Regla de inferencia es un esquema para construir inferencias validas osea conclusiones validas. Estas reglas permiten establecer relaciones sintacticas entre un conjunto de premisas y una aserción llamada conclusion.

Estas relaciones sintácticas son usadas en el proceso de inferencia, por el que se llega a nuevas aserciones verdaderas a partir de otras ya conocidas.

Algunas reglas de inferencia sencillas.

Modus ponendo ponens: El modus ponendo ponens (en latín, modo que afirmando afirma), también llamado modus ponens y generalmente abreviado MPP o MP, es una regla de inferencia que tiene la siguiente forma:

Si A, entonces B
A
Por lo tanto, B

Ejemplo:
Si son las 6 AM, entonces ya amanecio.
Son las 6 AM.
Por lo tanto, Ya amanecio

Modus ponendo tollens: El modus ponendo tollens (en latín, modo que afirmando niega) o MPT es una forma válida de argumento que dice:

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

EJEMPLO:
O bien esta soleado, o bien esta lluvioso.
Esta soleado.
Por lo tanto, no esta lluvioso.

Modus tollendo ponens: El silogismo disyuntivo, históricamente conocido como modus tollendo ponens (en latín, modo que negando afirma) o MTP, es una forma válida de argumento:

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

EJEMPLO:
O bien esta soleado, o bien esta lluvioso.
No Esta soleado.
Por lo tanto, esta lluvioso.

Modus tollendo tollens: El modus tollendo tollens (en latín, modo que negando niega), también llamado modus tollens y generalmente abreviado MTT o MT, es una regla de inferencia que tiene la siguiente forma:

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

EJEMPLO:
Si son las 6 AM, entonces amanecio.
No son las 6 AM.
Por lo tanto, no amanecio.

tecnologiasemergentes

FUENTE: WIKIPEDIA

Esta entrada fue publicada en Sistemas Expertos y etiquetada , . Guarda el enlace permanente.

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