In this article, I review Peirce's abduction in the context of Artificial Intelligence. First, I connect abduction from first-order theories with nonmonotonic reasoning. In particular, I consider relationships between abduction, default logic, and circumscription. Then, based on a first-order characterization of abduction, I show a design of abductive procedures that utilize automated deduction. With abductive procedures, proof procedures for nonmonotonic reasoning are also obtained from the relationship between abduction and nonmonotonic reasoning. © Springer-Verlag Berlin Heidelberg 2002.
CITATION STYLE
Inoue, K. (2002). Automated abduction. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2408(PART2), 311–341. https://doi.org/10.1007/3-540-45632-5_13
Mendeley helps you to discover research relevant for your work.