Abstract
In this paper we investigate the specification and verification of information systems with an organizational structure. Such systems are modelled as a normative multiagent system. To this end we use KBDIOCTL, an extension of BDICTL in which obligations and permissions are represented by directed modal operators. We illustrate how the logic can be used by introducing and discussing various properties of normative systems and individual agents which can be represented in the logic. In particular we discuss the enforcement of norms.
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
Meyer, J., Wieringa, R.: Deontic Logic in Computer Science: Normative System Specification. John Wiley and Sons, Chichester (1993)
Wieringa, R., Meyer, J.: Applications of deontic logic in computer science: A concise overview. In: Deontic Logic in Computer Science, pp. 17–40. John Wiley & Sons, Chichester (1993)
Schild, K.: On the relationship between BDI-logics and standard logics of concurrency. Autonomous agents and multi-agent systems 3, 259–283 (2000)
Dastani, M., van der Torre, L.: An extension of BDICTL with functional dependencies and components. In: Baaz, M., Voronkov, A. (eds.) LPAR 2002. LNCS (LNAI), vol. 2514, pp. 115–129. Springer, Heidelberg (2002)
Dastani, M., van der Torre, L.: Specifying the merging of desires into goals in the context of beliefs. In: Shafazand, H., Tjoa, A.M. (eds.) EurAsia-ICT 2002. LNCS, vol. 2510, pp. 824–831. Springer, Heidelberg (2002)
Rao, A.S., Georgeff, M.P.: Decision procedures for BDI logics. Journal of Logic and Computation 8, 293–343 (1998)
Herrestad, H., Krogh, C.: Obligations directed from bearers to counterparties. In: Procs of ICAIL 1995, New York, pp. 210–218 (1995)
Dignum, F.: Autonomous agents with norms. Artificial Intelligence and Law 7(1), 69–79 (1999)
Singh, M.P.: An ontology for commitments in multiagent systems: toward a unification of normative concepts. Artificial Intelligence and Law 7, 97–113 (1999)
Broersen, J., Dastani, M., Huang, Z., van der Torre, L.: Trust and commitment in dynamic logic. In: Shafazand, H., Tjoa, A.M. (eds.) EurAsia-ICT 2002. LNCS, vol. 2510, pp. 677–684. Springer, Heidelberg (2002)
Tan, Y., Thoen, W.: Modeling directed obligations and permissions in trade contracts. In: Procs of HICCS 1998, pp. 166–175 (1998)
Ferber, J., Gutknecht, O.: A meta-model for the analysis and design of organizations in multiagent systems. In: Procs. of ICMAS 1998, pp. 128–135. IEEE Press, Los Alamitos (1998)
Carmo, J., Pacheco, O.: A role based model for the normative specificatiuon of organized collective agency and agents interaction. Autonomous Agents and Multi-Agent Systems 6, 145–184 (2003)
Wooldridge, M., Jennings, N., Kinny, D.: The Gaia methodology for agent-oriented analysis and design. Autonomous Agents and Multi-Agent Systems 3, 285–312 (2000)
Dastani, M., Dignum, V., Dignum, F.: Role assignment in open agent societies. In: Procs. of AAMAS 2003, pp. 489–496. ACM, New York (2003)
Arbab, F., de Boer, F., Bonsangue, M., Scholten, J.G.: A channel-based coordination model for components. Technical Report SEN-R0127, CWI, Amsterdam (2001)
Firozabadi, B.S., van der Torre, L.: Towards an analysis of control systems. In: Procs. of ECAI 1998, pp. 317–318 (1998)
Castelfranchi, C.: Modelling social actions for AI agents. Artificial Intelligence 103, 157–182 (1998)
Wright, G.v.: Deontic logic. Mind 60, 1–15 (1951)
Firozabadi, B.S., Sergot, M.J.: Revocation schemes for delegated authorities. In: Procs. of POLICY 2002, pp. 210–213 (2002)
Bandmann, O., Firozabadi, B.S., Dam, M.: Constrained delegation. In: Procs. of IEEE Symposium on Security and Privacy 2002, pp. 131–140 (2002)
Searle, J.: The Construction of Social Reality. The Free Press, New York (1995)
Jones, A., Sergot, M.: A formal characterisation of institutionalised power. Journal of IGPL 3, 427–443 (1996)
Boella, G., van der Torre, L.: Regulative and constitutive norms in normative multiagent systems. In: Procs. KR 2004, Whistler, CA (2004)
Broersen, J., Dignum, F., Dignum, V., Meyer, J.J.: Designing a deontic logic of deadlines. In: Lomuscio, A., Nute, D. (eds.) DEON 2004. LNCS (LNAI), vol. 3065, pp. 43–56. Springer, Heidelberg (2004)
Cohen, P., Levesque, H.: Intention is choice with commitment. Artificial Intelligence 42, 213–261 (1990)
Rao, A., Georgeff, M.: Modeling rational agents within a BDI-architecture. In: Allen, J., Fikes, R., Sandewall, E. (eds.) Procs. of KR 1991, pp. 473–484. Morgan Kaufmann Publishers, San Francisco (1991)
Rao, A.S., Georgeff, M.P.: Deliberation and its role in the formation of intentions. In: Procs. of UAI 1991 (1991)
Eiter, T., Subrahmanian, V.S., Heterogeneous, G.P.: active agents, I: Semantics. Artificial Intelligence 108, 179–255 (1999)
Broersen, J., Dastani, M., van der Torre, L.: BDIO CTL: Properties of obligation in agent specification languages. In: Procs. of IJCAI 2003, pp. 1389–1390 (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
van der Torre, L., Hulstijn, J., Dastani, M., Broersen, J. (2004). Specifying Multiagent Organizations. In: Lomuscio, A., Nute, D. (eds) Deontic Logic in Computer Science. DEON 2004. Lecture Notes in Computer Science(), vol 3065. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25927-5_16
Download citation
DOI: https://doi.org/10.1007/978-3-540-25927-5_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22111-1
Online ISBN: 978-3-540-25927-5
eBook Packages: Springer Book Archive