Inferència: diferència entre les revisions

* La [[Intel·ligència artificial]] desenvolupa sistemes d'inferència automàtica.

 

 

En el [[raonament inductiu]] hom infereix una conclusió (que es pretén plausible) a partir de múltiples observacions empíriques. La conclusió, també empírica, podria ser vertadera o falsa, i típicament serà objecte d'un procés de [[verificació]] o de [[falsació]] a partir de noves observacions. En canvi, la inferència deductiva no s'ha de restringir a les proposicions empíriques. Tampoc no necessita ni verificació ni falsació, ja que en una inferència deductiva lògicament correcte, si les premisses són vertaderes, aleshores necessàriament la conclusió també ho és. Això es deu al fet que la inferència deductiva és purament formal.