\( \mathcal{M}\mathcal{I}\mathcal{N}\mathcal{E}\mathcal{R}\mathcal{V}\mathcal{A} \)- A Dynamic Logic Programming Agent Architecture

  • João Alexandre Leite
  • José Júlio Alferes
  • Luís Moniz Pereira
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2333)


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.


Logic Program Multiagent System Logic Programming Object Knowledge Procedure Call 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    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.zbMATHCrossRefMathSciNetGoogle Scholar
  2. 2.
    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.Google Scholar
  3. 3.
    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.Google Scholar
  4. 4.
    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.Google Scholar
  5. 5.
    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.Google Scholar
  6. 6.
    M. Gelfond and V. Lifschitz. Action languages. Linkoping Electronic Articles in Computer and information Science, 3(16), 1998.Google Scholar
  7. 7.
    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.Google Scholar
  8. 8.
    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.Google Scholar
  9. 9.
    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.Google Scholar
  10. 10.
    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.Google Scholar
  11. 11.
    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.Google Scholar
  12. 12.
    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
  13. 13.
    F. Sadri and F. Toni. Computational logic and multiagent systems: A roadmap, 1999. Available from
  14. 14.
    D. De Schreye, M. Hermenegildo, and L. M. Pereira. Paving the roadmaps: Enabling and integration technologies, 2000. Available from
  15. 15.
    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.Google Scholar
  16. 16.
    XSB-Prolog. The XSB logic programming system, version 2.0, 1999. Available at

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • João Alexandre Leite
    • 1
  • José Júlio Alferes
    • 1
  • Luís Moniz Pereira
    • 1
  1. 1.Centro de Inteligência Artificial (CENTRIA)Universidade Nova de LisboaCaparicaPortugal

Personalised recommendations