DocumentCode
2390078
Title
Mechanizing skeptical abduction and its applications to artificial intelligence
Author
Marquis, Pierre
Author_Institution
INRIA-Lorraine, Vandoeuvre-les-Nancy, France
fYear
1991
fDate
10-13 Nov 1991
Firstpage
300
Lastpage
307
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Tools for Artificial Intelligence, 1991. TAI '91., Third International Conference on
Conference_Location
San Jose, CA
Print_ISBN
0-8186-2300-4
Type
conf
DOI
10.1109/TAI.1991.167108
Filename
167108
Link To Document