Atitit 六种知识表示法 目录 1. 知识的静态描述和动态描述 1 1.状态空间表示 以状态和运算符(operator) 1 2.问题归约表示（函数式？？ 1 (1)一个初始问题描述; 2 (2)
Atitit 六种知识表示法
目录
1. 知识的静态描述和动态描述 1
1.状态空间表示 以状态和运算符(operator) 1
2.问题归约表示（函数式？？ 1
(1)一个初始问题描述; 2
(2)一套把问题变换为子问题的操作符; 2
(3)一套本原问题描述（不能再被分割的问题）； 2
3.谓词逻辑表示 spo 3
4.语义网络表示 3
5.框架表示 框架( frame，类似于class 4
6.过程表示 过程( procedure)表示 4
2. Ati觉得其他表示法 5
2.1. 表格表示法 （标示实体与动作 5
2.2. Ast语法书表示法 5
2.3. 源码表示法 5
3. 知识图谱技术的挑战主要表现在知识表示、知识获取和知识应用等三个方面。 5
- 知识的静态描述和动态描述
1.状态空间表示 以状态和运算符(operator)
问题求解(problem solving)是个大课题,它涉及归约、推断、决策、规划、常识推理、定理证明和相关过程等核心概念。在分析了人工智能研究中运用的问题求解方法之后,就会发现许多问题求解方法是采用试探搜索方法的。
也就是说,这些方法是通过在某个可能的解答空间内寻找一个解来求解问题的。这种基于解答空间的问题表示和求解方法就是状态空间法,它是以状态和算符(operator)为基础来表示和求解问题的。
2.问题归约表示（函数式？？
问题归约( problem reduction)是另一种基于状态空间的问题描述与求解方法。已知问题的描述,通过一系列变换把此问题最终变为一个子问题集合;这些子问题的求解可以直接得到,从而解决了初始问题。
问题归约表示可由下列3部分组成:
(1)一个初始问题描述;
(2)一套把问题变换为子问题的操作符;
(3)一套本原问题描述（不能再被分割的问题）；
从目标（要解决的问题）出发逆向推理，建立子问题以及子问题的问题，直至最后把初始问题归约为一个平凡的本原问题集合，这就是问题归约的实质。
predicate calculus
3.谓词逻辑表示 spo
虽然命题逻辑( propositional logic)能够把客观世界的各种事实表示为逻辑命题,但是它具有较大的局限性,不适合于表示比较复杂的问题。谓词逻辑( predicate logic)允许表达那些无法用命题逻辑表达的事情。
逻辑语句,更具体地说,一阶谓词演算( first order predicate calculus)是一种形式语言，其根本目的在于把数学中的逻辑论证符号化。如果能够采用数学演绎的方式证明一个新语句是从那些已知正确的语句导出的，那么也就能断定这个新语句也是正确的。
4.语义网络表示
语义网络是知识的一种结构化图解表示,它由节点和弧线或链线组成。节点用于表示实体、概念和情况等,弧线用于表示节点间的关系。
语义网络表示由下列4个相关部分组成：
(1)词法部分 决定词汇表中允许有哪些符号,它涉及各个节点和弧线。
(2)结构部分 叙述符号排列的约束条件,指定各弧线连接的节点对。
(3)过程部分 说明访问过程,这些过程能用来建立和修正描述,以及回答相关问题
(4)语义部分 确定与描述相关的(联想)意义的方法,即确定有关节点的排列及其占有物和对应弧线。
procedure
5.框架表示 框架( frame，类似于class
心理学的研究结果表明,在人类日常的思维和理解活动中,当分析和解释遇到新情况时,要使用过去经验积累的知识。这些知识规模巨大而且以很好的组织形式保留在人们的记忆中。例如,当走进一家从未来过的饭店时,根据以往的经验,可以预见在这家饭店将会看到菜单、桌子、服务员等。当走进教室时,可以预见在教室里可以看到椅子、黑板等。
人们试图用以往的经验来分析解释当前所遇到的情况,但无法把过去的经验一一都存在脑子里,而只能以一个通用的数据结构的形式存储以往的经验。这样的数据结构称为框架( frame)。框架提供了一个结构,一种组织。在这个结构或组织中,新的资料可以用经验中得到的概念来分析和解释。因此,框架也是一种结构化表示法。
6.过程表示 过程( procedure)表示
语义网络和框架等知识表示方法,均是对知识和事实的一种静止的表达方法,称这类知识表达方式为陈述式知识表达,它强调的是事物所涉及的对象是什么,是对事物有关知识的静态描述,是知识的一种显示表达形式。而对于如何使用这些知识,则通过控制策略来决定。
与知识的陈述式表示相对应的是知识的过程( procedure)表示。所谓过程表示就是将有关某一问题领域的知识,连同如何使用这些知识的方法,均隐式地表达为一个求解题的过程。它所给出的是事物的一些客观规律,表达的是如何求解问题。知识的描述形式就是程序,所有信息均隐含在程序之中。从程序求解问题的效率上来说,过程式表达的效率要比陈述式表达高得多。但因其知识均隐含在程序中,因而难以添加新知识和扩充功能,适用范围较窄。
- Ati觉得其他表示法
- 表格表示法 （标示实体与动作
- Ast语法书表示法
- 源码表示法
- 知识图谱技术的挑战主要表现在知识表示、知识获取和知识应用等三个方面。
在知识表示层面，越来越多的领域应用不仅仅需要关联事实这种简单知识表示，还要表达包括逻辑规则、决策过程在内的复杂知识；需要同时表达静态知识和动态知识。单单知识图谱已经不足以解决领域的很多实际问题。如何去增强知识图谱的语义表达能力，如何综合使用多种知识表示来解决实际应用中的复杂问题是非常重要的研究课题。
Atitit 六种知识表示法 目录 1. 知识的静态描述和动态描述 1 1.状态空间表示 以状态和运算符(operator) 1 2.问题归约表示（函数式？？ 1 (1)一个初始问题描述; 2 (2)相关推荐
- 你应该了解的JNI知识(一)——静态注册与动态注册
最近一直在做native这边的跨平台开发,整个结构基本就是下图: 大体说来就是,底层C/C++代码.那么对于两端分别有不同的处理: 对于Android端而言,由于需要给Java端使用,因此需要提供JN ...
- linux库知识，静态库和动态库
在xmeeting中,关于usb手柄部分,采用动态库调用方式,下面翻译一篇David A. Wheeler写的文章.文章就如何创建和使用静态库,共享库以及动如何动态装载库进行了论述.内容纲要如下: ...
- 《Java疯狂讲义》第3章(数据类型和运算符)：博主李俊德的阅读笔记与知识拓展
一.问题背景 博主在准备应聘的笔试.面试时,再次采用了多年以来的Java工具书<Java疯狂讲义>,并决定在每章详细复习后都要在博客中写下详细的阅读笔记. 二.阅读笔记与知识拓展--< ...
- 内存的基础知识（常用数量单位、进程运行原理、存储单元、内存地址、绝对装入、静态重定位、动态重定位、静态链接、动态链接等）
文章目录 前言 知识总览 什么是内存?有何作用? 几个常用的数量单位 进程的运行原理--指令 逻辑地址vs物理地址 进程运行的基本原理 装入模块装入内存 装入的三种方式 1.绝对装入 2.静态重定位 ...
- 网络编程知识预备(2) —— 三次握手与四次挥手、半连接状态、2MSL
参考:网络编程知识预备(2) --三次握手与四次挥手.流量控制(滑动窗口).拥塞控制.半连接状态.2MSL_行稳方能走远的博客-CSDN博客 目录 一.三次握手 什么是三次握手? 三次握手图解 三次握 ...
- 11.12-15.书籍详情页面的静态实现和动态数据绑定(有重要知识)
Chapter:11.前端页面开发 11.12-15.书籍详情页面的静态实现和动态数据绑定(有重要知识) 展示层代码 太长了,为了避免影响阅读体验放后面了,主要就是 html 结构,css 样式, ...
- JavaWeb开发---B/S和C/S模式 tomcat服务器 Tomcat项目部署和发布 静态网页和动态网页 tomcat对web项目的目录要求 使用idea开发工具创建web项目 设置默认首页
目录 1. B/S和C/S模式 1.1 C/S模式 1.2 B/S模式 1.3 B/S和C/S区别 2.服务器 3.web 服务器 3.1.IIS 3.2.Tomcat 3.3.Zeus 3.4.Ng ...
- 通信错误：(-1)[描述:无法解析路由器DDNS地址,请检查DDNS状态.] 解析办法
EasyRadius提示:通信错误:(-1)[描述:无法解析路由器DDNS地址,请检查DDNS状态.] 出现以上问题,和easyradius没有直接的联系,主要产生原因有两种可能: 可能1:easyr ...
- 路由相关知识，静态路由、默认路由、浮动路由的概念以及基本设置
路由相关知识,静态路由.默认路由.浮动路由的概念以及基本设置 选取最佳路由时的标准 路由表 路由表的形成 静态路由概念 静态路由的优点和缺点 默认路由 浮动路由 路由协议分类 静态路由.默认路由.浮动 ...
- 用过C#的朋友可能认为它是一种十分安全的语言，其实C#也可以做到经典的缓冲区溢出。 本文章将用一个实例来描述C#究竟是如何发生缓冲区溢出的！ 首先建立一个C# Console工程，并开启工程的“允许
用过C#的朋友可能认为它是一种十分安全的语言,其实C#也可以做到经典的缓冲区溢出. 本文章将用一个实例来描述C#究竟是如何发生缓冲区溢出的! 首先建立一个C# Console工程,并开启工程的&quo ...
最新文章
- linux中使用apt-get安装软件包的时候报错：E: Could not get lock /var/lib/dpkg/lock-frontend
- 招财铃：即时通信整合，
- html:(27):类和ID选择器的区别和子选择器
- HDU 2844 Coins 多重背包
- smtplib python教程_Python基于smtplib实现异步发送邮件服务
- java string number_Java 学习（6）：java Number Math String 数组...常用类型
- 博客园的第一篇文章-----述学习编程的开始与经历
- ip头ttl_TCP/IP协议详解内容总结，看完恍然大悟
- 关系抽取;串联抽取和联合抽取论文总结
- php大量邮件,PHPMailer批量发送邮件的实例代码
- CCNA-静态路由实验
- 区块链中的节点是什么意思？
- 华为鸿蒙推送机型,华为鸿蒙系统开始推送，这15款机型可率先升级，有你的吗？...
- 如何设置 Mac 键盘的打字音效?
- 跟我学c++中级篇——concepts的几个应用
- java先进先出 循环队列_java队列--先进先出（循环队列、链队列）
- AIX存储LV PV VG
- Gym - 102920 C - Dessert Café （思维）
- 爆肝一周，用Python在物联网设备上写了个智能语音助手
- 贝塞尔曲线绘制原理 unity 3d实现绘制贝塞尔曲线