Diagnostic reasoning with A-Prolog
Diagnostic reasoning with A-Prolog
复制标题
使用 A-Prolog 进行诊断推理
DOI：
10.1017/s1471068403001807
复制
发表时间：
2003
影响因子：
1.4
通讯作者：
M. Gelfond
中科院分区：
文献类型：
--
作者：
M. Balduccini;M. Gelfond
在本文中，我们提出了一种软件代理的体系结构，它操作物理设备，并能够进行观察以及测试和修复设备的组件。我们给出了基于动作语言理论的症状、候选诊断和诊断概念的简化定义。这些定义允许人们简单地描述代理的行为，其中许多代理的任务被归结为计算稳定的逻辑程序模型。
In this paper, we suggest an architecture for a software agent which operates a physical device and is capable of making observations and of testing and repairing the device's components. We present simplified definitions of the notions of symptom, candidate diagnosis, and diagnosis which are based on the theory of action language ${\cal AL}$. The definitions allow one to give a simple account of the agent's behavior in which many of the agent's tasks are reduced to computing stable models of logic programs.