Inferencia en IA

De algunos hechos, se pueden deducir otros hechos.
Para algunos propósitos la deducción lógica matemática es adecuada, pero nuevos métodos de inferencia se han agregado a la lógica desde los años 70.
El tipo más simple de razonamiento, es el razonamiento del defecto por el cual una se deduce una conclusión por defecto, pero la conclusión puede ser cancelada si hay evidencia por el contrario.
P…

De algunos hechos, se pueden deducir otros hechos.
Para algunos propósitos la deducción lógica matemática es adecuada, pero nuevos métodos de inferencia se han agregado a la lógica desde los años 70.
El tipo más simple de razonamiento, es el razonamiento del defecto por el cual una se deduce una conclusión por defecto, pero la conclusión puede ser cancelada si hay evidencia por el contrario.
Por ejemplo, cuando oímos hablar de un ave, deducimos que puede volar, pero esta conclusión puede ser cancelada si notamos que lo que oímos es un pingüino.
El razonamiento lógico ordinario deduce una conclusión en base al seguimiento de un conjunto de premisas.
La posibilidad que una conclusión pueda ser retirada, constituye un nuevo método de inferencia en el razonamiento tradicional.

Voy ha salir a la calle y esta nublado.