On Multi-agent Systems Specification via Deontic Logic.
Alessio R. Lomuscio, Marek J. Sergot · 2002
Abstract. We investigate an extension of the formalism of interpreted systemsby Halpern and colleagues to model correct behaviour of agents. The semantical model allows for the representation and reasoning about states of correct andincorrect 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 mod-els. The resulting logic, KD45 i-j n, is a stronger version of KD, the system oftenreferred to as Standard Deontic Logic. We discuss these issues and present some