计算机应用研究2014，Vol.31Issue(2)：404-407,4.DOI:10.3969/j.issn.1001-3695.2014.02.020
基于单逻辑程序的一致性规划任务有限域表示方法
Finite-domain representations of conformant planning tasks based on single logic program
摘要
Abstract
Finite-domain representations (FDR) is one of the best methods to compress the size of state space， but it requires building a logic program for each initial state in grounding stage. Unfortunately the number of the possible initial state in conformant pl关键词
一致性规划/有限域表示/数据记录搜索算法/逻辑程序/PPDDL/信念状态Key words
conformant planning/FDR/datalog exploration/logic program/PPDDL/believe state分类
信息技术与安全科学引用本文复制引用
LI Wei-sheng,LIU Sen-sen..基于单逻辑程序的一致性规划任务有限域表示方法[J].计算机应用研究,2014,31(2):404-407,4.基金项目
国家自然科学基金资助项目(61142011) （61142011）
国家教育部新世纪优秀人才计划资助项目(NCET-11-1085) （NCET-11-1085）
