vladimir lifschitz
[@more@]本文是scholar.google.com上引用率最高的关于answer set programming的论文。文章主要介绍了用asp的方法,解决计划问题。文中以搬箱子(汉珞塔)为例,建立了一个逻辑程序(一般规则+实际问题知 识),成功求得了搬运的步骤。我想类似的问题还有很多,例如:12个球,猜重量等。
文章的启示是,逻辑程序正逐步从理论走向实用。这个过程中,待解决的问题主要是“实用中的模式问题”。
来自 “ ITPUB博客 ” ,链接:https://blog.itpub.net/287538/viewspace-902297/ ,如需转载,请注明出处,否则将追究法律责任。