人工智能课件演示教学.ppt

2020/6/12 31 第二章 知识表达技术 2 ． 6 知识的逻辑表达方法 谓词逻辑表达法的应用 自动问答系统 —— Green 的 QA-3 为一 通用系统 ，推理采用 归结法 ，控制采用 启发式 ，无约束的归结是 完备 的 机器人行动规划系统 —— Fikes 等设计的 STRIPS 含两类过 程：问题应答过程、规划和解决问题的过程。前者采用 的是 归结法， 后者采用是 手段 - 目标分析法 机器博弈系统 —— Filman 等设计的 FOL 系统是一 证明系统 。 证明采用 一阶谓词逻辑 说明，演绎采用 Prawitz 的 自然演 绎系统 ，逻辑 精确性 ，过程控制 形式化 问题求解系统 —— Kowalski 等设计的 PS 系统，直接用 逻 辑子句 表示知识， 简易方便 2020/6/12 32 第二章 知识表达技术 2 ． 7 语义网络 1968 Quillian 提出概念； 1970 Simmon 用于自然语言理解的研究 概念 语义网络 是一种采用网络形式表示人类知识的方法 形式上， 一个语义网络为一个带标识的有向图 内容组织上， 4 个相关部分组成 ① 词法部分 ：决定表示词汇表中允许有哪些符号，它涉及各个结点 和弧线 ② 结构部分 ：叙述符号排列的约束条件，指定各弧线连接的结点对 ③ 过程部分 ：说明访问过程，能用于建立和修正描述，以及回答相 关问题