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 条

[1] Language Planning and Policies for Sign Languages Foreword
Quer, Josep
de Quadros, Ronice M.
[J]. SIGN LANGUAGE STUDIES, 2012, 12 (04) : 465 - 466
[2] Transfer of Deep Reactive Policies for MDP Planning
Bajpai, Aniket
Garg, Sankalp
Mausam
[J]. ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 31 (NIPS 2018), 2018, 31
[3] Optimal Planning with Expressive Action Languages as Constraint Optimization
Giunchiglia, Enrico
Tacchella, Armando
[J]. LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2023, 2023, 14281 : 621 - 637
[4] Deep Reactive Policies for Planning in Stochastic Nonlinear Domains
Bueno, Thiago P.
de Barros, Leliane N.
Maua, Denis D.
Sanner, Scott
[J]. THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2019, : 7530 - 7537
[5] Training Deep Reactive Policies for Probabilistic Planning Problems
Issakkimuthu, Murugeswari
Fern, Alan
Tadepalli, Prasad
[J]. TWENTY-EIGHTH INTERNATIONAL CONFERENCE ON AUTOMATED PLANNING AND SCHEDULING (ICAPS 2018), 2018, : 422 - 430
[6] Learning generalized policies from planning examples using concept languages
Martín, M
Geffner, H
[J]. APPLIED INTELLIGENCE, 2004, 20 (01) : 9 - 19
[7] Learning Generalized Policies from Planning Examples Using Concept Languages
Mario Martín
Hector Geffner
[J]. Applied Intelligence, 2004, 20 : 9 - 19
[8] Extending action languages for intelligent service robot task planning
[J]. Jin, G.-Q. (jguoqiang@ustc.edu.cn), 1614, Chinese Academy of Sciences (24):
[9] Reactive query policies: A formalism for planning with volatile external information
Au, Tsz-Chiu
Nau, Dana
[J]. 2007 IEEE SYMPOSIUM ON COMPUTATIONAL INTELLIGENCE AND DATA MINING, VOLS 1 AND 2, 2007, : 243 - 250
[10] LINGUISTIC POLICIES AND PLANNING IN BRAZIL: EVALUATION OF CURRICULAR ORIENTATIONS FOR THE TEACHING OF FOREIGN LANGUAGES
Passoni, Taisa Pinetti
Luz, Joelma Gomes
[J]. REVISTA VIRTUAL DE ESTUDOS DA LINGUAGEM-REVEL, 2016, 14 (26): : 217 - 240

← 1 2 3 4 5 →