作者cailinzan (深深深呼吸)
看板NTUEE_VAL
标题[讨论] 再补充
时间Fri Jun 23 15:20:59 2006
把satplan的部分 并加上blackbox
以及现有sat solver的简介
另成一段 成为 related work
参考资料如下:
satplan
http://www.cs.washington.edu/homes/kautz/satplan
以及satplan + graphsat
=blackbox
http://www.cs.washington.edu/homes/kautz/satplan/blackbox/index.htmlsat
solver 简介
SAT-Planning-Notes.pdf 第24页
不用写太深入…介绍就好
另外就是编码还是要考虑frame的问题才能正确描述action的效果
还有如何证明是unsolvable这个部份
所以时间真的很赶…
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 220.134.118.34