引入
引入
由于部分可观测性、非确定性和对抗者的存在，真实世界中的智能体需要处理不确定性。智能体可能永远都无法确切地知道它现在所处的状态，也无法知道一系列动作之后结束的位置。问题求解与逻辑智能体通过追踪信念状态和生成应变规划来处理不确定性。这种方法适用于简单问题，它存在许多缺点：
&n……继续阅读 »
yanzexi
1年前 (2023-10-25) 347浏览 0评论
0个赞
反向链接
反向链接算法
反向链接算法从目标开始反向运行，链接规则以找出支持证明的已知事实。反向链接算法是一种与或搜索，其关键在于其的三个核心函数：
$Ask$：实现为生成器，也就是能多次返回的函数，每次返回值给出一个可能的结果（询问成立的置换）。
&……继续阅读 »
yanzexi
1年前 (2023-10-24) 496浏览 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) 271浏览 0评论
1个赞
一阶逻辑的语法和语义
引入
一阶逻辑模型具有对象，模型的域是它包含的对象集或域元素的集合。域应当是非空的——每个可能世界至少要含有一个对象。数学上来说，对象是什么无所谓——有意义的只是每个特定模型中有多少对象。 模型中的对象可能有多方面的关系。从形式上来看，关系就是相关对象的元组集。（一个元组是以固定顺序排列的一系列对象，使用尖括号将对象括起来……继续阅读 »
yanzexi
1年前 (2023-10-22) 313浏览 0评论
1个赞
许多计算机科学中的组合问题都可以被归为检验命题语句的可满足性。对可满足性算法的任何改进对于处理复杂性的能力都有巨大的作用。
完备的回溯算法
$DPLL$算法
戴维斯-普特南算法，得名于马丁·戴维斯和希拉里·普特南的重要论文。这个算法实际上采用的是戴维斯、洛吉曼和洛夫兰所描述……继续阅读 »
yanzexi
1年前 (2023-10-21) 271浏览 0评论
1个赞
推断与证明
推断证明
首先介绍可以用于推导证明的推断规则。证明是一系列可以引向所需目标的结论。最著名的规则是肯定前件，写作：
$$
\frac{\alpha \Rightarrow \beta \text{，}\alpha}{\beta}
$$
意为给定$\alpha $和……继续阅读 »
yanzexi
1年前 (2023-10-20) 304浏览 0评论
1个赞
引入
引入
人类似乎具有知识，人类的知识能够帮助他们做事。在人工智能中，基于知识的智能体对知识的内部表示进行推理来确定要采取的动作。搜索求解智能体具有知识，但这种知识是非常有限且死板的。它们知道可以采取哪些动作，也知道在某个状态采取某个动作将得到哪种结果，但它们不知道一般事实。问题求解智能体具有的知识对寻找从起点到终点的路径这种问题非常有用，但……继续阅读 »
yanzexi
1年前 (2023-10-19) 277浏览 0评论
0个赞
回溯搜索
引入
许多情况下完成约束传播过程后仍存在具有多个可能值的变量。在这种情况下，必须通过搜索来求解问题。首先介绍用于部分赋值的回溯搜索算法，$CSP$的回溯搜索不断选择未赋值变量，然后依次尝试该变量的域中的所有值，试图通过递归调用将每个值扩展为一个解。如果调用成功，则返回解，如果调用失败，则将赋值恢复到前一状态，然后尝试下一个值。如果所有……继续阅读 »
yanzexi
1年前 (2023-10-18) 235浏览 0评论
0个赞
定义
引入
之前的搜索部分讨论了通过搜索状态空间进行问题求解的思想：状态空间是一个由节点表示状态，边表示动作的图。领域特定的启发式算法可以估计从给定状态到达目标的代价，但从搜索算法的角度来看，每个状态都是原子的，即不可分割的——一个没有内部结构的黑盒。对于每个问题，需要领域特定的代码来描述状态之间的转移。
&……继续阅读 »
yanzexi
1年前 (2023-10-17) 331浏览 0评论
0个赞
蒙特卡洛树搜索$(MCTS)$
引入
对围棋来说，$\alpha $-$\beta $启发式树搜索有两个主要缺点：首先，围棋的分支因子开始时为 361，这意味着$\alpha $-$\beta $搜索被限制在 4～5 层。其次，很难为围棋定义一个好的评价函数，因为子力价值并不是一个强有力的指标，而且大多数状态直到最后阶段都在不断变化。为了应对这……继续阅读 »
yanzexi
1年前 (2023-10-16) 263浏览 0评论
1个赞
