文献类型：期刊文章

作　　者：周俊萍[1] 殷明浩[1,2,3] 谷文祥[1] 孙吉贵[2,3]

机构地区：[1]东北师范大学计算机学院,吉林长春130117 [2]吉林大学计算机科学与技术学院,吉林长春130012 [3]吉林大学教育部符号计算与知识工程重点实验室,吉林长春130012

出　　处：《软件学报》

基　　金：国家自然科学基金;高等学校博士学科点专项科研基金;东北师范大学青年基金~~

年　　份：2009

卷　　号：20

期　　号：2

起止页码：290-304

语　　种：中文

收录情况：AJ、BDHX、BDHX2008、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI(收录号：20091111955878)、IC、INSPEC、JST、MR、RCCSE、SCOPUS、ZGKJHX、ZMATH、核心刊

摘　　要：给出了一种约减观察变量方法——假设所有的状态变量都不是观察变量,在此基础上逐步增加必要的观察变量,从而最终得到一个必要的观察变量集合.在添加必要的观察变量过程中,该方法不要求得到所有变量的相关信息,从而具有更好的通用性.根据是否存在单个观察变量能够区分域中任意两个状态的问题,分别给出了两种约减观察变量方法:当存在一个观察变量可以区分规划域中任意两个状态时,算法可以得到一个最小的观察变量集合;当不存在这样一个观察变量时,算法可以得到一个尽可能小的观察变量集合,但不能保证该集合最小.

关 键 词：强规划  部分可观察规划  部分可观察强规划  约减观察变量  不确定规划  

分 类 号：TP18]