把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