Planning with sensing actions and incomplete information using logic programming

被引：0

作者：

Son, TC

Tu, PH

Baral, C

机构：

[1] New Mexico State Univ, Dept Comp Sci, Las Cruces, NM 88003 USA

[2] Arizona State Univ, Dept Comp Sci & Engn, Tempe, AZ 85287 USA

来源：

LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS | 2004年 / 2923卷

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

We present a logic programming based conditional planner that is capable of generating both conditional plans and conformant plans in the presence of sensing actions and incomplete information. We prove the correctness of our implementation and show that our planner is complete with respect to the 0-approximation of sensing actions and the class of conditional plans considered in this paper. Finally, we present preliminary experimental results and discuss further enhancements to the program.

引用

页码：261 / 274

页数：14

共 50 条

[1] Block world planning with incomplete information and sensing actions as linear programming problem
Galuszka, Adam
Skrzypczyk, Krzysztof
[J]. 4TH INTERNATIONAL INDUSTRIAL SIMULATION CONFERENCE 2006, 2006, : 234 - +
[2] Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming
Tu, Phan Huy
Son, Tran Cao
Baral, Chitta
[J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2007, 7 (04) : 377 - 450
[3] Understanding planning with incomplete information and sensing
Oglietti, M
[J]. ARTIFICIAL INTELLIGENCE, 2005, 164 (1-2) : 171 - 208
[4] Probabilistic Planning with Imperfect Sensing Actions Using Hybrid Probabilistic Logic Programs
Saad, Emad
[J]. SCALABLE UNCERTAINTY MANAGEMENT, PROCEEDINGS, 2009, 5785 : 206 - 222
[5] Planning with Incomplete Information in Quantified Answer Set Programming
Fandinno, Jorge
Laferriere, Francois
Romero, Javier
Schaub, Torsten
Son, Tran Cao
[J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2021, 21 (05) : 663 - 679
[6] Relating logic programming theories of actions and partial order planning
Chitta Baral
[J]. Annals of Mathematics and Artificial Intelligence, 1997, 21 : 131 - 151
[7] Relating logic programming theories of actions and partial order planning
Baral, C
[J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1997, 21 (2-4) : 131 - 151
[8] Approximate reasoning about actions in presence of sensing and incomplete information
Baral, C
Son, TC
[J]. LOGIC PROGRAMMING - PROCEEDINGS OF THE 1997 INTERNATIONAL SYMPOSIUM, 1997, : 387 - 401
[9] Planning with preferences using logic programming
Son, TC
Pontelli, E
[J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2004, 2923 : 247 - 260
[10] Planning with preferences using logic programming
Son, Tran Cao
Pontelli, Enrico
[J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2006, 6 : 559 - 607

← 1 2 3 4 5 →