Investigations in grounded semantics for multi-agent systems specification via deontic logic
File(s)
Technical report
Author(s)
Lomuscio, Alessio
Sergot, Marek
Type
Report
Abstract
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 function-ing 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 is a stronger version of KD, the system often referred to as Standard Deontic Logic. We discuss these issues and present further directions of work related to epistemic logic.
Date Issued
2000-09-01
Citation
Departmental Technical Report: 2000/9, 2000, pp.1-21
Publisher
Department of Computing, Imperial College London
Start Page
1
End Page
21
Journal / Book Title
Departmental Technical Report: 2000/9
Copyright Statement
© 2000 The Author(s). This report is available open access under a CC-BY-NC-ND (https://creativecommons.org/licenses/by-nc-nd/4.0/)
Publication Status
Published