引入
贝叶斯网络结构
贝叶斯网络（$Bayesian$ $network$）是一种数据结构，用于表示变量之间的依赖关系。贝叶斯网络可以本质上表示任何完全联合概率分布，并且它在很多情况下可以非常简洁。
贝叶斯网络是一个有向图，其中每个节点用定量的概率信息标记，完整的描述如下：……继续阅读 »
yanzexi
1年前 (2023-10-26) 196浏览 0评论
0个赞
引入
引入
由于部分可观测性、非确定性和对抗者的存在，真实世界中的智能体需要处理不确定性。智能体可能永远都无法确切地知道它现在所处的状态，也无法知道一系列动作之后结束的位置。问题求解与逻辑智能体通过追踪信念状态和生成应变规划来处理不确定性。这种方法适用于简单问题，它存在许多缺点：
&n……继续阅读 »
yanzexi
1年前 (2023-10-25) 243浏览 0评论
0个赞
存储表示
存储与基本操作
图的邻接表（稀疏图，一般$\left| E \right|……继续阅读 »
yanzexi
1年前 (2023-10-24) 241浏览 0评论
1个赞
反向链接
反向链接算法
反向链接算法从目标开始反向运行，链接规则以找出支持证明的已知事实。反向链接算法是一种与或搜索，其关键在于其的三个核心函数：
$Ask$：实现为生成器，也就是能多次返回的函数，每次返回值给出一个可能的结果（询问成立的置换）。
&……继续阅读 »
yanzexi
1年前 (2023-10-24) 321浏览 0评论
1个赞
合一推断
一般化肯定前件
一般化肯定前件：对于原子语句$p_i$、$p_{i}^{‘}$和$q$，存在置换$\theta $使得对所有$i$有$Subst\left( \theta ,p_{i}^{‘} \right) =Subst\left( \theta ,p_i \right) $，则有：
$$
\frac{p_{……继续阅读 »
yanzexi
1年前 (2023-10-23) 190浏览 0评论
1个赞
跳转表
跳转表
每一水平列表称作一层（$level$），其中$S_0$和$S_h$分别称作底层（$bottom$）和顶层（$top$）。与通常的列表一样，同层节点之间可定义前驱与后继关系。为便于查找，同层节点都按关键码排序。需再次强调的是，这里的次序只是内部的一种约定；对外部而言，各词条之间仍然只需支持判等操作即可。
……继续阅读 »
yanzexi
1年前 (2023-10-22) 217浏览 0评论
1个赞
一阶逻辑的语法和语义
引入
一阶逻辑模型具有对象，模型的域是它包含的对象集或域元素的集合。域应当是非空的——每个可能世界至少要含有一个对象。数学上来说，对象是什么无所谓——有意义的只是每个特定模型中有多少对象。 模型中的对象可能有多方面的关系。从形式上来看，关系就是相关对象的元组集。（一个元组是以固定顺序排列的一系列对象，使用尖括号将对象括起来……继续阅读 »
yanzexi
1年前 (2023-10-22) 221浏览 0评论
1个赞
许多计算机科学中的组合问题都可以被归为检验命题语句的可满足性。对可满足性算法的任何改进对于处理复杂性的能力都有巨大的作用。
完备的回溯算法
$DPLL$算法
戴维斯-普特南算法，得名于马丁·戴维斯和希拉里·普特南的重要论文。这个算法实际上采用的是戴维斯、洛吉曼和洛夫兰所描述……继续阅读 »
yanzexi
1年前 (2023-10-21) 185浏览 0评论
1个赞
红黑树
性质
插入
红黑树的插入有 12 种情况，插入一个结点最容易出现两个连续的红色结点从而破坏红黑树的性质，故需要进行双红调整。插入的情况整体分为三类，第一类是父节点为黑节点直接插入：
第二种情况是父节点为红色且父节点有兄弟：
&nbs……继续阅读 »
yanzexi
1年前 (2023-10-20) 197浏览 0评论
2个赞
推断与证明
推断证明
首先介绍可以用于推导证明的推断规则。证明是一系列可以引向所需目标的结论。最著名的规则是肯定前件，写作：
$$
\frac{\alpha \Rightarrow \beta \text{，}\alpha}{\beta}
$$
意为给定$\alpha $和……继续阅读 »
yanzexi
1年前 (2023-10-20) 219浏览 0评论
1个赞
