Time is up! - Norms with deadlines in action languages

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

1 Citation (Scopus)

Abstract

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 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.

Original languageEnglish
Title of host publicationComputational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA 2013, Proceedings
EditorsJ. Leite, T. C. Son, P. Torroni, L. van der Torre, S. Woltran
Place of PublicationBerlin, Heidelberg
PublisherSpringer Verlag
Pages223-238
Number of pages16
ISBN (Electronic)978-3-642-40624-9
ISBN (Print)978-3-642-40623-2
DOIs
Publication statusPublished - 30 Oct 2013
Event14th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA 2013 - Corunna, Spain
Duration: 16 Sep 201318 Sep 2013

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer Verlag
Volume8143 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference14th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA 2013
CountrySpain
CityCorunna
Period16/09/1318/09/13

Fingerprint

Deadline
Norm
Reasoning
Language

Keywords

  • Transition System
  • Multiagent System
  • Query Language
  • Normative System
  • Deontic Logic

Cite this

Knorr, M., Gabaldon, A., Gonçalves, R., Leite, J., & Slota, M. (2013). Time is up! - Norms with deadlines in action languages. In J. Leite, T. C. Son, P. Torroni, L. van der Torre, & S. Woltran (Eds.), Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA 2013, Proceedings (pp. 223-238). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8143 LNAI). Berlin, Heidelberg: Springer Verlag. https://doi.org/10.1007/978-3-642-40624-9_14
Knorr, Matthias ; Gabaldon, Alfredo ; Gonçalves, Ricardo ; Leite, João ; Slota, Martin. / Time is up! - Norms with deadlines in action languages. Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA 2013, Proceedings. editor / J. Leite ; T. C. Son ; P. Torroni ; L. van der Torre ; S. Woltran. Berlin, Heidelberg : Springer Verlag, 2013. pp. 223-238 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{04cde7b245a84457a72f5eab26920d65,
title = "Time is up! - Norms with deadlines in action languages",
abstract = "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 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.",
keywords = "Transition System, Multiagent System, Query Language, Normative System, Deontic Logic",
author = "Matthias Knorr and Alfredo Gabaldon and Ricardo Gon{\cc}alves and Jo{\~a}o Leite and Martin Slota",
year = "2013",
month = "10",
day = "30",
doi = "10.1007/978-3-642-40624-9_14",
language = "English",
isbn = "978-3-642-40623-2",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "223--238",
editor = "J. Leite and Son, {T. C.} and P. Torroni and {van der Torre}, L. and S. Woltran",
booktitle = "Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA 2013, Proceedings",
address = "Germany",

}

Knorr, M, Gabaldon, A, Gonçalves, R, Leite, J & Slota, M 2013, Time is up! - Norms with deadlines in action languages. in J Leite, TC Son, P Torroni, L van der Torre & S Woltran (eds), Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA 2013, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8143 LNAI, Springer Verlag, Berlin, Heidelberg, pp. 223-238, 14th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA 2013, Corunna, Spain, 16/09/13. https://doi.org/10.1007/978-3-642-40624-9_14

Time is up! - Norms with deadlines in action languages. / Knorr, Matthias; Gabaldon, Alfredo; Gonçalves, Ricardo; Leite, João; Slota, Martin.

Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA 2013, Proceedings. ed. / J. Leite; T. C. Son; P. Torroni; L. van der Torre; S. Woltran. Berlin, Heidelberg : Springer Verlag, 2013. p. 223-238 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8143 LNAI).

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

TY - GEN

T1 - Time is up! - Norms with deadlines in action languages

AU - Knorr, Matthias

AU - Gabaldon, Alfredo

AU - Gonçalves, Ricardo

AU - Leite, João

AU - Slota, Martin

PY - 2013/10/30

Y1 - 2013/10/30

N2 - 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 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.

AB - 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 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.

KW - Transition System

KW - Multiagent System

KW - Query Language

KW - Normative System

KW - Deontic Logic

UR - http://www.scopus.com/inward/record.url?scp=84886445319&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-40624-9_14

DO - 10.1007/978-3-642-40624-9_14

M3 - Conference contribution

SN - 978-3-642-40623-2

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 223

EP - 238

BT - Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA 2013, Proceedings

A2 - Leite, J.

A2 - Son, T. C.

A2 - Torroni, P.

A2 - van der Torre, L.

A2 - Woltran, S.

PB - Springer Verlag

CY - Berlin, Heidelberg

ER -

Knorr M, Gabaldon A, Gonçalves R, Leite J, Slota M. Time is up! - Norms with deadlines in action languages. In Leite J, Son TC, Torroni P, van der Torre L, Woltran S, editors, Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA 2013, Proceedings. Berlin, Heidelberg: Springer Verlag. 2013. p. 223-238. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-642-40624-9_14