- 1、本文档共39页,可阅读全部内容。
- 2、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
中南大学 智能系统与智能软件研究所 第二章 知识表示方法 2.1 状态空间法 2.2 问题归约法 2.3 谓词逻辑法 2.4 语义网络法 2.5 其他方法 2.6 小结 2.1状态空间法(State Space Representation) 问题求解技术主要是两个方面: 问题的表示 求解的方法 状态空间法 状态(state) 算符(operator) 状态空间方法 2.1.1 问题状态描述 定义 状态:描述某类不同事物间的差别而引入的一组最少变量q0,q1,…,qn的有序集合。 算符:使问题从一种状态变化为另一种状态的手段称为操作符或算符。 问题的状态空间:是一个表示该问题全部可能状态及其关系的图,它包含三种说明的集合,即三元状态(S,F,G)。 2. 状态空间表示概念详释 例如下棋、迷宫及各种游戏。 例:三数码难题(3 puzzle problem) 2.1.2 状态图示法 有向图 路径 代价 图的显示说明 图的隐示说明 2.1.3 状态空间表示举例 产生式系统(production system) 一个总数据库:它含有与具体任务有关的信息随着应用情况的不同,这些数据库可能简单,或许复杂。 一套规则:它对数据库进行操作运算。每条规则由左部鉴别规则的适用性或先决条件以及右部描述规则应用时所完成的动作。 一个控制策略:它确定应该采用哪一条适用规则,而且当数据库的终止条件满足时,就停止计算。 状态空间表示举例 例:猴子和香蕉问题 解题过程 用一个四元表列(W,x,Y,z)来表示这个问题状态. 这个问题的操作(算符)如下: 2 goto(U)表示猴子走到水平位置U 或者用产生式规则表示为 (W,0,Y,z) goto(U) (U,0,Y,z) pushbox(V)猴子把箱子推到水平位置V,即有 (W,0,W,z) pushbox(V) (V,0,V,z) climbbox猴子爬上箱顶,即有 (W,0,W,z) climbbox (W,1,W,z) grasp猴子摘到香蕉,即有 (c,1,c,0) grasp (c,1,c,1) 该初始状态变换为目标状态的操作序列为 {goto(b),pushbox(c),climbbox,grasp} 猴子和香蕉问题自动演示: 2.2 问题归约法(Problem Reduction Representation) 问题归约表示的组成部分: 一个初始问题描述; 一套把问题变换为子问题的操作符; 一套本原问题描述。 问题归约的实质: 从目标(要解决的问题)出发逆向推理,建立子问题以及子问题的子问题,直至最后把初始问题归约为一个平凡的本原问题集合。 2.2.1 问题归约描述 (Problem Reduction Description) 梵塔难题 解题过程(3个圆盘问题) 多圆盘梵塔难题演示 2.2.2与或图表示 1.与图、或图、与或图 2.一些关于与或图的术语 3.定义 不可解节点的一般定义 没有后裔的非终叶节点为不可解节点。 全部后裔为不可解的非终叶节点且含有或后继节点,此非终叶节点才是不可解的。 后裔至少有一个为不可解的非终叶节点且含有与后继节点,此非终叶节点才是不可解的。 与或图构成规则 梵塔问题归约图 2.3 谓词逻辑法 逻辑语句 形式语言 2.3.1 谓词演算 1. 语法和语义 基本符号 谓词符号、变量符号、函数符号、 常量符号、括号和逗号 原子公式 连词和量词(Connective Quantifiers) 连词 与及合取(conjunction) 或及析取(disjunction) 蕴涵(Implication) 非(Not) 量词 全称量词(Universal Quantifiers) 存在量词 (Existential Quantifiers) 2.3.2 谓词公式 原子公式的的定义: 用P(x1,x2,…,xn)表示一个n元谓词公式,其中P为n元谓词,x1,x2,…,xn为客体变量或变元。通常把P(x1,x2,…,xn)叫做谓词演算的原子公式,或原子谓词公式。 分子谓词公式 可以用连词把原子谓词公式组成复合谓词公式,并把它叫做分子谓词公式。 合适公式(WFF,well-formed formulas) 合适公式的递归定义 合适公式的性质 合适公式的真值 等价(Equivalence) 2.3.3 置换与合一 置换 概念 假元推理 全称化推理 综合推理 定义 就是在该表达式中用置换项置换变量 性质 可结合的 不可交换的 合一(Unification) 合
您可能关注的文档
最近下载
- 细胞与分子生物学实验-实验室常见仪器设备.ppt
- 2024年消防安全月公共消防安全培训火灾防范宣传课件PPT.pptx VIP
- Chemical Love Story-[PiHKAL A ]化学.doc
- 2022-2024年上海市16区中考二模语文试题分类汇编:议论文(详解版).docx VIP
- 动画地图:围魏救赵.ppt
- ABB FPNO-21 PROFINET 总线适配器模块用户手册 手册(中文).pdf
- 电控发动机实训台架的研发.docx VIP
- 堤防工程外观质量及单元工程质量评定表(共有14个表).pdf
- 【专业知识-语法】国际汉语语法教学手册部分5图文.pdf
- 《社会历史的决定性基础》导学案-统编版高中语文选择性必修中册.pdf VIP
文档评论(0)