Inferencia lógica
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”.
Hay cuatro tipos de inferencia lógica:
-Inferencia trivaluada: Una inferencia de este estilo da como posibles resultados tres valores.
Inferencia multivaluada: Una inferencia de este estilo da como posibles resultados múltiples valores.
-Inferencia difusa: Una inferencia de este estilo describe todos los casos multivaluada 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.
-Inferencia aplicada al conocimiento del comportamiento humano