<div class="csl-bib-body">
<div class="csl-entry">Saribatur, Z. G., & Eiter, T. (2016). Reactive Policies with Planning for Action Languages. In <i>Logics in Artificial Intelligence ; Michael, Loizos; Kakas, Antonis</i>. 15th European Conference, JELIA 2016, November 9-11, Proceedings. https://doi.org/10.1007/978-3-319-48758-8_30</div>
</div>
The final publication is available via <a href="https://doi.org/10.1007/978-3-319-48758-8_30" target="_blank">https://doi.org/10.1007/978-3-319-48758-8_30</a>.
-
dc.description.abstract
Action languages are an important family of formalisms to represent action domains in a declarative manner and to reason about them. For this reason, the behavior of an agent in an environment may be governed by policies which take such action domain descriptions into account. In this paper, we describe a formal semantics for describing policies that express a reactive behavior for an agent, and connect our framework with the representation power of action languages. In this framework, we mitigate the large state spaces by employing the notion of indistinguishability, and combine components that are efficient for describing reactivity such as target establishment and (online) planning. Our representation allows one to analyze the flow of executing the given reactive policy, and lays foundations for verifying properties of policies. Additionally, the flexibility of the representation opens a range of possibilities for designing behaviors.
en
dc.description.sponsorship
Austrian Science Funds (FWF)
-
dc.language
English
-
dc.language.iso
en
-
dc.relation.ispartofseries
Lecture Notes in Computer Science
-
dc.rights.uri
http://rightsstatements.org/vocab/InC/1.0/
-
dc.title
Reactive Policies with Planning for Action Languages
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.rights.license
Urheberrechtsschutz
de
dc.rights.license
In Copyright
en
dc.relation.publication
Logics in Artificial Intelligence ; Michael, Loizos; Kakas, Antonis
-
dc.relation.isbn
9783319487571
-
dc.relation.grantno
W1255-N23
-
dc.rights.holder
Springer International Publishing AG 2016
-
dc.type.category
Full-Paper Contribution
-
tuw.container.volume
10021
-
tuw.relation.publisher
15th European Conference, JELIA 2016, November 9-11, Proceedings