枸杞

枸杞的最终目标(实用推理逻辑中的机械推理)-II项目是:在特定的逻辑组合中合成特定推理能力,如溯因、类比、规划和模型建立;标记演绎系统)产生特定的推理能力;探索通用的推理代理中的这些高级推理能力的专业化、实现和集成的体系结构。