回答集编程背景（Answer Set Programming）
摘要：
毕业设计跟的导师是研究计算机理论的，花了三个月学习符号逻辑，试图优化一个回答集程序的求解器（Answer set solver）。比起眼花缭乱的前端框架和热闹的社区讨论，符号逻辑就是一个挺小众的数学领域。一讲到逻辑程序就会涉及一大堆的概念 ，伴随一大堆数理逻辑的符号，令有兴趣的新手望而却步。此篇博文 阅读全文
posted @ 2017-04-21 19:34 Kinsang 阅读(5156) 评论(1) 推荐(0) 编辑
