2007年
-
编辑 删除
answer set programming and plan generation
vladimir lifschitz[@more@]本文是scholar.google.com上引用率最高的关于answer set programming的论文。文章主要介绍了用asp的方法，解决计划问题。文中以搬箱子（汉珞塔）为例，建立了一个逻辑程序（一般规则＋实际问题知 识），成功求得了搬运的步骤。我想类似的问题还有很多，例如：12个球，猜重量等。文章的启示是，逻辑程序正逐步从理论走向实用。这个过程中，待解决的问题主要是“实用中的模式问题”。
