Abstract
This paper explores the applicability of the new paradigm of Multi-dimensional Dynamic Logic Programming to represent an agent’s view of the combination of societal knowledge dynamics. The representation of a dynamic society of agents is the core of \( \mathcal{M}\mathcal{I}\mathcal{N}\varepsilon \mathcal{R}\mathcal{V}\mathcal{A} \) [11], an agent architecture and system designed with the intention of providing a common agent framework based on the unique strengths of Logic Programming, hat allows the combination of several non-monotonic knowledge representation and reasoning mechanisms developed in recent years.
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. Short version titled Dynamic Logic Programming appeared in Procs. of KR-98.
J. J. Alferes, L. M. Pereira, H. Przymusinska, and T. Przymusinski. LUPS: A language for updating logic programs. Artificial Intelligence, 2001. To appear. Short version appeared in Procs of LPNMR-99, LNAI-1730.
M. Bozzano, G. Delzanno, M. Martelli, V. Mascardi, and F. Zini. Logic programming and multi-agent system: A synergic combination for applications and semantics. In The Logic Programming Paradigm-A 25-Year Perspective. Springer, 1999.
F. Buccafurri, W. Faber, and N. Leone. Disjunctive logic programs with inheritance. In Procs. of ICLP-99. MIT Press, 1999.
P. Dell’Acqua and L. M. Pereira. Updating agents. In Procs of MAS-99, ICLP-99 Ws., 1999.
T. Eiter, M. Fink, G. Sabbatini, and H. Tompits. Considerations on updates of logic programs. In Procs. of JELIA-00, LNAI-1919. Springer, 2000.
M. Gelfond and V. Lifschitz. The stable semantics for logic programs. In Procs. of ICLP-88. MIT Press, 1988.
N. R. Jennings, K. Sycara, and M. Wooldridge. A roadmap of agent research and development. Journal of Autonomous Agents and Multi-Agent Systems, 1(1):7–38, 1998.
E. Lamma, F. Riguzzi, and L. M. Pereira. Strategies in combined learning via logic programs. Machine Learning, 38(1/2):63–87, 2000.
J. A. Leite, J. J. Alferes, and L. M. Pereira. Multi-dimensional dynamic logic programming. In Procs. of CLIMA’00, pages 17–26, 2000.
J. A. Leite, J. J. Alferes, and L. M. Pereira. MINERVA-a dynamic logic programming agent architecture. In Procs. of ATAL’01, 2001.
J. A. Leite, F. C. Pereira, A. Cardoso, and L. M. Pereira. Metaphorical mapping consistency via dynamic logic programming. In Procs. of AISB’00. AISB, 2000.
V. Lifschitz and T. Woo. Answer sets in general non-monotonic reasoning (preliminary report). In Procs. of KR-92. Morgan-Kaufmann, 1992.
I. Niemelä and P. Simons. Smodels: An implementation of the stable model and well-founded semantics for normal LP. In Procs. of LPNMR’97, volume 1265 of LNAI. Springer, 1997.
P. Quaresma and I. P. Rodrigues. A collaborative legal information retrieval system using dynamic logic programming. In Procs. of ICAIL-99. ACM Press, 1999.
F. Sadri and F. Toni. Computational logic and multiagent systems: A roadmap, 1999. Available from http://www.compulog.org.
C. Sakama and K. Inoue. Updating extended logic programs through abduction. In Procs. of LPNMR-99. Springer, 1999.
XSB-Prolog. The XSB logic programming system, version 2.0, 1999. Available at http://www.cs.sunysb.edu/ sbprolog.
Y. Zhang and N. Foo. Updating logic programs. In Procs. of ECAI'98. Morgan Kaufmann, 1998.
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
Leite, J.A., Alferes, J.J., Pereira, L.M. (2001). On the Use of Multi-dimensional Dynamic Logic Programming to Represent Societal Agents’ Viewpoints. In: Brazdil, P., Jorge, A. (eds) Progress in Artificial Intelligence. EPIA 2001. Lecture Notes in Computer Science(), vol 2258. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45329-6_28
Download citation
DOI: https://doi.org/10.1007/3-540-45329-6_28
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43030-8
Online ISBN: 978-3-540-45329-1
eBook Packages: Springer Book Archive