Specifying Multiagent Organizations

11 years 5 months ago
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.
Leendert W. N. van der Torre, Joris Hulstijn, Mehd
Added 01 Jul 2010
Updated 01 Jul 2010
Type Conference
Year 2004
Where DEON
Authors Leendert W. N. van der Torre, Joris Hulstijn, Mehdi Dastani, Jan Broersen
Comments (0)