Specifying Multiagent Organizations

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.

• Type: Conference
• Year: 2004
• Where: DEON
• Authors: Leendert W. N. van der Torre, Joris Hulstijn, Mehdi Dastani, Jan Broersen
• Keywords: Artificial Intelligence, DEON 2004, Directed Modal Operators, Normative Multiagent System, Such Systems