一种新的基于规划的可满足性过渡编码方案][A Novel Transition Based Encoding Scheme for Planning as Satisfiability]

一种新的基于规划的可满足性过渡编码方案 A Novel Transition Based Encoding Scheme for Planning as Satisfiability


课程网址:	http://videolectures.net/aaai2010_huang_ant/
主讲教师:	Ruoyun Huang
开课单位:	圣路易斯华盛顿大学
开课时间:	信息不详。欢迎您在右侧留言补充。
课程语种:	英语
中文简介:	规划作为一种可满足性是规划的主要方法，具有许多突出的优点。现有的规划作为一种可满足性技术，通常采用条带形式编制的编码。介绍了一种新的基于SAS+形式化的SAT编码方案。它利用了SAS+形式主义中的结构信息，导致更紧凑的SAT实例和减少最多50倍的从句数量。结果表明，该编码方案在时间和存储效率方面均优于基于条带的编码。
课程简介:	Planning as satisfiability is a principal approach to planning with many eminent advantages. The existing planning as satisfiability techniques usually use encodings compiled from the STRIPS formalism. We introduce a novel SAT encoding scheme based on the SAS+ formalism. It exploits the structural information in the SAS+ formalism, resulting in more compact SAT instances and reducing the number of clauses by up to 50 fold. Our results show that this encoding scheme improves upon the STRIPS-based encoding, in terms of both time and memory efficiency.
关键词:	基于规划; 满足性; 过渡编码方案
课程来源:	视频讲座网
最后编审:	2019-10-30：cwx
阅读次数:	50

境外开放课程导航