Diagnostic reasoning with A-Prolog

被引：59

作者：

Balduccini, M ^{[1
]}

Gelfond, M ^{[1
]}

机构：

[1] Texas Tech Univ, Dept Comp Sci, Lubbock, TX 79409 USA

来源：

THEORY AND PRACTICE OF LOGIC PROGRAMMING | 2003年 / 3卷

关键词：

answer set programming; diagnostic reasoning; intelligent agents;

D O I：

10.1017/S1471068403001807

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

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 A L. 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.

引用

页码：425 / 461

页数：37

共 35 条

[1]

[Anonymous], 1978, LOGIC DATA BASES

[2]

Baral C, 2000, SPRINGER INT SER ENG, V597, P257

[3]

BARAL C, 2000, P 7 INT C PRINC KNOW, P311

[4]

BARAL C, 1994, J LOGIC PROGRAM, V31, P201

[5]

BRASS S, 1994, P 10 WORKSH LOG PROG

[6]

Buccafurri F, 1997, LECT NOTES ARTIF INT, V1265, P2

[7]

Cholewinski P, 1996, MOR KAUF R, P518

[8]

Citrigno Simona, 1997, P 12 WORKSHOP LOGIC, P128

[9]

Gelfond M., 1991, New Generation Computing, V9, P365, DOI 10.1007/BF03037169

[10] Reasoning with prioritized defaults [J].

Gelfond, M ;

Son, TC .

LOGIC PROGRAMMING AND KNOWLEDGE REPRESENTATION, 1998, 1471 :164-223

← 1 2 3 4 →