07一阶逻辑-浙江大学控制科学与工程学院.PDFVIP

人工智能概论人工智能概论人工智能概论人工智能概论 主讲：张建明（控制系） E-mail: jmzhang@iipc.zju.edu.cn MMobilbile:1358801172013588011720 杭州杭州 • 浙江大学浙江大学 • 1 回顾回顾：逻辑智能体逻辑智能体  智能化智能体需要关于世界的知识以达到良好的决策 • 逻辑智能体对知识库进行推理，以导出新的语句，并用它们来决策 。。  逻辑的基本概念 • 表示语言通过语法和语义来定义 • 语句之间的蕴涵关系语句之间的蕴涵关系 • 推理：可靠性和完备性  归结规则产生一个用于表示为合取范式的知识库的完备推理 算法算法。  前向链接和反向链接都是用于以Horn Form表示的知识库的 非常自然的推理算法非常自然的推理算法  命题逻辑缺乏表达能力 一阶逻辑阶逻辑  引进一阶逻辑的背景：命