542
modificacions
cap resum d'edició
Cap resum de modificació |
Cap resum de modificació |
||
|
Fixem-nos que en aquest cas les dues premisses són falses, mentre que la conclusió és vertadera. Això no treu que la inferència sigui deductivament vàlida, car segueix el mateix esquema formal vàlid que hem analitzat. L'única situació que no es pot produir en una inferència vàlida és que les premisses siguin vertaderes i la conclusió sigui falsa.
Una inferència incorrecta és
==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]].
La tasca d'un sistema d'inferència consisteix a ampliar un base de coneixement de manera automàtica. La base de coneixement és un conjunt de proposicions que representen certs aspectes de la realitat amb els quals vol tractar l'aplicació. S'han desenvolupat vàries tècniques d'inferència automàtica.
[[ar:استدلال]]
| |||