Tuan, Le-Chi and Baral, Chitta and Son, Tran Cao - A State-Based Regression Formulation for Domains with Sensing Actions<br> and Incomplete Information

lmcs:2238 - Logical Methods in Computer Science, October 2, 2006, Volume 2, Issue 4
A State-Based Regression Formulation for Domains with Sensing Actions<br> and Incomplete Information

Authors: Tuan, Le-Chi and Baral, Chitta and Son, Tran Cao

We present a state-based regression function for planning domains where an agent does not have complete information and may have sensing actions. We consider binary domains and employ a three-valued characterization of domains with sensing actions to define the regression function. We prove the soundness and completeness of our regression formulation with respect to the definition of progression. More specifically, we show that (i) a plan obtained through regression for a planning problem is indeed a progression solution of that planning problem, and that (ii) for each plan found through progression, using regression one obtains that plan or an equivalent one.


Source : oai:arXiv.org:cs/0609111
DOI : 10.2168/LMCS-2(4:2)2006
Volume: Volume 2, Issue 4
Published on: October 2, 2006
Submitted on: January 13, 2006
Keywords: Computer Science - Artificial Intelligence,I.2.4,I.2.8


Share

Consultation statistics

This page has been seen 61 times.
This article's PDF has been downloaded 19 times.