We investigate an extension of the formalism of interpreted systems by Halpern and colleagues to model correct behaviour of agents. The semantical model allows for the representation and reasoning about states of correct and incorrect functioning behaviour of the agents, and of the system as a whole. We axiomatise this semantic class by mapping it into a suitable class of Kripke models. The resulting logic, KD45 ni-j, is a stronger version of KD, the system often referred to as Standard Deontic Logic. We discuss these issues and present some simple examples. © Springer-Verlag Berlin Heidelberg 2002.
CITATION STYLE
Lomuscio, A., & Sergot, M. (2002). On multi-agent systems specification via Deontic Logic. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2333 LNAI, pp. 86–99). Springer Verlag. https://doi.org/10.1007/3-540-45448-9_7
Mendeley helps you to discover research relevant for your work.