Reactive Policies with Planning for Action Languages

被引：4
|
作者：
Saribatur, Zeynep G. [1 ]
Eiter, Thomas [1 ]
机构：
[1] Tech Univ Wien, Vienna, Austria
来源：
LOGICS IN ARTIFICIAL INTELLIGENCE, (JELIA 2016) | 2016年 / 10021卷
关键词：
MODEL CHECKING;
D O I：
10.1007/978-3-319-48758-8_30
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
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.
引用
收藏
页码：463 / 480
页数：18
相关论文
共 50 条
  • [21] PLANNING POLICIES
    GREENWOOD, A
    [J]. JOURNAL OF TOWN PLANNING INSTITUTE, 1968, 54 (06): : 257 - 262
  • [22] The limits of integration and territorial policies at the local level: the action of the municipalities in the territorial planning
    Godinho de Oliveira, Floriano Jose
    de Oliveira, Thais Soares
    [J]. SCRIPTA NOVA-REVISTA ELECTRONICA DE GEOGRAFIA Y CIENCIAS SOCIALES, 2012, 16 (418):
  • [23] Planning for Autonomous Driving via Interaction-Aware Probabilistic Action Policies
    Arbabi, Salar
    Tavernini, Davide
    Fallah, Saber
    Bowden, Richard
    [J]. IEEE ACCESS, 2022, 10 : 81699 - 81712
  • [24] Terminology policies, diversity, and minoritised languages
    Aguilar-Amat, A
    Santamaria, L
    [J]. TRANSLATION IN CONTEXT: SELECTED CONTRIBUTIONS FROM THE EST CONGRESS, GRANADA 1998, 2000, 39 : 73 - 84
  • [25] Policies, models, and languages for access control
    di Vimercati, SD
    Samarati, P
    Jajodia, S
    [J]. DATABASES IN NETWORKED INFORMATION SYSTEMS, PROCEEDINGS, 2005, 3433 : 225 - 237
  • [26] Attitudes to endangered languages: Identities and policies
    Heinrich, Patrick
    [J]. LANGUAGE, 2015, 91 (04) : 964 - 966
  • [27] LANGUAGE PLANNING AND PLANNED LANGUAGES: HOW CAN PLANNED LANGUAGES INFORM LANGUAGE PLANNING?
    Tonkin, Humphrey
    [J]. INTERDISCIPLINARY DESCRIPTION OF COMPLEX SYSTEMS, 2015, 13 (02) : 193 - 199
  • [28] Web rule languages to carry policies
    Kaviani, Nima
    Gagevic, Dragan
    Hatala, Marek
    Wagner, Gerd
    [J]. EIGHTH IEEE INTERNATIONAL WORKSHOP ON POLICIES FOR DISTRIBUTED SYSTEMS AND NETWORKS - PROCEEDINGS, 2007, : 188 - +
  • [29] Attitudes to endangered languages: Identities and policies
    Nuessel, Frank
    [J]. LANGUAGE PROBLEMS & LANGUAGE PLANNING, 2015, 39 (02): : 212 - 215
  • [30] Privacy models and languages: Obligation policies
    Mont, Marco Casassa
    [J]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2011, 6545 : 331 - 361
12345