Abstract
The Agent Society framework that we have developed distinguishes between the mechanisms though which the structure and global behavior of the model is described and coordinated, and the aims and behavior of the service-providers (agents) that populate the model. In this framework contracts are used to integrate the top-down specification of organizational structures with the autonomy of participating agents. In this paper we introduce LCR, a very expressive logic for describing interaction in multi-agent systems. We also show how LCR behaves in contrary-to-duty situations common to deontic logic frameworks. LCR makes it possible to check whether agents in an agent society follow some desired interaction patterns and whether desired social states are preserved by agent activity. LCR is used as a formal basis for the framework for agents societies that we are developing.
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
Artikis, A., Pitt, J.: A Formal Model of Open Agent Societies. In: Proc. Autonomous Agents 2001, pp. 192–193 (2001)
Boutelier, C.: Toward a Logic for Qualitative Decision Theory. In: Doyle, J., Sandewall, E., Torasso, P. (eds.) Principles of Knowledge Representation and Reasoning (1994)
Chisholm, R.: Contrary-to-Duty Imperatives and Deontic Logic. Analysis 24, 33–36 (1963)
Cholvy, L., Garion, C.: An Attempt to Adapt a Logic of Conditional Preferences for Reasoning with Contrary-To-Duties. Fundamenta Informaticae 47 (2001)
Dignum, F., Kuiper, R.: Specifying Deadlines with Dense Time using Deontic and Temporal Logic. International Journal of Electronic Commerce 3(2), 67–86 (1999)
Dignum, V., Meyer, J.-J., Weigand, H., Dignum, F.: An Organizational-oriented Model for Agent Societies. In: Proc. Int. Workshop on Regulated Agent-Based Social Systems: Theories and Applications (RASTA 2002) at AAMAS, Bologna, Italy (July 2002)
Esteva, M., Rodriguez, J., Sierra, C., Garcia, P., Arcos, J.: On the formal specifications of electronic institutions. In: Dignum, F., Sierra, C. (eds.) AgentLink 2000. LNCS (LNAI), vol. 1991, pp. 126–147. Springer, Heidelberg (2001)
Emerson, E.: Temporal and Modal Logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science. Elsevier Science Publishers, Amsterdam (1990)
Ferber, J., Gutknecht, O.: A meta-model for the analysis and design of organizations in multi-agent systems. In: Proc. of ICMAS 1998. IEEE Press, Los Alamitos (1998)
Halpern, J., Moses, Y.: A guide to the completeness and complexity of modal logic of knowledge and belief. Artificial Intelligence 54(3), 319–379 (1992)
Meyer, J.-J., Wieringa, R., Dignum, F.: The Role of Deontic Logic in the Specification of Information Systems. In: Chomicki, J., Saake, G. (eds.) Logics for Databases and Information Systems, pp. 71–115. Kluwer Academics Publishers, Dordrecht (1998)
Pacheco, O., Carmo, J.: A Role Based Model for the Normative Specification of Organized Collective Agency and Agents Interaction. Journal of Autonomous Agents and Multi-Agent Systems (2003) (to be published)
Parunak, H.V.D., Odell, J.: Representing Social Structures in UML. In: Wooldridge, M.J., Weiss, G., Ciancarini, P. (eds.) AOSE 2001. LNCS, vol. 2222, pp. 1–16. Springer, Heidelberg (2002)
Pörn, I.: Some Basic Concepts of Action. In: Stenlund, S. (ed.) Logical Theory and Semantic Analysis. Reidel, Dordrecht (1974)
Van der Torre, L.: Contextual Deontic Logic: Normative Agents, Violations and Independence. Annals of Mathematics and Artificial Intelligence, Special Issue on Computational Logic in Multi-Agent Systems 37(1-2), 33–63 (2003)
Weigand, H., Dignum, V., Meyer, J.-J.C.: Specification by refinement and agreement: designing agent interaction using landmarks and contracts. In: Petta, P., Tolksdorf, R., Zambonelli, F. (eds.) ESAW 2002. LNCS (LNAI), vol. 2577, pp. 257–269. Springer, Heidelberg (2003)
Wooldridge, M.: Time, Knowledge, and Choice. In: Tambe, M., Müller, J., Wooldridge, M.J. (eds.) IJCAI-WS 1995 and ATAL 1995. LNCS, vol. 1037. Springer, Heidelberg (1996)
Zambonelli, F.: Abstractions and Infrastructures for the Design and Development of Mobile Agent Organizations. In: Wooldridge, M.J., Weiss, G., Ciancarini, P. (eds.) AOSE 2001. LNCS, vol. 2222, pp. 245–262. Springer, Heidelberg (2002)
Zambonelli, F., Jennings, N., Wooldridge, M.: Organizational Abstractions for the Analysis and Design of Multi-agent Systems. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol. 1957, pp. 235–251. Springer, Heidelberg (2001)
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
Dignum, V., Meyer, JJ.C., Dignum, F., Weigand, H. (2003). Formal Specification of Interaction in Agent Societies. In: Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C., Gordon-Spears, D. (eds) Formal Approaches to Agent-Based Systems. FAABS 2002. Lecture Notes in Computer Science(), vol 2699. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45133-4_4
Download citation
DOI: https://doi.org/10.1007/978-3-540-45133-4_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40665-5
Online ISBN: 978-3-540-45133-4
eBook Packages: Springer Book Archive