©2016-2024 Matools All rights reserved,
粤ICP备17059708号
<>第2章 知识表示方法
一阶谓语逻辑表示法、产生式表示法、语义网络表示法、框架表示法、面向对象表示法、状态空间表示法。
<>一阶谓语逻辑表示法
连接词：～ 非、∧与合取、∨或析取、→条件、↔双条件
量词：存在 与 任意
举例谓语公式表示知识：
HIGHER (x, y)：x比y长得高
<>产生式表示法
P前提→Q结论 或者 IF P THEN Q 例：“老李年龄是40岁”，可表示为：(Li，Age，40) 例：“老李年龄很可能是40岁”，可表示为：
(Li，Age，40,0.8)
<>语义网络表示法
是通过概念及语义关系表达的一种网络图，带标注的有向图。
常用语义连续：ISA/AKO（是一个），part_of,IS,compose_of,have,located,if-then,before,after,at,a-member-of
<>框架表示法
例 教师框架 解：框架名：<教师> 姓名：单位（姓、名） 年龄：单位（岁） 性别：范围（男、女） 缺省：男 职称：范围（教授、副教授、讲师、助教）
缺省：讲师 部门：单位（学院、教研室） 住址：<住址框架> 工资：<工资框架> 参加工作时间：单位（年，月）
<>面向对象表示法
对象：人 类：鸡、飞禽、动物类在概念上是一种抽象机制，它是对一组相似对象的抽象。 继承....
<>状态空间表示法
<>第3章 归结推理方法
命题、命题公式
<>=1 谓语公式的永真性和可满足性
谓词公式的等价性 化简常用公式 狄摩根定律与量词转换率非常常用！
<>=2 置换与合一
1 置换
{a/x,f(b)/y,w/z}表示为 x=a；y=f(b),z=w
2合一
例1：L1=Q（a,y）,L2=Q(z,f(b))
它们是可以合一的，其合一置换为S={a/z,f(b)/y}，并且S也是最一般合一者mgu。
<>=3归结推理
1范式：
前束形范式：不出现连接词→和 ↔
斯克林（sklolem）范式：将前束范式每个存在量词均在全称量词的前面
斯克林标准型：从前束型范式中消去全部存在量词
合取范式：(A∨B)∧(A∨C)就是一个合取范式
2子句与子句集：谓词公式G的Skolem标准型前面的全称量词全部消去，并用逗号（，）代替合取符号∧，便可得到谓词公式G的子句集S
3归结原理
互补文字（P与~P为互补文字）
<>=4归结原理进行定理证明
对于定理证明，常见的形式是：A1∧A2∧……∧An→B其中，A1∧A2∧……∧An是前提条件，而B则是逻辑结论。
要证明B是A1∧A2∧……∧An的逻辑结论，只需证明：A1∧A2∧……∧An∧~B 是不可满足的即可。
证明过程：
Step1.首先否定结论B，并将否定后的公式~B与前提公式集组成如下形式的谓词公式：
G= A1∧A2∧……∧An∧~B
Step2.求谓词公式G的子句集S。 (化简为斯克林标准形式)
Step3.应用归结（消解）原理，互补消去
消去到最后，为空集NIL；
<>=5归结原理进行问题求解
求解过程
Step1.把已知前提条件用谓词公式表示出来，并化成相应的子句集，设该子句集的名字为S1；
Step2.把待求解的问题也用谓词公式表示出来，然后将其否定
，并与一谓词ANSWER构成析取式。谓词ANSWER是一个专为求解问题而设置的谓词，其变量必须与问题公式的变量完全一致。
Step3.把问题公式与谓词ANSWER构成的析取式（或）化为子句集，并把该子句集与S1合并构成子句集S。
Step4.对子句集S应用消解原理进行消解，在消解过程汇总，通过合一置换，改变ANSWER中的变量。
Step5.如果得到消解式ANSWER，则问题的答案即在ANSWER谓词中。
<>=6归结原理的控制策略
<>第4章 不确定推理法
<>=1不确定推理
分类：模型法（数值方法、非数值方法）、控制方法
基于概率论的基础处理不确定性的方法：可信度方法、主观bayes方 法。
<>=2可信度方法
<>1知识不确定性
知识的不确定性则是以可信度CF(H，E)表示的。其一般形式为IF E THEN H (CF(H，E) )
<>2证据不确定性的表示
例如CF(E)=0.8表示证据E的可信度为0.8。
<>3不确定性的推理计算
<>=3主观bayes法
<>1知识不确定性
<>2证据不确定性的表示
<>3不确定性的推理计算
<>4结论不确定性合成算法
<>=4证据理论
<>证据理论的数学基础
<>特定概率分配函数
<>第5章 状态空间搜索策略
<>盲目搜索策略
1宽度优先搜索：
宽度优先搜索是一般图搜索算法的一个实例，每次总是扩展深度最浅的节点，这可以通过将边缘组织成FIFO队列来实现（即，新节点加入到队列尾，浅层的老节点会在深层节点之前被扩展）。
2深度优先：
深度优先总是扩展搜索树的当前边缘节点集
中最深的节点（搜索直接推到最深层）。如果最深层节点扩展完了，就回溯到下一个还有未扩展节点的深度稍浅的节点。DFS使用LIFO队列（最新生成的节点最早被扩展）。
3一致代价搜索
一致代价搜索扩展的是路径消耗g(n)（从初始状态到当前状态的路径耗散）最小的节点n。（可以通过将边缘节点组织成按g值排序的队列来实现）
4 深度受限
设置界限l来避免DFS在无限状态空间下搜索失败的尴尬情况。即，深度为l的节点被当做最深层节点（没有后继节点）来对待。
后面包括了浅谈深度学习，机器学习 因为在其他课程有所涉及也就不一一列出来了
热门工具 换一换