Abstract
We investigate how to explicitly represent organizational structures in epistemic multi-agent systems (eMAS). We introduce a logical framework F suitable for representing organizational structures for epistemic agents, and provide its declarative and procedural semantics. We show how a number of organizational structures can be represented in F and discuss their properties.
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, P. Dell’Acqua, and L. M. Pereira. A compilation of updates plus preferences. In S. Flesca, S. Greco, N. Leone, and G. Ianni, editors, Logics in Artificial Intelligence, Proc. 8th European Conf. (JELIA02), LNAI 2424, pages 62–73. Springer, 2002.
J. J. Alferes, J. A. Leite, L. M. Pereira, H. Przymusinska, and T. C. Przymusinski. Dynamic updates of non-monotonic knowledge bases. The J. 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.
A. Artikis and G. Pitt. A formal model of open agent societies. Proc. of Autonomous Agents, 2001.
C. Castelfranchi. Engineering Social Order. In Andrea Omicini, Robert Tolksdorf, and Franco Zambonelli, editors, Engineering Societies in the Agents World. 1st Int. Workshop ESAW 2000. Revised Papers, LNAI 1972, pages 1–18, Berlin, 2000. Springer-Verlag.
P. Davidsson. Categories of artificial societies. In A. Omicini, P. Petta, and R. Tolksdorf, editors, Engineering Societies in the Agents’ World (ESAW 2001), LNAI 2203, pages 1–9. Springer-Verlag, 2001.
P. Dell’Acqua, J. A. Leite, and L. M. Pereira. Evolving multi-agent viewpoints-an architecture. In P. Brazdil and A. Jorge, editors, Progress in Artificial Intelligence, 10th Portuguese Int. Conf. on Artificial Intelligence (EPIA’01), LNAI 2258, pages 169–182. Springer-Verlag, 2001.
P. Dell’Acqua, U. Nilsson, and L. M. Pereira. A logic based asynchronous multiagent system. Computational Logic in Multi-Agent Systems (CLIMA02). Electronic Notes in Theoretical Computer Science (ENTCS), Vol. 70, Issue 5, 2002.
P. Dell’Acqua and L. M. Pereira. Preferring and updating in abductive multi-agent systems. In A. Omicini, P. Petta, and R. Tolksdorf, editors, Engineering Societies in the Agents’ World (ESAW 2001), LNAI 2203, pages 57–73. Springer-Verlag, 2001.
P. Dell’Acqua and L. M. Pereira. Preferring and updating in logic-based agents. In: Web-Knowledge Management and Decision Support. Selected Papers from the 14th Int. Conf. on Applications of Prolog (INAP), Tokyo, 2001. To appear in LNAI, 2001.
M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In R. Kowalski and K. A. Bowen, editors, ICLP’88, pages 1070–1080. MIT Press, 1988.
N. R. Jennings. On agent-based software engineering. Artificial Intelligence, 117:277–296, 2000.
J. A. Leite, J. J. Alferes, and L. M. Pereira. Multi-dimensional dynamic logic programming. In F. Sadri and K. Satoh, editors, Procs. of the CL-2000 Workshop on Computational Logic in Multi-Agent Systems (CLIMA’00), pages 17–26, 2000.
J. A. Leite, J. J. Alferes, and L. M. Pereira. Multi-dimensional dynamic knowledge representation. In T. Eiter, W. Faber, and M. Truszczynski, editors, Procs. of the Sixth Int. Conf. on Logic Programming and Nonmonotonic Reasoning (LPNMR’ 01), LNAI 2173, pages 365–378. Springer, 2001.
V. Lifschitz and T. Woo. Answer sets in general non-monotonic reasoning (preliminary report). In B. Nebel, C. Rich, and W. Swartout, editors, KR’92. Morgan-Kaufmann, 1992.
F. Zambonelli. Abstractions and infrastructures for the design and development of mobile agent organizations. In M. J. Wooldridge, G. Weiß, and P. Ciancarini, editors, Agent-Oriented Software Engineering II, Second International Workshop, AOSE 2001, LNCS 2222, pages 245–262, Berlin, 2001. Springer-Verlag.
F. Zambonelli, N. R. Jennings, and M. Wooldridge. Organisational abstractions for the analysis and design of multi-agent systems. In P. Ciancarini and M. Wooldridge, editors, Agent-Oriented Software Engineering, LNCS 1957, pages 127–141, Berlin, 2001. Springer-Verlag.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dell’Acqua, P., Moniz Pereira, L. (2003). A Logical Framework for Modelling eMAS. In: Dahl, V., Wadler, P. (eds) Practical Aspects of Declarative Languages. PADL 2003. Lecture Notes in Computer Science, vol 2562. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36388-2_17
Download citation
DOI: https://doi.org/10.1007/3-540-36388-2_17
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00389-2
Online ISBN: 978-3-540-36388-0
eBook Packages: Springer Book Archive