辩论推理系统的语义计算

本书采用类似于算法理论中“分而治之”的策略和“有效利用上次计算结果”的策略,建立了一种基于“划分”的辩论语...

2015.3