Inferencia

Una inferencia es una evaluacin que realiza la mente entre proposiciones. La inferencia es
la accin y efecto de inferir, en otras palabras, deducir algo, sacar una consecuencia de otra
cosa, conducir a un nuevo resultado. La inferencia nace a partir de una evaluacin mental
entre distintas expresiones, que al ser relacionadas como abstracciones, permiten trazar
una implicacin lgica.
En lgica formal, las inferencias son expresiones bien formadas (EBF) de un lenguaje
formal que, al ser relacionadas, permiten trazar una lnea lgica
de condicin o implicacin lgica entre las diferentes EBF. De esta forma, parte de lo
verdadero a lo falso: posible (como hiptesis) o conocida (como argumento) de alguna o
algunas de ellas, puede deducirse la verdad o falsedad de alguna o algunas de las otras EBF.
Surge as lo que conocemos como postulado1 o transformada de una expresin original
conforme a reglas previamente establecidas,2 que puede enmarcarse en uno o varios
contextos referenciales diversos,3 obtenindose en cada uno de ellos un significado
como valor de verdad de equivalente.4 5 6
La inferencia es la operacin lgica utilizada en los motores de inferencia de los sistemas
expertos.
ndice
[ocultar]

1Inferencia lgica
1.1En la lgica tradicional

1.1.1Inferencias inmediatas

1.2En la lgica actual

1.2.1Esquema de inferencia

2Inferencia por evidencias

3Tipos de inferencia

4Inferencia estadstica (administracin y gestin)

5Inferencia aplicada al conocimiento del comportamiento humano

6Vase tambin

7Referencias
o

7.1Bibliografa

Inferencia lgica[editar]

En la lgica tradicional[editar]
En la lgica tradicional, llamada aristotlica, la forma esencial de inferencia es una forma de
razonamiento deductivo. No obstante se reconocan algunas inferencias directas o inmediatas.
Inferencias inmediatas[editar]
La lgica aristotlica consideraba la posibilidad de inferencias inmediatas: aquellas que
pueden obtenerse directamente a partir de la relacin que establece un juicio 7 respecto a los
trminos, sujeto y predicado, que le constituyen, en funcin de la cualidad (afirmativonegativo) y la cantidad (universal-particular) del mismo.
Aristteles estudi con detalle ciertas operaciones que permitan tales inferencias inmediatas
o directas. Para ello elabor el llamado cuadro de oposicin de los juicios, en el que dadas las
relaciones que cada juicio aristotlico, A,E,I,O, lleva implcitas se pueden establecer ciertas
inferencias directas.
Asimismo en la lgica tradicional se admitan ciertas operaciones lgicas de transformacin de
un juicio manteniendo sus condiciones de verdad. Tales operaciones eran:

Conversin lgica

Obversin lgica

Contraposicin lgica

Inversin lgica

La lgica tradicional aristotlica no resuelve del todo bien los problemas que surgen de los
juicios negativos por lo que este tipo de operaciones lgicas se prestan a argumentaciones
que producen resultados aberrantes.8
La lgica actual formaliza los enunciados lingsticos bien como relacin de clases o como
funciones proposicionales o relaciones.9 Hoy se exige el rigor formal de la aplicacin de
una regla de inferencia.10 La idea de inferencia inmediata no es ms que la aplicacin de
una regla modo implcito. La formalidad lgica, sin embargo, exige que sea explcita la regla
que permite la transformacin de una EBF.