Title :
Mechanizing skeptical abduction and its applications to artificial intelligence
Author_Institution :
INRIA-Lorraine, Vandoeuvre-les-Nancy, France
Abstract :
Abduction is the process of generating the best explanation as to why a fact is observed given what is already known. A real problem in this area is the selective generation of hypotheses that have some reasonable prospect of being valid. The author proposes the notion of skeptical abduction as a model to face this problem. After providing a definition of abductive reasoning, skeptical abduction and specific abduction are compared in a logical framework. The mechanism of abductive reasoning in propositional logic is investigated and its generalization to first-order logic is discussed
Keywords :
artificial intelligence; cognitive systems; inference mechanisms; learning systems; abductive reasoning; artificial intelligence; first-order logic; propositional logic; selective generation of hypotheses; skeptical abduction mechanisation; Artificial intelligence; Fingers; Learning systems; Logic; Machine learning; Machinery;
Conference_Titel :
Tools for Artificial Intelligence, 1991. TAI '91., Third International Conference on
Conference_Location :
San Jose, CA
Print_ISBN :
0-8186-2300-4
DOI :
10.1109/TAI.1991.167108
