Inferencia

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 EBF. 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 EBF. 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.

Inferencia lgica
En la lgica tradicional
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 La filosofa tradicional aristotlica consideraba la posibilidad de inferencias inmediatas: aquellas que pueden obtenerse directamente a partir de la relacin que establece un juicio7 respecto a los trminos, sujeto y predicado, que le constituyen, en funcin de la cualidad (afirmativo-negativo) 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.
Artculo principal: Cuadro de oposicin de los juicios

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 aberrantesexistencia de los ngeles o demonios partiendo del juicio: Todos los hombres son mortales Ningn no-mortal es hombre (por conversin); ningun no-mortal es hombre Todo no-mortal es no-hombre (por obversin); Todo nomortal es no-hombre Algn no-hombre es no-mortal (conversin per accidens)</ref> La lgica actual formaliza los enunciados lingsticos bien como relacin de clases o como funciones proposicionales o relaciones.8 Hoy se exige el rigor formal de la aplicacin de una regla de inferencia.9 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.dirty es my B F 4 E ATO:LA TONEJA

En la lgica actual
Artculo principal: Clculo lgico

Se llama inferencia lgica a la aplicacin de una regla de transformacin que permite transformar una frmula o expresin bien formada (EBF) de un sistema formal en otra EBF como teorema del mismo sistema. Ambas expresiones se relacionan mediante una relacin de equivalencia, es decir, que ambas tienen los mismos valores de verdad o, dicho de otra forma, la verdad de una coimplica la verdad de la otra. Elaborando la tabla de valores de verdad de dicha equivalencia contenida en la funcin del bicondicional el resultado ha de resultar una tautologa. [editar] Esquema de inferencia
Artculo principal: Clculo lgico

Se refiere a la estructura lgico-formal que permite obtener una expresin bien formada (EBF) desligada, libre, como teorema de un sistema formal previamente definido por la regla de separacin estrictas de formacin y transformacin de frmulas. Dicha estructura es el fundamento de un argumento lgico-formal mediante la aplicacin de la regla de Sustitucin de frmulas. donde representa cada variable la premisa de un argumento. Conocida la verdad de cada una, como premisas de un

argumento, su producto verdadero exige la verdad de todas y cada una de dichas expresiones; lo que permite establecer D como expresin libre y conclusin del argumento.

Inferencia por evidencias

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 aprendida 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.10 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.

Clases de 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.

Inferencia Estadstica, (administracin y gestin)

Cuando la descripcin se aplica a condiciones de certeza, como en las tablas del mercado de valores en que se muestra un censo de los valores negociados, se convierte en una entidad metodolgica. Sin embargo, en la mayora de los problemas estadsticos actuales se emplea ms una muestra que un censo, y la descripcin se ha convertido simplemente en una preparacin de la siguiente rama de la estadstica: inferencia. Cuando hacemos uso de la inferencia, llegamos a una conclusin o formulamos una afirmacin bajo ciertas condiciones de incertidumbre. La incertidumbre puede ser el resultado de las condiciones aleatorias, implcitas en el trabajo con muestras, o del desconocimiento de las leyes aleatorias precisas que son aplicables a una situacin especfica. No obstante en la teora de la conclusin, la incertidumbre sobre la exactitud de la afirmacin que se ha hecho o de la conclusin que se ha sacado se expone simplemente en trminos de probabilidad de que ocurra. La inferencia trata de dos tipos principales de problemas:la estimacin y la contrastacin de hiptesis

Inferencia aplicada al conocimiento del comportamiento humano

Se puede inferir todo lo que sea inteligible. Dentro del campo de la inteligencia humana, encontramos campos muy interesantes, tal como la inteligencia emocional. Dado que el cerebro humano est sujeto a leyes fsicas, existe la posibilidad de que el comportamiento humano sea potencialmente previsible, con un grado de incertidumbre, al mismo grado que el resto de ciencias lo pudiera ser, pues todas se basan en la inteligencia del hombre. La capacidad de inferir el sentimiento humano se llama empata; cada sentimiento motiva a actuar de cierta manera. La capacidad de predecir como va a actuar cierta persona roza lo esotrico, pero nada ms lejos de la realidad, se pueden generar modelos de comportamientos humanos y el grado de exactitud de la prediccin depender de lo emptico que sea la persona (Dado que la nica mquina capaz de reproducir una mente, hasta la fecha, es un cerebro humano).