- 1、本文档共80页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
(3)默认推理 默认推理又称缺省推理,是在知识不完全的情况下假设某些条件已经具备所进行的推理。也就是说,在进行推理时,如果对某些证据不能证明其不成立的情况下,先假设它是成立的,并将它作为推理的依据进行推理,但在推理过程中,当由于新知识的加入或由于所推出的中间结论与已有知识发生矛盾时,就说明前面的有关证据的假设是不正确,这时就要撤消原来的假设以及由此假设所推出的所有结论,重新按新情况进行推理 2. 按所用知识的确定性分类 按推理时所用知识的确定性来划分,推理可分为确定性推理、不确定性推理。 3. 按推理过程的单调性 按照推理过程中所推出的结论是否单调地增加,或者说按照推理过程所得到的结论是否越来越接近最终目标来分类,推理可分为单调推理与非单调推理。 3.1.3 推理的控制策略 推理过程不仅依赖于所用的推理方法,同时也依赖于推理的控制策略。控制策略包括推理方向、搜索策略、冲突消解策略等;而推理方法则是指在推理控制策略确定之后,在进行具体推理时所要采取的匹配方法或不确定性传递算法等方法。 推理方向用来确定推理的驱动方式,即是数据(证据)驱动或是目标驱动。所谓数据驱动即指推理过程从初始证据开始直到目标结束,而目标驱动则是指推理过程从目标开始进行反向推理,直到出现与初始证据相吻合的结果。 按照对推理方向的控制,推理可分为正向推理、反向推理、混合推理及双向推理四种情况。 正向推理是一种从已知事实出发、正向使用推理规则的推理方式,它是一种数据(或证据)驱动的推理方式,又称前项链推理或自底向上推理。 反向推理是一种以某个假设目标为出发点,反向运用推理规则的推理方式,它是一种目标驱动的推理方式,又称反向链推理或自顶向下推理。 混合推理是把正向推理和反向推理结合起来所进行的推理。 所谓双向混合推理是指正向推理和反向推理同时进行,使推理过程在中间的某一步骤相汇合而结束的一种推理方法。 3.1.4 推理的冲突消解策略 推理过程中的冲突消解策略,就是确定如何从多条匹配规则中选出一条规则作为启用规则,将它用于当前的推理。 目前已有的多种冲突消解策略的基本思想都是对匹配的知识或规则进行排序,以决定匹配规则的优先级别,优先级高的规则将作为启用规则。 常用排序方法有如下几种: 按就近原则排序 按知识特殊性排序 按上下文限制排序 按知识的新鲜性排序 按知识的差异性排序 按领域问题的特点排序 按规则的次序排序 按前提条件的规模排序 3.2 命题逻辑 3.2.1 命题 定义 3.1 能够分辨真假的语句称作命题。 定义3.2 一个语句如果不能再进一步分解成更简单的语句,并且又是一个命题,则称此命题为原子命题。 原子命题是命题中最基本的单位。我们一般用P、Q、R、…大写拉丁字母表示命题,而命题的真与假分别用“T”与“F”表示。 用大写英文字母表示的命题既可以是一个特定的命题,也可以是一个抽象的命题。前者称为命题常量,后者称为命题变量。对于命题变量而言,只有把确定的命题代入后,它才可能有明确的逻辑值(T或F)。 3.2.2 命题公式 1. 连接词 ~:称为“非”或“否定”。 ∨:称为“析取”。 ∧:称为“合取”。 →:称为“条件”或者“蕴含”。 ?:称为“双条件”。P ? Q表示“P当且仅当Q”。 2.命题公式 定义3.3 以下面的递归形式给出命题公式的定义: (1)原子命题是命题公式。 (2)A是命题公式,则~A也是命题公式。 (3)若A和B都是命题公式,则A∧B、A∨B、 A→B、A?B (4)只有按(1)—(3)所得的公式才是命题公式。 命题公式的缺点: 无法把所描述的客观事物的结构和逻辑特征反映出来 不能把不同事物的共同特征反映出来 P:“张三是李四的老师”;仅用字母P看不出张三和李四之间的师生关系。 为了克服命题逻辑的局限性,引入了下面的谓词逻辑 3.3 谓词逻辑 3.3.1 谓词与个体 在谓词逻辑中,将原子命题分解为谓词与个体两部分。 个体是指可以独立存在的物体,可以是抽象的或具体的。 谓词则是用于刻画个体的性质、状态或个体间的关系的。 例如:“李白是诗人” 可表示为:poet(LiBai) poet称为谓词,用以刻画“是诗人”;LiBai称为个体 3.3 谓词逻辑 一个谓词可以与一个个体相关联,此种谓词称作一元谓词,它刻画了个体的性质。一个谓词也可以与多个个体相关联,此种谓词称为多元谓词,它刻画了个体间的“关系”。 谓词的一般
您可能关注的文档
- 聚合物热实验答案.ppt
- 人才服务职业规范与实务(上)说课.ppt
- 人才与人文说课.ppt
- 人参商品说课.ppt
- 聚焦备课组建设,促进教师专业发展答案.ppt
- 人大财务管理学第六版第7章投资决策原理说课.ppt
- 人大马海涛第六版《中国税制》第9章与资源有关的税种说课.ppt
- 聚类的思路和方法答案.ppt
- 人大税收学专栏税收制度变迁说课.ppt
- 通信工程概预算学习探究.ppt
- 2025年一级建造师考试《水利水电工程管理与实务》冲刺必刷卷.docx
- 2025年一级建造师考试《水利水电工程管理与实务》逆袭破题卷1.docx
- 2025年一级建造师考试《市政工程管理与实务》冲刺必刷卷 .docx
- 2025年一级造价工程师考试《建设工程计价》预习卷.docx
- 2025年一级造价工程师考试《建设工程造价管理》预习卷.docx
- 2025年一级造价工程师考试《建设工程造价案例分析(安装专业)》预习卷.docx
- 2025年一级造价工程师考试《建设工程造价案例分析(土建专业)》预习卷.docx
- 2025年中级会计考试《会计实务》冲刺提分卷.docx
- 2025年中级会计考试《财务管理》冲刺提分卷.docx
- 2025年中级会计考试《财务管理》全真模拟卷.docx
文档评论(0)