Abstract
The agent paradigm, commonly implemented by means of imperative languages mainly for reasons of efficiency, has recently increased its influence in the research and development of computational logic based systems. Since efficiency is not always the crucial issue, but clear specification and correctness is, Logic Programming and Non-monotonic Reasoning have been brought back into the spotlight. To this accrues the recent significant improvements in the efficiency of Logic Programming implementations for Non-monotonic Reasoning.
This paper presents an overall description of \( \mathcal{M}\mathcal{I}\mathcal{N}\mathcal{E}\mathcal{R}\mathcal{V}\mathcal{A} \), an agent architecture and system designed with the intention of providing a common agent framework based on the unique strengths of Logic Programming, to allow for the combination of several non-monotonic knowledge representation and reasoning mechanisms developed in recent years. In [10], the semantics of the multi-dimensional structure and combination of the evolving societal knowledge of agents in described and discussed in detail.
This is a preview of subscription content, log in via an institution to check access.
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
J. J. Alferes, J. A. Leite, L. M. Pereira, H. Przymusinska, and T. Przymusinski. Dynamic updates of non-monotonic knowledge bases. Journal of Logic Programming, 45(1–3):43–70, 2000. A short version titled Dynamic Logic Programming appeared in A. Cohn and L. Schubert (eds.), KR’98, Morgan Kaufmann.
J. J. Alferes, J. A. Leite, L. M. Pereira, and P. Quaresma. Planning as abductive updating. In D. Kitchin, editor, Proceedings of the AISB’ 00 Symposium on AI Planning and Intelligent Agents, pages 1–8. AISB, 2000.
J. J. Alferes, L. M. Pereira, H. Przymusinska, and T. Przymusinski. LUPS: A language for updating logic programs. Artificial Intelligence, 2001. To appear. A short version appeared in M. Gelfond, N. Leone and G. Pfeifer (eds.), LPNMR-99, LNAI 1730, Springer.
J. J. Alferes, L. M. Pereira, T. Przymusinski, H. Przymusinska, and P. Quaresma. An exercise with dynamic logic programming. In L. Garcia and M. Chiara Meo, editors, Proceedings of the 2000 Joint Conference on Declarative Programming (AGP-00), 2000.
M. Fisher. A survey of concurrent METATEM: The language and its applications. In Dov M. Gabbay and Hans Jürgen Ohlbach, editors, Proceedings of the 1st International Conference on Temporal Logic, volume 827 of LNAI, pages 480–505, Berlin, 1994. Springer.
M. Gelfond and V. Lifschitz. Action languages. Linkoping Electronic Articles in Computer and information Science, 3(16), 1998.
K. V. Hindriks, F. S. de Boer, W. van der Hoek, and J. C. Meyer. Formal semantics for an abstract agent programming language. In Munindar P. Singh, Anand Rao, and Michael J. Wooldridge, editors, Proceedings of the 4th International Workshop on Agent Theories, Architectures, and Languages (ATAL-97), volume 1365 of LNAI, pages 215–230, Berlin, 1998. Springer.
Hirojumi Katsuno and Alberto O. Mendelzon. On the difference between updating a knowledge base and revising it. In James Allen, Richard Fikes, and Erik Sandewall, editors, Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, pages 387–394, San Mateo, CA, USA, 1991. Morgan Kaufmann Publishers.
J. A. Leite, J. J. Alferes, and L. M. Pereira. Multi-dimensional dynamic knowledge representation. In Thomas Eiter, Wolfgang Faber, and Mirosaw Truszczynski, editors, Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-01), volume 2173 of LNAI, pages 365–378. Springer, 2001. A preliminary version appeared in F Sadri and K. Satoh (Eds.) Procs. of CLIMA’00.
J. A. Leite, J. J. Alferes, and L. M. Pereira. On the use of multi-dimensional dynamic logic programming to represent societal agents’ viewpoints. In P. Brazdil and A. Jorge, editors, Progress in Artificial Intelligence, 10th Portuguese International Conference on Artificial Intelligence (EPIA-01), volume 2258 of LNAI. Springer, 2001.
I. Niemelä and P. Simons. Smodels: An implementation of the stable model and well-founded semantics for normal LP. In J. Dix, U. Furbach, and A. Nerode, editors, LPNMR-97, volume 1265 of LNAI, pages 420–429, Berlin, 1997. Springer.
S. Rochefort, F. Sadri, and F. Toni, editors. Proceedings of the International Workshop on Multi-Agent Systems in Logic Programming, Las Cruces, New Mexico, USA, 1999. Available from http://www.cs.sfu.ca/conf/MAS99.
F. Sadri and F. Toni. Computational logic and multiagent systems: A roadmap, 1999. Available from http://www.compulog.org.
D. De Schreye, M. Hermenegildo, and L. M. Pereira. Paving the roadmaps: Enabling and integration technologies, 2000. Available from http://www.compulog.org/net/Forum/Supportdocs.html.
V. S. Subrahmanian, Piero Bonatti, Jürgen Dix, Thomas Eiter, Sarit Kraus, Fatma Ozcan, and Robert Ross. Heterogeneous Agent Systems. MIT Press/AAAI Press, Cambridge, MA, USA, 2000.
XSB-Prolog. The XSB logic programming system, version 2.0, 1999. Available at http://www.cs.sunysb.edu/sbprolog.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Leite, J.A., Alferes, J.J., Pereira, L.M. (2002). \( \mathcal{M}\mathcal{I}\mathcal{N}\mathcal{E}\mathcal{R}\mathcal{V}\mathcal{A} \)- A Dynamic Logic Programming Agent Architecture. In: Meyer, JJ.C., Tambe, M. (eds) Intelligent Agents VIII. ATAL 2001. Lecture Notes in Computer Science(), vol 2333. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45448-9_11
Download citation
DOI: https://doi.org/10.1007/3-540-45448-9_11
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43858-8
Online ISBN: 978-3-540-45448-9
eBook Packages: Springer Book Archive