Inferencia

Una inferencia es una evaluacin que realiza la mente en- inferencias directas.
tre proposiciones. La inferencia es la accin y efecto de Asimismo en la lgica tradicional se admitan ciertas ope-
inferir, en otras palabras, deducir algo, sacar una conse-
raciones lgicas de transformacin de un juicio man-
cuencia de otra cosa, conducir a un nuevo resultado. La teniendo sus condiciones de verdad. Tales operaciones
inferencia nace a partir de una evaluacin mental entre
eran:
distintas expresiones, que al ser relacionadas como abs-
tracciones, permiten trazar una implicacin lgica.
Conversin lgica
En lgica formal, las inferencias son expresiones bien
Obversin lgica
formadas (EBF) de un lenguaje formal que, al ser rela-
cionadas, permiten trazar una lnea lgica de condicin Contraposicin lgica
o implicacin lgica entre las diferentes EBF. De esta
forma, parte de lo verdadero a lo falso: posible (como Inversin lgica
hiptesis) o conocida (como argumento) de alguna o al-
gunas de ellas, puede deducirse la verdad o falsedad de La lgica tradicional aristotlica no resuelve del todo bien
alguna o algunas de las otras EBF. los problemas que surgen de los juicios negativos por lo
que este tipo de operaciones lgicas se prestan a argu-
Surge as lo que conocemos como postulado[1] o mentaciones que producen resultados aberrantes.[8]
transformada de una expresin original conforme a reglas
previamente establecidas,[2] que puede enmarcarse en La lgica actual formaliza los enunciados lingsticos
uno o varios contextos referenciales diversos,[3] obtenin- bien como relacin de clases o como funciones proposi-
[9]
dose en cada uno de ellos un signicado como valor de cionales o relaciones. Hoy se exige el rigor formal de la
verdad de equivalente.[4][5][6] aplicacin de una regla de inferencia.[10] La idea de infe-
rencia inmediata no es ms que la aplicacin de una regla
La inferencia es la operacin lgica utilizada en los mo- modo implcito. La formalidad lgica, sin embargo, exige
tores de inferencia de los sistemas expertos. que sea explcita la regla que permite la transformacin
de una EBF.

1 Inferencia lgica
1.2 En la lgica actual
1.1 En la lgica tradicional Se llama inferencia lgica a la aplicacin de una regla
de transformacin que permite transformar una frmu-
En la lgica tradicional, llamada aristotlica, la forma la o expresin bien formada (EBF) de un sistema for-
esencial de inferencia es una forma de razonamiento de- mal en otra EBF como teorema del mismo sistema.
ductivo. No obstante se reconocan algunas inferencias Ambas expresiones se relacionan mediante una relacin
directas o inmediatas. 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.
1.1.1 Inferencias inmediatas
(p q) (r s) (t v) podra ser transformada en:
La lgica aristotlica consideraba la posibilidad de infe- ABC
rencias inmediatas: aquellas que pueden obtenerse direc-
donde A = (p q) ; B = (r s) y C = (t v) .
tamente a partir de la relacin que establece un juicio[7]
respecto a los trminos, sujeto y predicado, que le constitu- Elaborando la tabla de valores de verdad de dicha equi-
yen, en funcin de la cualidad (armativo-negativo) y la valencia contenida en la funcin del bicondicional el re-
cantidad (universal-particular) del mismo. sultado ha de ser una tautologa.
Aristteles estudi con detalle ciertas operaciones que
permitan tales inferencias inmediatas o directas. Para 1.2.1 Esquema de inferencia
ello elabor el llamado cuadro de oposicin de los juicios,
en el que dadas las relaciones que cada juicio aristotli- Se reere a la estructura lgico-formal que permite ob-
co, A,E,I,O, lleva implcitas se pueden establecer ciertas tener una expresin bien formada (EBF) desligada, libre,

1
2 4 INFERENCIA ESTADSTICA (ADMINISTRACIN Y GESTIN)

como teorema de un sistema formal previamente denido carcter, excede del caso de este artculo referido a la in-
por la regla de separacin estrictas de formacin y trans- ferencia (vase inductivismo).
formacin de frmulas.
Dicha estructura es el fundamento de un argumento
lgico-formal mediante la aplicacin de la regla de Susti-
tucin de frmulas.
3 Tipos de inferencia
(A B C... N ) D donde (A B C... N )
representa cada variable la premisa de un argumento. Co- Inferir por lgica clsica: Inferencia que slo admite
nocida la verdad de cada una, como premisas de un argu- dos valores: verdadero o falso.
mento, su producto verdadero exige la verdad de todas y
cada una de dichas expresiones; lo que permite establecer Inferencia trivaluada: Una inferencia de este estilo
D como expresin libre y conclusin del argumento. aivy da como posibles resultados tres valores.

Inferencia multivaluada: Una inferencia de este es-

2 Inferencia por evidencias tilo da como posibles resultados mltiples valores.

Evidencia inductiva: Surge de la constatacin de Inferencia difusa: Una inferencia de este estilo des-
una misma ocurrencia en una serie de casos. Obser- cribe todos los casos multivaluados con exactitud y
vando que muchos lobos tienen la cola larga, inero precisin.
que los lobos tienen la cola larga, como una gene-
ralizacin. Inferencia probabilstica en el sentido de una induc-
cin que permite establecer una verdad con mayor
Evidencia enumerativa o induccin completa: ndice de probabilidad que las dems.
Cuando se enumeran todos los casos la inferencia se
convierte en una verdad demostrada, como induc-
cin completa. Tal es el caso de que tras contar a Si bien, cuando el universo posible es de innitas ocurren-
todos y cada uno se pueda inferir: los alumnos de cias la probabilidad siempre ser 0. Por lo que algunos
esta clase son 22. establecen para el estatuto de la ciencia el falsacionismo,
como mtodo cientco y contrastacin de teoras y las
Aristteles y con l la escolstica tradicional admita una lgicas humanas.
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 cla-
4 Inferencia estadstica (adminis-
se, como concepto. De esta forma tal induccin vena a tracin y gestin)
ser una forma de silogismo, en la relacin de conceptos
entre s. As, en la medida en que guilas, cigeas, go-
Cuando la descripcin se aplica a condiciones de certe-
rriones, etc., vuelan, y todas y cada una de las clases de
za, como en las tablas del mercado de valores en que se
tales animales son aves, se puede concluir que la cone-
muestra un censo de los valores negociados, se convierte
xin entre aves y volar es esencial: todas las aves
en una entidad metodolgica. Sin embargo, en la mayora
vuelan. de los problemas estadsticos actuales se emplea ms una
Argumentos as provocaron incidentes tan inslitos muestra que un censo, y la descripcin se ha convertido
en la historia de la ciencia como la aparicin del simplemente en una preparacin de la siguiente rama de
ornitorrinco.[11] la estadstica: inferencia.
Por otro lado, el conocimiento de la experiencia siempre Cuando hacemos uso de la inferencia, llegamos a una
singular, cada caso nico e irrepetible, hace problemti- conclusin o formulamos una armacin bajo ciertas
ca la posibilidad de llegar al conocimiento de conceptos condiciones de incertidumbre. La incertidumbre puede
universales, esenciales y plantea el problema del esta- ser el resultado de las condiciones aleatorias, implcitas
tus epistemolgico de la ciencia como conocimiento de en el trabajo con muestras, o del desconocimiento de las
conceptos y leyes universales. leyes aleatorias precisas que son aplicables a una situa-
Al ponerse en cuestin el mundo de las formas esencia- cin especca. No obstante en la teora de la conclusin,
les y la propia entidad conceptual entendida como clase la incertidumbre sobre la exactitud de la armacin que
lgica, y la posibilidad de la no existencia de individuos se ha hecho o de la conclusin que se ha sacado se expone
dentro de una clase bien denida, la inferencia inductiva simplemente en trminos de probabilidad de que ocurra.
sobre un universo no conocido en todas sus ocurrencias La inferencia trata de dos tipos principales de proble-
produce el llamado problema de la induccin que, por su mas:la estimacin y la contrastacin de hiptesis
7.1 Bibliografa 3

5 Inferencia aplicada al conoci- [8] Por ejemplo la existencia de los ngeles o demonios par-
tiendo del juicio: Todos los hombres son mortales: Todos
miento del comportamiento hu- los hombres son mortales Ningn no-mortal es hombre
mano (por conversin); ningn no-mortal es hombre Todo
no-mortal es no-hombre (por obversin); Todo no-mortal
es no-hombre Algn no-hombre es no-mortal (conver-
Se puede inferir todo lo que sea inteligible. Dentro del sin per accidens)
campo de la inteligencia humana, encontramos campos
muy interesantes, tal como la inteligencia emocional. Da- [9] Vase Clculo lgico
do que el cerebro humano est sujeto a leyes fsicas, exis- [10] Es decir la aplicacin de una ley lgica o tautologa que
te la posibilidad de que el comportamiento humano sea garantice la verdad de la transformacin como una verdad
potencialmente previsible, con un grado de incertidum- equivalente que se muestra en todos los posibles casos de
bre, al mismo grado que el resto de ciencias lo pudiera la tabla de verdad de las dos proposiciones relacionadas
ser, pues todas se basan en la inteligencia del hombre. con un coimplicador
La capacidad de inferir el sentimiento humano se llama
empata; cada sentimiento motiva a actuar de cierta ma- [11] U. Eco. Kant y el ornitorrincio
nera. La capacidad de predecir como va a actuar cierta
persona roza lo esotrico, pero nada ms lejos de la reali-
7.1 Bibliografa
dad, se pueden generar modelos de comportamientos hu-
manos y el grado de exactitud de la prediccin depender STEBBING, L.S. (1930). A Modern Introduction to
de lo emptico que sea la persona (dado que la nica m- logic. Londres.
quina capaz de reproducir una mente, hasta la fecha, es
un cerebro humano). [cita requerida] HARMAN, G. (1965). The Inference to the Best Ex-
planation. Philosophical Rewiew.
ECO.U. (1999). Kant y el ornitorrinco. Barcelona.
6 Vase tambin Editorial Lumen. 84-264-1265-3.

Deduccin Carl Heyel, ed. (1984). Gestin y Administracin de

Empresas. Barcelona.
Clculo

Validez lgica

Motor de inferencia

Inferencia bayesiana

Inferencia estadstica

Razonamiento diagramtico

7 Referencias
[1] posibilidad o hiptesis

[2] producto o conjuncin de todos los elementos abstractos

que intervienen, y aplicacin de reglas de transformacin,
como un clculo o argumento

[3] Modelos tericos

[4] Chomsky, Noam - The Psychology Of Language And

Thought

[5] Noam Chomsky - Logical Syntax And Semantics, Their

Linguistic Relevance

[6] Noam Chomsky - Syntactic Structures ISBN 3-11-

017279-8

[7] Vase proposicin (lgica):proposicin, enunciado y

creencia
4 8 ORIGEN DEL TEXTO Y LAS IMGENES, COLABORADORES Y LICENCIAS

8 Origen del texto y las imgenes, colaboradores y licencias

8.1 Texto
Inferencia Fuente: https://es.wikipedia.org/wiki/Inferencia?oldid=94607516 Colaboradores: Oblongo, Dodo, Ejmeza, Mariano Deheza,
Jecanre, Richy, Soulreaper, Airunp, Taichi, Magister Mathematicae, RobotQuistnix, Superzerocool, Unicacion, Yrbot, BOTijo, YurikBot,
Gaijin, Demetrio~eswiki, Baneld, Gtz, Filipo, ZEN ic, BOTpolicia, CEM-bot, Alexav8, Davius, Julian Mendez, P.o.l.o., Isha, Wybot,
Humberto, Netito777, MONIMINO, AlnoktaBOT, VolkovBot, Technopat, Galandil, ElVaka, BlackBeast, Molinaroca, Seraphita~eswiki,
Muro Bot, El Pantera, SieBot, PaintBot, Kimbosirk, Javierito92, HUB, Esancaro, Vladimir Vargas, Kikobot, Estirabot, Eduardosalg, Leon-
polanco, Alejandrocaro35, Furti, BetoCG, Justedgard, Camilo, UA31, Chatran20, AVBOT, LucienBOT, Diegusjaimes, Arjuno3, Madal-
berta, Andreasmperu, Afrachel, SuperBraulio13, Jkbw, Dreitmen, Ricardogpn, Macucal, Botarel, Jerowiki, PatruBOT, Humbefa, Savh, Ob-
goodies, MercurioMT, Emiduronte, MadriCR, Antonorsi, MerlIwBot, KLBot2, StockBot, Acratta, Johnbot, Elvisor, Helmy oved, Emferr,
Balles2601, Hans Topo1993, Jmaster888, Jarould, Bruno Rene Vargas, TuCove, Lectorina, Juandete, Ks-M9, Hernn Lagos y Annimos:
180

8.2 Imgenes

8.3 Licencia del contenido

Creative Commons Attribution-Share Alike 3.0