Segn la RAE se define inferencia como sacar una consecuencia o deducir algo de otra cosa.

Una inferencia es una evaluacin que realiza la mente entre expresiones bien formadas de un lenguaje, (EBF), que, al ser relacionadas intelectualmente como abstraccin, permiten trazar una lnea lgica de condicin o implicacin lgica entre las diferentes EBFs. De esta forma partiendo de la verdad o falsedad 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 EBFs. Surge as lo que conocemos como postulado1 o transformada de una expresin original conforme a reglas previamente establecidas2 que puede enmarcarse en uno o varios contextos referenciales diversos3 obtenindose en cada uno de ellos un significado como valor de verdad equivalente.4 5 6 Es la operacin lgica utilizada en los motores de inferencia de los Sistemas Expertos. Evidencia inductiva: Surge de la constatacin de una misma ocurrencia en una serie de casos. Observando que muchos lobos tienen la cola larga, infiero que los lobos tienen la cola larga, como una generalizacin. Evidencia enumerativa: Cuando se enumeran todos los casos la inferencia se convierte en una verdad demostrada, como induccin completa. Tal es el caso de que tras contar a todos y cada uno se pueda inferir: los alumnos de esta clase son 22. Aristteles y con l la escolstica tradicional admita una induccin perfecta, siempre y cuando la relacin entre los individuos y la clase, como concepto, sea aprehendida como conexin esencial necesaria de un proceso de abstraccin; o bien entre clases como conceptos incluidas en otra clase, como concepto. De esta forma tal induccin vena a ser una forma de silogismo, en la relacin de conceptos entre s. As, en la medida en que, guilas, cigeas, gorriones, .... etc. vuelan, y todas y cada una de las clases de tales animales son aves, se puede concluir que la conexin aves y volar es esencial, "Todas las aves vuelan". Argumentos as provocaron incidentes tan inslitos en la historia de la ciencia como la aparicin del ornitorrinco.11 Por otro lado el conocimiento de la experiencia siempre singular, cada caso nico e irrepetible, hace problemtica la posibilidad de llegar al conocimiento de conceptos universales, esenciales; y plantea el problema del status epistemolgico de la ciencia como conocimiento de conceptos y leyes universales. Al ponerse en cuestin el mundo de las formas esenciales, y la propia entidad conceptual entendida como clase lgica, y la posibilidad de la no existencia de individuos dentro de una clase bien definida, la inferencia inductiva sobre un universo no conocido en todas sus ocurrencias produce el llamado problema de la induccin, que por su carcter excede del caso de este artculo referido a la inferencia. Inferir por lgica clsica: Inferencia que slo admite dos valores: verdadero o falso. Inferencia trivaluada: Una inferencia de este estilo da como posibles resultados tres valores. Inferencia multivaluada: Una inferencia de este estilo da como posibles resultados mltiples valores. Inferencia difusa: Una inferencia de este estilo describe todos los casos multivaluados con exactitud y precisin. Inferencia probabilstica en el sentido de una induccin que permite establecer una verdad con mayor ndice de probabilidad que las dems. Si bien, cuando el universo posible es de infinitas ocurrencias la probabilidad siempre ser

0. Por lo que algunos establecen para el estatuto de la ciencia el falsacionismo, como mtodo cientfico y contrastacin de teoras y las lgicas humanas.