Abstract
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 components. We present novel definitions of the notions of symptom, candidate diagnosis, and diagnosis which are based on the theory of action language AL. The new 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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Baral, C., and Gelfond, M. Reasoning agents in dynamic domains. In Minker, J,. ed., Logic-Based Artificial Intelligence, Kluwer Academic Publishers, (2000), 257–279, 215, 217, 224
Baral, C., Gelfond, M., and Provetti, A. Reasoning about actions: laws, observations, and hypotheses. In Journal of Logic Programming, volume 31, 201–244, 1994. 216
Baral, C., McIlraith, S., and Son, T. Formulating diagnostic problem solving using an action language with narratives and sensing. In Proceedings of the 2000 KR Conference, 311–322, 2000. 216, 224
de Kleer, J., Mackworth, A., and Reiter, R. Characterizing diagnoses and systems. In Artificial Intelligence, volume 56(2-3), 197–222, 1992.
Gelfond, M., and Lifschitz, V. The stable model semantics for logic programming. In Logic Programming: Proc. of the Fifth Int’l Conf. and Symp., 1070–1080, 1988.
Gelfond, M., and Lifschitz, V. Classical negation in logic programs and disjunctive databases. In New Generation Computing, 365–387, 1991. 213
Gelfond, M., and Lifschitz, V. Representing actions in extended logic programs. In Proc. of Joint International Conference and Symposium on Logic Programming, 559–573, 1992.
Gelfond, M., and Lifschitz, V. Action languages. In Electronic Transactions on AI, volume 3(16), 1998.
Lifschitz, V. Action languages, Answer Sets, and Planning. In The Logic Programming Paradigm: a 25-Year Perspective. 357–373, Springer Verlag, 1999. 224
Marek, W., and Truszczynski, M. Stable models and an alternative logic paradigm. In The Logic Programming Paradigm: a 25-Year Perspective, 375–398, Springer Verlag, 1999. 217, 224
McCain, T., and Turner, H. A causal theory of ramifications and qualifications. In Artificial Intelligence, volume 32, 57–95, 1995. 219, 224
McIlraith, T. Explanatory diagnosis conjecturing actions to explain observations. In Proceedings of the 1998 KR Conference, 167–177, 1998. 224
Niemela, I. Logic programs with stable model semantics as a constraint programming paradigm. In Annals of Mathematics and Artificial Intelligence, 25(3-4), 241–273, 1999. 224
Niemela, I., and Simons, P. SMODELS-an implementation of the well-founded and stable model semantics for normal logic programs. In Proc. of LPNMR’97, volume 1265 of Lecture Notes in Computer Science, 420–429, 1997. 217
Reiter, R. A theory of diagnosis from first principles. In Artificial Intelligence, volume 32, 57–95, 1987. 215, 224
Simons, P. Extending the stable model semantics with more expressive rules. In 5th International Conference, LPNMR’99, 305–316, 1999. 219
Thielscher, M. A theory of dynamic diagnosis. In Linkoping Electronic Articles in Computer and Information Science, volume 2(11), 1997. 224
H. Turner. Representing actions in logic programs and default theories. In Journal of Logic Programming, 31(1-3):245–298, May 1997. 219
Eiter, T., Faber, Leone, N., Pfeifer, G. Declarative Problem Solving in DLV In Minker, J,. ed., Logic-Based Artificial Intelligence, Kluwer Academic Publishers, 257–279, 2000. 221
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gelfond, M., Balduccini, M., Galloway, J. (2001). Diagnosing Physical Systems in A-Prolog. In: Eiter, T., Faber, W., Truszczyński, M.l. (eds) Logic Programming and Nonmotonic Reasoning. LPNMR 2001. Lecture Notes in Computer Science(), vol 2173. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45402-0_16
Download citation
DOI: https://doi.org/10.1007/3-540-45402-0_16
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42593-9
Online ISBN: 978-3-540-45402-1
eBook Packages: Springer Book Archive