Reactive Policies with Planning for Action Languages

Saribatur Yaman, Zeynep Gözen; Eiter, Thomas

doi:10.1007/978-3-319-48758-8_30

Record link:

https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-3089
http://hdl.handle.net/20.500.12708/360

Title:

Reactive Policies with Planning for Action Languages

Citation:

Saribatur Yaman, Z. G., & Eiter, T. (2016). Reactive Policies with Planning for Action Languages. In L. Michael & A. Kakas (Eds.), Logics in Artificial Intelligence : 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings. Springer Cham. https://doi.org/10.1007/978-3-319-48758-8_30

CatalogPlus:

AC11362690

Publisher DOI:

10.1007/978-3-319-48758-8_30

Publication Type:

Inproceedings - Full-Paper Contribution

Language:

English

Authors:

Saribatur Yaman, Zeynep Gözen
Eiter, Thomas

Organisational Unit:

E192 - Institut für Informationssysteme

Published in:

Logics in Artificial Intelligence : 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings

ISBN:

9783319487571

Volume:

10021

DOI of the book:

10.1007/978-3-319-48758-8

Date (published):

2016

Event name:

JELIA: European Conference on Logics in Artificial Intelligence 2016

Event date:

9-Nov-2016 - 11-Nov-2016

Event place:

Larnaca, Cyprus

Number of Pages:

Publisher:

Springer Cham

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.

Additional information:

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

License:

In Copyright

Appears in Collections:

Conference Paper