Diagnostic reasoning with A-Prolog
作者： MARCELLO BALDUCCINI , MICHAEL GELFOND
DOI: 10.1017/S1471068403001807
关键词: Theoretical computer science 、 Intelligent agent 、 Diagnostic reasoning 、 Computer science 、 Agent architecture 、 Answer set programming 、 Simple (abstract algebra) 、 Software agent 、 Prolog
摘要: In this paper, we suggest an architecture for a software agent which operates physical device and is capable of making observations testing repairing the device's components. We present simplified definitions notions symptom, candidate diagnosis, diagnosis are based on theory action language ${\cal AL}$. The allow one to give simple account agent's behavior in many tasks reduced computing stable models logic programs.
harvard.edu
sci-hub.se 参考文章(29)
Sheila A. McIlraith, Representing actions and state constraints in model-based diagnosis national conference on artificial intelligence. pp. 43- 49 ,(1997)
Cristinel Mateis, Thomas Eiter, Francesco Scarcello, Simona Citrigno, Georg Gottlob, Gerald Pfeifer, Wolfgang Faber, Christoph Koch, Nicola Leone, The dlv System: Model Generator and Application Frontends ,(1997)
Hudson Turner, Splitting a default theory national conference on artificial intelligence. pp. 645- 651 ,(1996)
Norman McCain, Hudson Turner, A causal theory of ramifications and qualifications international joint conference on artificial intelligence. pp. 1978- 1984 ,(1995)
Jürgen Dix, Stefan Brass, A Characterization of the Stable Semantics by Partial Evaluation. WLP. pp. 81- 84 ,(1994)
Norman McCain, Hudson Turner, Causal theories of action and change national conference on artificial intelligence. pp. 460- 465 ,(1997)
Chitta Baral, Sheila A. McIlraith, Tran Cao Son, Formulating diagnostic problem solving using an action language with narratives and sensing principles of knowledge representation and reasoning. pp. 311- 322 ,(2000)
Chitta Baral, Michael Gelfond, Reasoning agents in dynamic domains Logic-based artificial intelligence. pp. 257- 279 ,(2000) , 10.1007/978-1-4615-1567-8_12
Ilkka Niemelä, Patrik Simons, Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP international conference on logic programming. pp. 421- 430 ,(1997)
Robert Kowalski, Fariba Sadri, From logic programming towards multi-agent systems Annals of Mathematics and Artificial Intelligence. ,vol. 25, pp. 391- 419 ,(1999) , 10.1023/A:1018934223383