枸杞

MEDLAR(实践推理逻辑中的机械化演绎)II项目的最终目标是:在给定的逻辑组合中,综合具体的推理能力,如推理、类比、规划和模型构建;开发通用框架(LDS,标记的演绎系统),以产生特定的推理能力;探索在通用实用推理代理中实现和集成这些高级推理能力的体系结构。