Now Playing: REPOSTED
Topic: GENERAL LOGIC
Investigations in grounded semantics for multi-agent systems specification via deontic logic
By Alessio Lomuscio and Marek Sergot
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, KD45ni-j, 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.
Dowload
Posted by Tony Marmo
at 00:01 GMT
Updated: Sunday, 2 January 2005 12:08 GMT
