知识表示方法中状态空间法、问题规约法、谓词逻辑法、语义网络总结
来源:互联网 发布:nga178魔兽世界数据库 编辑:程序博客网 时间:2024/06/15 08:07
(1)状态空间法:
问题的状态空间时一个表示该问题全部可能状态及其关系的图,它包含三种说明的集合,即所有可能的问题初始状态集合S、操作符集合F以及目标状态集合G。因此,把状态空间记为三元状态(S,F,G)。
要完成某个问题的状态描述,必须确定三件事:一是该状态描述方式,特别是初始状态描述;二是操作符集合及其对状态描述的作用;三是目标状态描述的特性。
旅行商问题(下面分别是原图和状态空间法表示的图像)
(2)问题规约法:
从目标(要解决的问题)出发逆向推理,建立子问题以及子问题的子问题,直到最后把初始问题规约为一个平凡的本原问题集合。这就是问题规约的实质。它由三个部分组成:一是一个初始问题的描述;二是一套把问题变换为子问题的操作符;三是一套本原问题描述。
梵塔问题
(3)谓词逻辑法:
采用谓词合适公式和一阶谓词演算把要解决的问题变为一个有待证明的问题,然后采用消解定理和消解反演来证明一个新语句是从已知的正确语句导出的,从而证明这个新语句也是正确的。谓词逻辑是一种形式语言,能够把数学中的逻辑论证符号化。谓词逻辑法常与其它表示方法混合使用,灵活方便,可以表示比较复杂的问题。
eg. For every set x , there is a set y , such that the cardinality of y is greater than the cardinality of x.
(4)语义网络法:
语义网络是知识的一种结构化图解表示,它由节点和弧线或链线组成。节点用于表示实体、概念和情况等,弧线用于表示节点间的关系。语义网络表示由四个相关部分组成:一是词法部分,决定表示词汇表中允许有哪些符号,它涉及各个节点和弧线;二是结构部分,叙述符号排列的约束条件,指定各弧线连接的节点对;三是过程部分,说明访问过程,这些过程能用来建立和修正描述以及回答相关问题;四是语义部分,确定与描述相关的意义的方法即确定有关节点的排列及其占有物和对应弧线。
方法的评价:
(1)状态空间法需要扩展过多的节点,容易出现“组合爆炸”,因而只适用于比较简单的问题。
(2)问题规约法比状态空间法更有效地表示问题。状态空间法是问题规约法的特例。
(3)谓词逻辑是一种形式语言,能够把数学中的逻辑论证符号化。谓词逻辑法常与其他表示方法混合使用,灵活方便,可以表示比较复杂的问题。
(4)语义网络可用于表示多元关系,扩展后可以表示更复杂的问题。
- 知识表示方法中状态空间法、问题规约法、谓词逻辑法、语义网络总结
- 知识表示:状态空间法
- 2.3 谓词逻辑表示
- 2.4 语义网络表示
- 2.1 状态空间表示
- 谓词逻辑
- 谓词逻辑
- 人工智能—问题规约法(Reduction)[二]
- 人工智能—问题规约法(Reduction)[一]
- 语义网络和知识图谱
- (续上文) 一阶谓词逻辑和知识绑定
- 数组谓词查询法 NSPredicate
- 空间坐标变换的矩阵表示法
- 常用知识表示方法
- 知识表示方法
- 语义网络,语义网,链接数据和知识图谱
- 迷宫寻路问题——一阶谓词逻辑
- 语义WEB 及 描述逻辑动态逻辑 总结
- 【codevs 2833】奇怪的梦境
- 程序=数据结构+算法
- List,Map,Set特点
- thinkphp where 查询比较相同一个表中两个字段值
- 【copy-list-with-random-pointer】
- 知识表示方法中状态空间法、问题规约法、谓词逻辑法、语义网络总结
- 元数据
- jsday10补充(完整的注册表单 校验为了客户体验效果 客户端校验是为了安全 较强的检验方法)
- 06 JS的事件(Event)
- pat 乙级 1002. 写出这个数 (20)
- windows下安装配置jdk
- 嵌入式Linux驱动学习笔记(一)------第一个LED驱动程序
- git 常用指令
- Leetcode-1. Two Sum