Go to page
 

Bibliographic Metadata

Title
Reactive Policies with Planning for Action Languages
AuthorSaribatur, Zeynep Gözen ; Eiter, Thomas
Published in
Logics in Artificial Intelligence / Michael, Loizos; Kakas, Antonis, 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings, 2016, page 463-480
Published2016
LanguageEnglish
SeriesLecture Notes in Computer Science ; 10021
Document typeArticle in a collected edition
Project-/ReportnumberAustrian Science Fund (FWF): W1255-N23
ISBN9783319487571
URNurn:nbn:at:at-ubtuw:3-3089 Persistent Identifier (URN)
DOI10.1007/978-3-319-48758-8_30 
Restriction-Information
 The work is publicly available
Files
Reactive Policies with Planning for Action Languages [0.29 mb]
Links
Reference
Classification
Abstract (English)

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.

Note
Note
Stats
The PDF-Document has been downloaded 25 times.