How Do Agents Comply with Norms?

Authors Guido Governatori, Antonino Rotolo

Thumbnail PDF


  • Filesize: 214 kB
  • 19 pages

Document Identifiers

Author Details

Guido Governatori
Antonino Rotolo

Cite AsGet BibTex

Guido Governatori and Antonino Rotolo. How Do Agents Comply with Norms?. In Normative Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 9121, pp. 1-19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)


The import of the notion of institution in the design of MASs requires to develop formal and efficient methods for modeling the interaction between agents' behaviour and normative systems. This paper discusses how to check whether agents' behaviour is compliant with the rules regulating them. The key point of our approach is that compliance is a relationship between two sets of specifications: the specifications for executing a process and the specifications regulating it. We propose a logic-based formalism for describing both the semantics of normative specifications and the semantics of compliance checking procedures.
  • Compliance
  • agents
  • violations
  • norms


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail