辩论推理系统的语义计算 英文版

本书采用类似于算法理论中“分而治之”的策略和“有效利用上次计算结果”的策略，建立了一种基于“划分”的辩论语义计算理论体系，在此基础上，利用回答集编程理论和现有的回答集求解器，构建相应的实现方法和系统原型，并通过程序测试来评估系统的性能，从而解决静态/动态辩论系统语义计算的低效问题，有着重要的理论意义和应用价值。