Diagnostic reasoning with A-Prolog

Theory and Practice of Logic Programming

Volumn 3, Issue 4-5, 2003, Pages 425-461

  Balduccini, Marcello ^a   Gelfond, Michael ^a  

^a Texas Tech University   (United States)

Author keywords

Answer set programming; Diagnostic reasoning; Intelligent agents

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER SOFTWARE; INTELLIGENT AGENTS; KNOWLEDGE REPRESENTATION; PROGRAM DIAGNOSTICS; SEMANTICS; SET THEORY;

ANSWER SET PROGRAMMING; DIAGNOSTIC REASONING;

LOGIC PROGRAMMING;

EID: 0345393819     PISSN: 14710684     EISSN: None     Source Type: Journal    
DOI: 10.1017/S1471068403001807     Document Type: Article

References (35)

1. BARAL, C. AND GELFOND, M. 2000. Reasoning agents in dynamic domains. In: Minker, J. (ed.), Logic-Based Artificial Intelligence, pp. 257-279. Kluwer Academic.
2. BARAL, C., GELFOND, M. AND PROVETTI, A. 1994. Reasoning about actions: laws, observations, and hypotheses. Journal of Logic Programming 31, 201-244.
3. BARAL, C., MCILRAITH, S. AND SON, T. 2000. Formulating diagnostic problem solving using an action language with narratives and sensing. Proceedings KR Conference, pp. 311-322.
4. BRASS, S. AND DIX, J. 1994. A Characterization of the Stable Semantics by Partial Evaluation. Proceedings 10th Workshop on Logic Programming, Zuerich, Switzerland.
5. BUCCAFURRI, F., LEONE, N. AND RULLO, P. 1997. Strong and Weak Constraints in Disjunctive Datalog In: Dix, F. and Nerode (eds.), Proceedings 4th International Conference on Logic Programming and Non-Monotonice Reasoning (LPNMR'97): LNAI 1265, pp. 2-17. Dagstuhl, Germany. Springer-Verlag.
6. CITRIGNO, S., EITER, T., FABER, W., GOTTLOB, G., KOCH, C., LEONE, N., MATEIS, C., PFEIFER, G. AND SCARCELLO, F. 1997. The dlv system: Model generator and application frontends. Proceedings 12th Workshop on Logic Programming, pp. 128-137.
7. CHOLEWINSKI, P., MAREK, W. AND TRUSZCZYNSKI, M. 1996. Default Reasoning System DeReS. International Conference on Principles of Knowledge Representation and Reasoning, pp. 518-528. Morgan Kauffman.
8. GELFOND, M. AND LIFSCHITZ, V. 1988. The stable model semantics for logic programming. Logic Programming: Proceedings Fifth International Conference and Symposium, pp. 1070-1080.
9. GELFOND, M. AND LIFSCHITZ, V. 1991. Classical negation in logic programs and disjunctive databases. New Generation Computing, 365-387.
10. GELFOND, M. AND LIFSCHITZ, V. 1998. Action languages. Electronic Transactions on AI 3, (16).
11. GELFOND, M. AND SON, T. C. 1998. Reasoning with Prioritized Defaults. In: Dix, J., Pereira, L. M. and Przymusinski, T. (eds.), Lecture Notes in Artificial Intelligence 1471, pp. 164-224. Springer-Verlag.
12. KOWALSKI, R. AND SADRI, F. 1999. From logic programming towards multi-agent systems. Annals of Mathematics and Artificial Intelligence 25, 391-419.
13. LIFSCHITZ, V. 1997. On the logic of causal explanation. Artificial Intelligence 96, 451-465.
14. LIFSCHITZ, V. 1999. Action languages, Answer Sets, and Planning. The Logic Programming Paradigm: a 25-Year Perspective, pp. 357-373. Springer-Verlag.
15. LIFSCHITZ, V. AND TURNER, H. 1994. Splitting a logic program. In: Van Hentenryck, P. (ed.), Proceedings 11th International Conference on Logic Programming, pp. 23-38.
16. MAREK, W., AND TRUSZCZYNSKI, M. 1999. Stable models and an alternative logic paradigm. The Logic Programming Paradigm: a 25-Year Perspective, pp. 375-398. Springer-Verlag.
17. MCCAIN, T. AND TURNER, H. 1995. A causal theory of ramifications and qualifications. Artificial Intelligence 32, 57-95.
18. MCCAIN, N. AND TURNER, H. 1997. Causal theories of action and change. Proceedings AAAI, 460-465.
19. MCCARTHY, J. AND HAYES, P. 1969. Some philosophical problems from the standpoint of artificial intelligence. In: Meltzer, B. and Michie, D. (eds.), Machine Intelligence 4, pp. 463-502. Edinburgh University Press.
20. MCILRAITH, T. 1997. Representing actions and state constraints in model-based diagnosis. Proceedings AAAI97, 43-49.
21. MCILRAITH, T. 1998. Explanatory diagnosis conjecturing actions to explain observations. Proceedings KR Conference, pp. 167-177.
22. MCILRAITH, S. AND SCHERL, R. 2000. What sensing tells us: towards a formal theory of testing for dynamical systems. Proceedings 17th National Conference on Artificial Intelligence (AAAI'2000), pp. 483-490.
23. NIEMELA, I. AND SIMONS, P. 1997. SMODELS - an implementation of the well-founded and stable model semantics for normal logic programs. Proceedings LPNMR'97: Lecture Notes in Computer Science 1265, pp. 420-429. Springer-Verlag.
24. NIEMBLA, I. Logic programs with stable model semantics as a constraint programming paradigm. Annals of Mathematics and Artificial Intelligence 25, (3-4), 241-273.
25. OTERO, R. AND CABALAR, P. 1999. Pertinence and Causality Working Notes 3rd Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC), pp. 111-119. Stockholm, Sweden.
26. OTERO, M. AND OTERO, R. 2000. Using causality for diagnosis Proceedings 11th International Workshop on Principles of Diagnosis, pp. 171-176. Mexico.
27. REITER, R. 1978. On closed world data bases. In: Gallaire, H. and Minker, J. (eds.), Logic and Data Bases, pp. 119-140. Plenum Press.
28. REITER, R. 1987. A theory of diagnosis from first principles. Artificial Intelligence 32, 57-95.
29. SHANAHAN, M. 1997. Solving the Frame Problem: A mathematical investigation of the commonsense law of inertia. MIT Press.
30. SIMONS, P. 1999. Extending the stable model semantics with more expressive rules. 5th International Conference, LPNMR'99, pp. 305-316.
31. THIELSCHER, M. 1997. Ramification and causality. Artificial Intelligence 89, (1-2), 317-364.
32. THIELSCHER, M. 1997. A theory of dynamic diagnosis. Linkoping Electronic Articles in Computer and Information Science 2, (11).
33. THIELSCHER, M. 1998. Introduction to Fluent Calculus Linkoping Electronic Articles in Computer and Information Sciences 3, (14).
34. TURNER, H. 1996. Splitting a Default Theory, Proceedings AAAI-96, pp. 645-651.
35. TURNER, H. 1997. Representing actions in logic programs and default theories. Journal of Logic Programming 31, (1-3), 245-298.