Time Is Up! - Norms with Deadlines in Action Languages


Action Languages are simple logical formalisms to describe the properties of a domain and the behavior of an agent and to reason about it. They offer an elegant solution to the frame problem, but are inapt to reason with norms in which an obligation deadline may require the agent to adapt its behavior even though no action occurred. In this paper we extend the Action Language A with features that allow reasoning about norms and time in dynamic domains. Unlike previous extensions of Action Languages with norms, our resulting language is expressive enough to represent and reason with different kinds of obligations with deadlines that explicitly refer to time, as well as norm violations and even simple contrary-to-duty obligations resulting from the satisfaction or violation of an agent’s obligations.

DOI: 10.1007/978-3-642-40624-9_14

Extracted Key Phrases

Cite this paper

@inproceedings{Knorr2013TimeIU, title={Time Is Up! - Norms with Deadlines in Action Languages}, author={Matthias Knorr and Alfredo Gabaldon and Ricardo Gonçalves and Jo{\~a}o Leite and Martin Slota}, booktitle={CLIMA}, year={2013} }