精华内容
下载资源
问答
  • 【人工智能导论】第2讲 一阶谓词逻辑知识表示法
    千次阅读
    2021-01-25 18:38:15

    2.1 命题逻辑

    • 命题:一个非真即假的陈述句。
    • 若命题的意义为真,称它的真值为真,记为 T T T
    • 若命题的意义为假,称它的真值为假,记为
    更多相关内容
  • 知识表示(knowledge representation)就是将人类知识形式化或者模型化。 知识表示的目的是能够让计算机存储和运用人类的知识。已有知识表示方法大都是在进行某项具体研究时提出来的,有一定的针对性和局限性,目前...

    知识表示(knowledge representation)就是将人类知识形式化或者模型化。
    知识表示的目的是能够让计算机存储和运用人类的知识。已有知识表示方法大都是在进行某项具体研究时提出来的,有一定的针对性和局限性,目前已经提出了许多知识表示方法。
    常用的有:产生式表示法、框架表示法、状态空间表示法

    框架表示法

    1975年,美国著名的人工智能学者明斯基提出了框架理论。该理论基于人们对现实世界中各种事物的认识都以一种类似于框架的结构存储在记忆中,当面临一个新事物时,就从记忆中找出一个合适的框架,并根据实际情况对其细节加以修改、补充,从而形成对当前事物的认识。例如,一个人走进一个教室之前就能依据以往对“教室”的认识,想象到这个教室一定有四面墙,有门、窗、天花板和地板,有课桌、凳子、讲台、黑板等。尽管他对这个教室的大小、门窗的个数、桌凳的数量、颜色等细节还不清楚,但对教室的基本结构是可以预见的。因为他通过以往看到的教室,已经在记忆中建立了关于教室的框架,该框架不仅指出了相应事物的名称(教室),而且还指出了事物各有关方面的属性(如有四面墙、有课桌、有黑板等)。通过对该框架的查找,就很容易得到教室的各个特征。在他进入教室后,经观察得到了教室的大小、门窗的个数、桌凳的数量、颜色等细节,把它们填入教室框架中,就得到了教室框架的一个具体事例。这是他关于这个具体教室的视觉形象,称为事例框架。
    框架表示法是一种结构化的知识表示方法,目前已在多种系统中得到应用。

    一、框架的一般结构

    框架(frame)是一种描述所论对象(一个事物、事件或概念)属性的数据结构。
    一个框架由若干个被称为“槽”(slot)的结构组成,每一个槽又可根据实际情况划分为若干个“侧面”(facet)。一个槽用于描述所论对象某一方面的属性。一个侧面用于描述相应属性的一个方面。槽和侧面所具有的属性值分别被称为槽值和侧面值。在一个用框架表示知识的系统中一般都含有多个框架,一个框架一般都含有多个不同槽、不同侧面,分别用不同的框架名、槽名及侧面名表示。对于框架、槽或侧面,都可以为其附加上一些说明性的信息,一般是一些约束条件,用于指出什么样的值才能填入到槽和侧面中去。
    下面给出框架的一般表示形式:
    在这里插入图片描述
    在这里插入图片描述
    由上述表示形式可以看出,一个框架可以有任意有限数目的槽;一个槽可以有任意有限数目的侧面;一个侧面可以有任意有限数目的侧面值。槽值或侧面值既可以是数值、字符串、布尔值,也可以是一个满足某个给定条件时要执行的动作或过程,还可以是另一个框架的名字,从而实现一个框架对另一个框架的调用,表示出框架之间的横向联系。约束条件是任选的,当不指出约束条件时,表示没有约束。

    二、用框架表示知识的例子

    下面举一些例子,说明建立框架的基本方法。
    例2.1 教师框架
    框架名:<教师>
    姓名:单位(姓、名)
    年龄:单位(岁)
    性别:范围(男、女),缺省:男
    职称:范围(教授、副教授、讲师、助教),缺省:讲师
    部门:单位(系、教研室)
    地址:<住址框架>
    工资:<工资框架>
    开始工作时间:单位(年、月)
    截止时间:单位(年、月),缺省:现在

    该框架共有九个槽,分别描述了“教师”九个方面的情况,或者说关于“教师”的九个属性。在每个槽里都指出了一些说明性的信息,用于对槽的填值给出某些限制。“范围”指出槽的值只能在指定的范围内挑选,如“职称”槽,其槽值只能是“教授”、“副教授”、“讲师”、“助教”中的某一个,不能是“工程师”等别的职称;“缺省”表示当相应槽不填入槽值时,就以缺省值作为槽值,这样可以节省一些填槽的工作。例如,对“性别”槽,当不填入“男”或“女”时,就默认它是“男”,这样对于男性教师就可以不填这个槽的槽值。
    对于上述这个框架,当把具体的信息填入槽或侧面后,就得到了相应框架的一个事例框架。例如,把某教室的一组信息填入“教师”框架的各个槽,就可得到:
    框架名:<教师-1>
    姓名:夏冰
    年龄:36
    性别:女
    职称:副教授
    部门:计算机系软件教研室
    地址:
    工资:
    开始工作时间:1988.9
    截止时间:1996.7

    例2.2 关于自然灾害的新闻报道中所涉及的事实经常是可以预见的,这些可预见的事实就可以作为代表所报道的新闻中的属性
    例如,将下列一则地震消息用框架表示:“某年某月某日,某地发生6.0级地震,若以膨胀注水孕震模式为标准,则三项地震前兆中的波速比为0.45,水氡含量为0.43,地形改变为0.60。”
    解:地震消息框架如下图所示。
    在这里插入图片描述
    “地震框架”也可以是“自然灾害事件框架”的子框架,“地震框架”中的值也可以是一个子框架,如图中的“地形改变”就是一个子框架。
    框架表示法最突出的特点是便于表达结构性知识,能够将知识的内部结构关系及知识间的联系表示出来,因此它是一种结构化的知识表示方法,这是产生式知识表示方法不具备的。产生式系统中的知识单位是产生式规则,这种知识单位太小而难于处理复杂问题,也不能将知识间的结构关系表示出来。产生式规则只能表示因果关系,而框架表示法不仅可以表示因果关系,还可以表示更复杂的关系。
    框架表示法通过使槽值为另一个框架的名字实现不同框架间的联系。建立表示复杂知识的框架网络。在框架网络中,下层框架可以继承上层框架的槽值,也可以进行补充和修改,这样不仅减少了知识的冗余,而且较好地保证了知识的一致性。

    三、总结

    框架是一种描述所论对象(一个事物、事件或概念)属性的数据结构。
    一个框架由若干个被称为“槽”的结构组成,每一个槽又可根据实际情况划分为若干个“侧面”。一个槽用于描述所论对象某一方面的属性。一个侧面用于描述相应属性的一个方面。槽和侧面所具有的属性值分别被称为槽值和侧面值。

    展开全文
  • 博客中思维导图的高清PDF版本,可关注公众号 一起学计算机 点击 资源获取 获得 目录 2.1知识与知识表示的概念 2.2命题逻辑 2.3谓词逻辑 ​2.4谓词逻辑表示法 2.1知识与知识表示的概念 2.2命题逻辑 2.3谓词逻辑 2.4...

    本文内容为浙江工业大学王万良慕课课程的课程讲义, 将其整理为OneNote笔记同时添加了本人上课时的课堂笔记, 且主页中的思维导图就是根据课件内容整理而来,

    为了方便大家和自己查看,特将此上传到CSDN博文中, 源文件已经上传到我的资源中,有需要的可以去看看,

    我主页中的思维导图中内容大多从我的笔记中整理而来,相应技巧可在笔记中查找原题, 有兴趣的可以去 我的主页 了解更多计算机学科的精品思维导图整理

    本文可以转载,但请注明来处,觉得整理的不错的小伙伴可以点赞关注支持一下哦!

    博客中思维导图的高清PDF版本,可关注公众号 一起学计算机 点击 资源获取 获得

    目录

    2.1知识与知识表示的概念

    2.2命题逻辑

    2.3谓词逻辑

    ​2.4谓词逻辑表示法


    2.1知识与知识表示的概念


    2.2命题逻辑


    2.3谓词逻辑


    2.4谓词逻辑表示法

     

     

     

     

     

     

     

     

    展开全文
  • 第2章 知识表示方法 2.1 状态空间 2.2 问题归约 2.3 谓词逻辑;2.3 谓词逻辑 数理逻辑符号逻辑是用数学方法研究形式逻辑的一个分支它通过符号系统来表达客观对象以及相关的逻辑推理常用的是命题逻辑和谓词...
  • 产生式通常用于表示事实、规则以及它们的不确定性度量,适合于表示事实性知识和规则性知识。 确定性规则性知识的产生式表示: 基本形式是: IF P THEN Q 或者 P -> Q 读作P产生Q P是前提,Q是结论 产生式编号...

    产生式通常用于表示事实、规则以及它们的不确定性度量,适合于表示事实性知识和规则性知识。

    确定性规则性知识的产生式表示:
    基本形式是:
    IF P THEN Q
    或者
    P -> Q
    读作P产生Q

    P是前提,Q是结论
    产生式编号:
    在这里插入图片描述
    不确定性规则性知识的产生式表示:
    基本形式是:
    IF P THEN Q (置信度)
    或者
    P ->Q (置信度)

    例如:
    如果发烧了,那么有可能是感冒了 这条知识可以用产生式表示为:
    IF 发烧 THEN 感冒 (0.6)

    确定性事实性知识的产生式表示:
    确定性事实一般用三元组表示:
    (对象,属性,值)
    或者是:
    (关系,对象1,对象2)
    例如,老李的年龄是40岁,表示为 (Li,Age,40),老李和老王是朋友,表示为(Friend,Li,Wang)

    不确定性事实性知识的产生式表示:
    不确定性事实一般用四元组表示:
    (对象,属性,值,置信度)
    或者是:
    (关系,对象1,对象2,置信度)

    例如:老李的年龄很可能是40岁,表示为(Li,Age,40,0.8),老李和老王不大可能是朋友,表示为(Friend,Li,Wang,0.1)。

    逻辑蕴涵式与产生式的关系:
    逻辑蕴涵式是指 A ->B 为永真式。
    产生式不仅包含逻辑蕴涵式,还包含各种操作,规则,变换,算子,函数等。
    蕴涵式只能表示确定性知识,而产生式不仅可以表示确定性知识,还可以通过增加置信度的方式表示不确定性知识。

    产生式的描述方法:
    在这里插入图片描述

    展开全文
  • 经典知识表示理论
  • 研究证实,人类从一出生即开始累积庞大且复杂的数据库,包括各种文字、数字、符码、味道、食物、线条、颜色、公式、声音等,大脑惊人的储存能力使我们累积了海量的资料,这些资料构成了人类的认知知识基础。...
  • 不确定性事实性知识的产生式表示3.2 产生式系统3.3 产生式系统的例子——动物识别系统3.4 产生式表示法的特点3.5 框架表示法3.5.1 框架的一般结构3.5.2 用框架表示知识的例子例1 教师框架例2 教师框架例3 教室框架...
  • 知识表示:用计算机符号来描述人脑中的知识,以及通过符号之间的运算来模拟人脑的推理过程。 语义网核心:RDF OWL 知识表示方法  一阶谓词逻辑表示法  产生式规则表示法  框架表示法  语义网表示法  ...
  • 语义网络是知识表示中最重要的方法之一,是一种表达能力强而且灵活的知识表示方法。语义网络利用节点和带标记的边结构的有向图描述事件、概念、状况、动作及客体之间的关系。带标记的有向图能十分自然的描述客体之间...
  • 第二章 知识表示方法;内容简介;2.1.1 知识;...例用谓词公式表示下列知识;1 定义谓词 N(x ) 表示 x 是自然数 I(x ) 表示 x 是整数 E(x ) 表示 x 是偶数 O(x ) 表示 x 是奇数 GZ(x ) 表示 x 大于零 S
  • 第二章 知识表示方法课后习题及答案 一 选择题 1下列说法正确的是 C (A)置换可以交换 (B)公式集总可以合一 (C)语义网络是知识的图解表示 (D)时间是春天的实例 2. 在表示和求解比较复杂的问题时往往采用哪些表示方法 ...
  • 人工智能--语义网络表示法

    万次阅读 多人点赞 2019-03-26 16:20:01
    文章目录概念常用的基本语义关系事物与概念的表示语义网络表示一元关系较复杂关系的表示方法情况和动作的表示语义网络的基本推理过程继承匹配 概念 语义网络:语义网络是一种用实体及其语义关系来表达知识的有向图...
  • 人工智能一阶谓词逻辑表示法

    万次阅读 2018-12-22 16:51:39
    一阶谓词逻辑表示法是一种重要的知识表示方法,它以数理逻辑为基础,是到目前为止能够表达人类思维活动规律的一种最精准形式语言。它与人类的自然语言比较接近,又可方便存储到计算机中去,并被计算机进行精确处理。...
  • AI:产生式表示法

    千次阅读 2020-04-22 11:01:54
    表示2.1 确定性规则知识2.2 不确定性规则知识2.3 确定性事实性知识2.4 不确定性事实性知识3. 产生式与蕴含3.1 适用范围不同3.2 表示范围不同4. 巴克斯范式 BNF5. 产生式系统5.1 定义5.2 组成5.2.1 规则库5.2.2 综合...
  • 知识表达基本知识表达谓词逻辑规则等结构化知识表达法语义网框架脚本等2.1.2 用谓词逻辑表示知识 例用谓词公式表示下列句子 A formula whose main connective is a is equivalent to some formula whose main ...
  • 《人工智能》之《知识表示方法》

    千次阅读 2020-09-15 23:16:42
    《人工智能》之《知识表示方法》1 状态空间(State Space Representation)1.1 问题状态描述1.2 状态图示1.3 示例:修道士(Missionaries)和野人(Cannibals)问题2 问题归约(Problem Reduction Representation...
  • 是......”的形式出现)、过程性知识(规则、定律、定理构成)、控制性知识(元知识或超知识,是知识库中的高层知识); ④按确定性:确定性知识、不确定性知识; ⑤按等级:零级知识(陈述性知识或事实性知识,...
  • 知识表示之一——谓词逻辑表示法

    千次阅读 2013-03-22 16:10:00
    谓词逻辑表示法是指各种基于形式逻辑(formal Logic)的知识表示方式,利用逻辑公式描述对象、性质、状况和关系,例如“宇宙飞船在轨道上”可以描述成:In(spaceship,orbit)。它是人工智能领域中使用最早和最广泛的...
  • 人工智能原理笔记------知识表示方法
  • 人工智能——语义网络表示法

    千次阅读 2019-09-19 17:06:45
    朋友们,我是床长!... 1968年奎廉提出的博士论文《人类联想记忆的一个显示心理学模型》中最先提出来的。 1.语义网络的概念 ...2.知识的语义网络表示 1) 用语义网络表示事实 图1用语义网络表...
  • AI基础-知识表示与分类

    千次阅读 2017-11-13 23:20:33
    知识与知识表示  人类的智能活动过程主要是一个获得并运用知识的过程,知识是智能的基础,知识是需要用适当的模式表示出来才能存储到计算机中去。  一、 知识  数据:用一组符号及其组合表示的...
  • 陈述性知识表示法与过程性知识表示法的区别是什么 ? 在选择知识的表示方法时应该考虑哪些主要因素 ? 一阶谓词逻辑表示法适合于表示哪种类型的知识 ?它有哪些特点 ? 请写出用一阶谓词逻辑表示法表示知识的步骤 设有...
  • 《人工智能》之《知识表示方法》习题解析1 状态空间、问题归约、谓词逻辑和语义网络的要点是什么?它们有和本质上的联系及异同点?2 传教士和野人问题3 最短旅行路径4 电网络阻抗5 四圆盘梵塔问题6 用谓词...
  • 【判断题】在现代人力资源管理中,员工的知识水平和技能已不再是影响工作绩效的唯一重要因素,员工的态度、观念对企业生产力及企业效益的影响日益加强。【判断题】实例属性一般是指在构造函数__init__()中定义的,定义...
  • 一 单项选择题每小题2分共10分 1.首次提出人工智能是在D 年 A.1946 B.1960 C.1916 D.1956 2.... 下列不是知识表示法的是 A A计算机表示法 B与/或图表示法 C状态空间表示法 D产生式规则表示法 4. 下列关于不确定性
  • 第2章 知识表示 第3章 确定性推理方法 第1章 绪论 从学科和能力的角度深刻理解人工智能的定义,初步了解人工智能的起源及其发展过程。重点掌握人工智能的几种定义,掌握目前人工智能的三个主要学派及对人工智能的...
  • 人工智能:第二章 知识表示方法

    千次阅读 2015-12-07 19:46:59
    教学内容:本章讨论知识表示的各种方法,是人工智能课程三大内容(知识表示、知识推理、知识应用)之一,也是学习人工智能其他内容的基础。 教学重点:状态空间、问题归约、谓词逻辑、语义网络。 教学...
  • 一 单项选择题每小题 2 分共 10 分 1. 首次提出人工智能是在 D 年 A.1946 B.1960 C.1916 D.1956 2.... 下列不是知识表示法的是 A A计算机表示法 B与/ 或图表示法 C状态空间表示法 D产生式规则表示法 4.

空空如也

空空如也

1 2 3 4 5 ... 20
收藏数 25,453
精华内容 10,181
关键字:

下列不是知识表示法