Inferencia
De Wikipedia, la enciclopedia libre
Una inferencia es una evaluación que realiza la mente entre conceptos que, al interactuar, muestran sus propiedades de forma discreta, necesitando utilizar la abstracción para lograr entender las unidades que componen el problema, creando un punto axiomático o circunstancial, que nos permitirá trazar una línea lógica de causa-efecto, entre los diferentes puntos inferidos en la resolución del problema. Una vez resuelto el problema, nace lo que conocemos como postulado. Utilizada a menudo en los motores de inferencia de los Sistemas Expertos.
Tabla de contenidos |
[editar] Inferencias inmediatas
Las inferencias inmediatas son aquellas que tienen dos juicios, una premisa e inmediatamente de esa premisa se saca la conclusión.
Hay 3 tipos de inferencia inmediata:
- Oposición: Por oposición se pasa de la veracidad a la falsedad y de la falsedad a la veracidad.
- Subalteración: Por subalteración se pasa de lo universal a lo particular “Lo que vale para el todo vale para cada una de sus partes”.
- Conversión: Por conversión se cambia el sujeto de la premisa por el predicado de la conclusión y el predicado de la premisa por el sujeto de la conclusión (P: Los feos son marcianos, C:los marcianos son feos)
[editar] Inferencia lógica
[editar] En la lógica tradicional
Se llamaba inferencia a la figura lógica que permite obtener una conclusión directamente, a partir de una única premisa.
Teniendo en cuenta que el esquema fundamental de esa lógica era el silogismo, la inferencia aparecía como un caso especial. Así del conocimiento de que ?Está lloviendo?, se infiere ?el suelo está mojado?.
Ademas podemos decir que, inferir es interpretar el contenido de un texto con solo leer el titulo o palabra clave de este.
[editar] =
Se llama inferencia lógica a la aplicación de una regla de transformación que permite transformar una fórm
podría ser transformada en:
donde 
; 
y 
.
Elaborando la tabla de valores de verdad de dicha equivalencia contenida en la función del coimplicador el resultado ha de resultar una tautología.
[editar] Esquema de inferencia
Se refiere a la estructura lógico-formal que permite obtener una expresión bien formada (EBF) desligada, libre, como teorema de un sistema formal previamente definido por la regla de separación estrictas de formación y transformación de fórmulas.
Dicha estructura es el fundamento de un argumento lógico-formal mediante la aplicación de la regla de Sustitución de fórmulas.
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 N como expresión libre y conclusión del argumento.
[editar] Clasificación por evidencias
- Evidencia inductiva: Surge de la constatación 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 generalización.
- Evidencia enumerativa: Cuando se enumeran los casos es completa la afirmación se convierte en una verdad demostrada, como ?inducción completa?. Tal es el caso de que tras contar a todos y cada uno ?los alumnos de esta clase son 22?.
Aristóteles y con él la escolástica tradicional admitía una inducción perfecta, siempre y cuando la relación entre los individuos y la clase, como concepto, sea aprehendida como conexión esencial necesaria de un proceso de abstracción; o bien entre clases como conceptos incluidas en otra clase, como concepto. De esta forma tal inducción venía a ser una forma de silogismo, en la relación de conceptos entre sí. Así, en la medida en que, águilas, cigüeñas, gorriones, …. etc. vuelan, y todas y cada una de las clases de tales animales son aves, se puede concluir que la conexión aves y volar es esencial, “Todas las aves vuelan”.
Argumentos así provocaron incidentes tan insólitos en la historia de la ciencia como la aparición del ornitorrinco.[1]
Por otro lado el conocimiento de la experiencia siempre singular, cada caso único e irrepetible, hace problemática la posibilidad de llegar al conocimiento de conceptos universales, esenciales; y plantea el problema del status epistemológico de la ciencia como conocimiento de conceptos y leyes universales.
Al ponerse en cuestión el mundo de las formas esenciales, y la propia entidad conceptual entendida como clase lógica, 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 inducción, que por su carácter excede del caso de este artículo referido a la inferencia.(Véase inductivismo).
[editar] Clasificación por tipos de lógicas
- Inferir por lógica clásica: Una Inferencia de este estilo sólo admite dos valores: verdadero o falso. Por ejemplo: Si llueve el suelo está mojado, si no llueve el suelo está seco. Como se hace evidente en este tipo de inferencias, el margen de error es muy grande, pues puede que no llueva y el suelo esté humedo (un géiser ha hecho acto de aparición, las cápas freáticas estén a rebosar, etc.)
[Nota: En este caso el margen de error no es grande, es uno de los pocos casos que es 100% seguro, lo que pasa es que está mal utilizado, si vemos la tabla de la condicional, 
, que está más abajo, veremos que si no llueve la “A” es falsa, por lo que la “B” puede ser verdadera o falsa; por lo que debido a la lógica no podemos saber si el piso está mojado o no. Sin embargo si llueve o sea si “A” es verdadera si estamos seguros que el piso está mojado o si el piso no está mojados estamos seguros que no llueve. Estos dos casos se llaman Modus Ponendo Pones y Modus Tollendo Tollens, tienen más de 2000 años y son 100% seguros, también se usan en programación lógica y una versión modificada (extensión del del Silogismo Disyuntivo) llamada [+Resolución+] es la base del lenguaje Prolog.]
- Inferencia trivaluada: Una inferencia de este estilo da como posibles resultados tres valores.
- Inferencia multivaluada: Una inferencia de este estilo da como posibles resultados multiples valores.
- Inferencia difusa: Una inferencia de este estilo describe todos los casos multivaluados con exactitud y precisión.
- Inferencia probabilística en el sentido de una inducción que permite establecer una verdad con mayor índice de probabilidad que las demás.
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 método científico y contrastación de teorías.chien s u8s madre
[editar] Inferencia (Estadistica, administración y gestión)
Cuando la descripción 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 metodológica. Sin embargo, en la mayoria de los problemas estadísticos actuales se emplea más una muestra que un censo, y la descripción se ha convertido simplemente en una preparación de la siguiente rama de la estadística: inferencia.
Cuando hacemos uso de la inferencia, llegamos a una conclusión o formulamos una afirmación bajo ciertas condiciones de incertidumbre. La incertidumbre puede ser el resultado de las condiciones aleatorias, implícitas en el trabajo con muestras, o del desconocimiento de las leyes aleatorias precisas que son aplicables a una situación específica. No obstante en la teoría de la conclusión, la incertidumbre sobre la exactitud de la afirmación que se ha hecho o de la conclusión que se ha sacado se expone simplemente en terminos de probabilidad de que ocurra.
La inferencia trata de dos tipos principales de problemas:la estimación y la contrastación de hipótesis
[editar] 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 físicas, 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 empatía; cada sentimiento motiva a actuar de cierta manera. La capacidad de predecir como va a actuar cierta persona roza lo esotérico, pero nada más lejos de la realidad, se pueden generar modelos de comportamientos humanos y el grado de exactitud de la predicción dependerá de lo empático que sea la persona (Dado que la única máquina capaz de reproducir una mente, hasta la fecha, es un cerebro humano).
[editar] Véase también
[editar] Referencias
- ? U. Eco. Kant y el ornitorrincio
- STEBBING, L.S. (1930), A Modern Introduction to logic, LONDRES.
- HARMAN, G. (1965), The Inference to the Best Explanation, Philosophical Rewiew.
- ECO.U. (1999), Kant y el ornitorrinco, Barcelona. Editorial Lumen. 84-264-1265-3.
- Carl Heyel, ed. (1984), Gestión y Administración de Empresas, Barcelona..