Making Golog Norm Compliant

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Citations (Scopus)

Abstract

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.
Original languageUnknown
Title of host publicationLNAI
EditorsJ Leite, P Torroni, T Agotnes, G Boella, der Torre L van
PublisherSpringer
Pages275-292
Volume6814
ISBN (Print)978-3-642-22358-7
DOIs
Publication statusPublished - 1 Jan 2011
Event12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA) -
Duration: 1 Jan 2011 → …

Conference

Conference12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA)
Period1/01/11 → …

Cite this