Inferencia

La inferencia es el proceso por el cual se derivan conclusiones a partir de premisas o hipótesis iniciales.^[1]​ Cuando una conclusión se sigue de sus premisas o hipótesis de partida, por medio de deducciones lógicas válidas, se dice que las premisas implican (infieren) la conclusión.

La inferencia es el objeto de estudio tradicional de la lógica, así como la vida es el objeto de estudio de la biología. La lógica investiga los fundamentos por los cuales algunas inferencias son aceptables, y otras no. Cuando una inferencia es aceptable, lo es por su estructura lógica y no por el contenido específico del argumento o el lenguaje utilizado (retórica). Por esto se construyen sistemas lógicos que capturan los factores relevantes de las deducciones que aparecen en el lenguaje natural.^[2]​

Tradicionalmente, se distinguen tres clases de inferencias: las deducciones, las inducciones y las abducciones, aunque a veces se cuenta a la abducción como un caso especial de inducción.^[3]​ Las inducciones se estudian desde la lógica inductiva y el problema de la inducción. Las deducciones, en cambio, son estudiadas por la mayor parte de la lógica contemporánea.^[4]​

En las investigaciones sobre la inteligencia artificial, la inferencia es la operación lógica utilizada en los motores de inferencia de los sistemas expertos.^{[cita requerida]}

1. ↑ Robert Audi (ed.). «Inference». The Cambridge Dictionary of Philosophy (en inglés) (2nd Edition). Cambridge University Press. 
2. ↑ «formal system». Encyclopedia Britannica (en inglés). Consultado el 3 de agosto de 2009. 
3. ↑ «inference». The Oxford Companion to Philosophy (en inglés). Oxford University Press. 2005. Consultado el 1º de agosto de 2009. 
4. ↑ Error en la cita: Etiqueta <ref> no válida; no se ha definido el contenido de las referencias llamadas Consequence