Inferència: diferència entre les revisions

m
estandarditzant codi encapçalaments i llistes
m (Plantilles i correccions de format)
m (estandarditzant codi encapçalaments i llistes)
* La [[Intel·ligència artificial]] desenvolupa sistemes d'inferència automàtica.
 
== Validesa de les inferències deductives i inductives ==
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.
 
== Un exemple d'inferència deductiva: els sil·logismes clàssics ==
[[Aristòtil]] introduí un grapat de [[sil·logisme|sil·logismes]], que eren inferències formades per tres proposicions: dues premisses i una conclusió. Aquests n'és el més famós:
 
Una inferència incorrecta és una [[fal·làcia]]. Els lògics n'han recopilat una llarga llista, tot mostrant llur incorrecció, mentre que el psicòlegs cognitius expliquen com s'usen en el raonament humà quotidià.
 
== Inferència deductiva automàtica ==
Els sistemes d'[[Intel·ligència Artificial]] (IA) que permeten fer inferència deductiva de manera automàtica foren un tema de recerca molt popular des de l'inici dels treballs en IA i fructificaren en aplicacions industrials conegudes com a [[sistemes experts]].
 
2.357.342

modificacions