In this work we consider how to enforce norms in the Situation Calculus based programming language Golog and its relatives. We define a notion of norm compliant sequence of actions with respect to norms prescribing some actions to be forbidden or obliged (ought-to-do norms), norms prescribing that a state-condition is forbidden (ought-to-be norms) and norms that are a form of deadline. We then show a procedure that allows incorporating the norms into the underlying action theory so that after this is done, the agent’s behavior is guaranteed to be norm compliant.
|Title of host publication||LNAI|
|Editors||J Leite, P Torroni, T Agotnes, G Boella, der Torre L van|
|Publication status||Published - 1 Jan 2011|
|Event||12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA) - |
Duration: 1 Jan 2011 → …
|Conference||12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA)|
|Period||1/01/11 → …|