作者：廖备水著
出版社： 浙江大学出版社
CIP号：2015004935
书号：978-7-308-14325-7
出版地：杭州
出版时间：2015.3
定价：￥78.0
本书采用类似于算法理论中“分而治之”的策略和“有效利用上次计算结果”的策略，建立了一种基于“划分”的辩论语义计算理论体系，在此基础上，利用回答集编程理论和现有的回答集求解器，构建相应的实现方法和系统原型，并通过程序测试来评估系统的性能，从而解决静态/动态辩论系统语义计算的低效问题，有着重要的理论意义和应用价值。