Specifying Multiagent Organizations (bibtex)
by L. van der Torre, J. Hulstijn, M. Dastani, J. Broersen
Abstract:
In this paper we investigate the specification and verification of infor- mation 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 rep- resented in the logic. In particular we discuss the enforcement of norms.
Reference:
Specifying Multiagent Organizations (L. van der Torre, J. Hulstijn, M. Dastani, J. Broersen), In In Proceedings of the Seventh Workshop on Deontic Logic in Computer Science (Deon'2004), Springer, volume 3065, 2004.
Bibtex Entry:
@InProceedings{Torre2004,
  Title                    = {Specifying Multiagent Organizations},
  Author                   = {van der Torre, L. and Hulstijn, J. and Dastani, M. and Broersen, J.},
  Booktitle                = {In Proceedings of the Seventh Workshop on Deontic Logic in Computer Science (Deon'2004)},
  Year                     = {2004},
  Pages                    = {243-257},
  Publisher                = {Springer},
  Series                   = {LNCS},
  Volume                   = {3065},

  Abstract                 = {In this paper we investigate the specification and verification of infor- mation 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 rep- resented in the logic. In particular we discuss the enforcement of norms.},
  Timestamp                = {2013.07.26},
  Url                      = {http://icr.uni.lu/leonvandertorre/papers/deon04b.pdf}
}
Powered by bibtexbrowser