Zur Seitenansicht
 

Titelaufnahme

Titel
Reactive Policies with Planning for Action Languages
VerfasserSaribatur, Zeynep Gözen ; Eiter, Thomas
Erschienen in
Logics in Artificial Intelligence / Michael, Loizos; Kakas, Antonis, 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings, 2016, S. 463-480
Erschienen2016
SpracheEnglisch
SerieLecture Notes in Computer Science ; 10021
DokumenttypAufsatz in einem Sammelwerk
Projekt-/ReportnummerAustrian Science Fund (FWF): W1255-N23
ISBN978-3-319-48757-1
URNurn:nbn:at:at-ubtuw:3-3089 Persistent Identifier (URN)
DOI10.1007/978-3-319-48758-8_30 
Zugriffsbeschränkung
 Das Werk ist frei verfügbar
Dateien
Reactive Policies with Planning for Action Languages [0.29 mb]
Links
Nachweis
Klassifikation
Zusammenfassung (Englisch)

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.

Notiz
Notiz