Automated Abduction
Automated Abduction
复制标题
DOI：
10.1007/3-540-45632-5_13
复制
发表时间：
2002
期刊：
影响因子：
--
通讯作者：
Katsumi Inoue
中科院分区：
文献类型：
--
作者：
Katsumi Inoue
在这篇文章中，我回顾皮尔斯的绑架在人工智能的背景下。首先，我连接溯因从一阶理论与非单调推理。特别是，我认为绑架，默认逻辑和界限之间的关系。然后，基于一阶特征的绑架，我展示了一个设计的绑架程序，利用自动演绎。利用溯因过程，从溯因过程与非单调推理的关系出发，得到了非单调推理的证明过程。
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.