Respuestas
Una inferencia es una evaluación que realiza la mente entre proposiciones. La inferencia es la acción y efecto de inferir, en otras palabras, deducir algo, sacar una consecuencia de otra cosa, conducir a un nuevo resultado. La inferencia nace a partir de una evaluación mental entre distintas expresiones, que al ser relacionadas como abstracciones, permiten trazar una implicación lógica.
En lógica formal, las inferencias son expresiones bien formadas (EBF) de un lenguaje formal que, al ser relacionadas, permiten trazar una línea lógica de condición o implicación lógica entre las diferentes EBF. De esta forma, parte de lo verdadero a lo falso: posible (como hipótesis) 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 postulado o transformada de una expresión original conforme a reglas previamente establecidas, que puede enmarcarse en uno o varios contextos referenciales diversos, obteniéndose en cada uno de ellos un significado como valor de verdad de equivalente. La inferencia es la operación lógica utilizada en los motores de inferencia de los sistemas expertos.
TIPOS DE INFERENCIA:
1. Inferir por lógica clásica: Inferencia que sólo admite dos valores: verdadero o falso.
2. Inferencia trivaluada: Una inferencia de este estilo da como posibles resultados tres valores.
3. Inferencia multivaluada: Una inferencia de este estilo da como posibles resultados múltiples valores.
4. Inferencia difusa: Una inferencia de este estilo describe todos los casos multivaluados con exactitud y precisión.
5. Inferencia probabilística: en el sentido de una inducción que permite establecer una verdad con mayor índice de probabilidad que las demás.
NOTA:
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 y las lógicas humanas.
Una inferencia es una conclusión u opinión a la que se llega tomando en cuenta evidencias o hechos conocidos. En lógica una inferencia se define como el proceso de derivar consecuencias lógicas de las premisas asumidas.
tipos
deducción
induccion
abducción
este el link
lifeder.com https://www.lifeder.com/inferencia/