Extending interpreted systems with some deontic concepts
Alessio R. Lomuscio, Marek J. Sergot · 2001
We investigate an extension of interpreted systems to model correct functioning behaviour of agents and of the system as a whole. We combine this notion with the standard epistemic notions defined on interpreted systems to provide a formalism to reason about knowledge that agents are permitted to hold under ideal functioning circumstances. We then extend this by introducing a doubly-indexed operator representing knowledge that an agent would have if it were operating under the assumption that a group of agents is functioning as intended. We investigate the completeness problem for the first formalism and discuss the issue for the more general one.