Meskjei的博客

谓词的一般形式P(X1,X2,...,XN)P(X_1, X_2, ..., X_N)P(X1​,X2​,...,XN​)个体X1,X2,...,XNX_1, X_2, ..., X_NX1​,X2​,...,XN​：某个独立存在的事物或者某个抽象的概念谓词名P：刻画个体的性质、状态或个体间的关系个体个体是常量：一个或一组指定的个体。例如，“老张是一个老师”：一元谓词 TEAC...

文章目录代价树及其代价运算概念算法描述总结在一般树的搜索策略中，我们都进行了一种假设，认为状态孔家那种各边的代价都相同，且为一个单位量。从而使用路径长度代替路径的代价。但是对许多实际问题，这样的假设是不实际的。例如，城市交通问题，各城市之间的距离不可能是相同的。代价树及其代价运算概念通常，我们把每条边上都标有其代价的树称为代价树。在代价树中，可以用g(n)g(n)g(n)表示从初始节点...

文章目录状态空间的盲目搜索广度优先算法算法描述：总结深度优先算法总结状态空间的盲目搜索根据状态空间所采用的数据结构的不同，可分为图搜索算法和树搜索算法。由于图搜索算法且一般问题都可用树搜索算法解决，于是主要讨论树搜索算法，包括一般和代价树。一般树的盲目搜索主要包括深度优先和广度优先两种搜索算法。广度优先算法也称为宽度优先算法，是一种先生成的节点先扩展的策略。算法精髓：从初始节点$S_0...

A[toc]问题规约法是不同于状态空间法的另一种形式化方法，其基本思想是对问题进行分解或变换，将它转换为一系列较简单的问题。问题的分解与等价变换分解如果一个问题P可以规约为一组子问题$P_1,P_2,...,P_n$，并且当所有子问题$P_i$都有解时，原问题才有解。任何一个子问题无解都会导致原问题无解，则称此种规约为问题的分解，即分解所得到的子问题的“与”与原问题P等价。等价变换如果...

文章目录状态空间问题表示状态操作状态空间状态空间问题的求解例子二阶梵塔问题MC问题（修道士与野人问题）状态空间法是人工智能中最基本的问题求解方法，它所采用的问题表示方法称为状态空间表示法。状态空间法的基本思想是用 “状态”和“操作”来表示和求解问题。状态空间问题表示在状态空间表示法中，问题是用“状态”和“操作”来表示的。状态状态是表示问题求解过程中每一步状况的数据结构。它可用如下形式表...

文章目录搜索的含义搜索的分类搜索的含义人工智能所研究的对象大多是属于结构不良或非结构化的问题。对于这些问题，一般很难获得其全部信息，更没有现成的算法可供求解使用。因此，只能依靠经验，利用已有知识逐步摸索求解。这种根据问题的实际情况，不断寻求可用知识，从而构建一条代价最小的推理路线，使问题得以解决的过程称为搜索。搜索的分类根据搜索过程中是否使用启发式信息分为：盲目搜索启发式搜索盲目...

文章目录不确定性推理的含义什么是不确定性推理为什么采用不确定性推理不确定性推理的基本问题不确定性的表示知识不确定性的表示证据的不确定性表示不确定性的匹配组合证据不确定性的计算不确定性的更新不确定性结论的合成不确定性推理的类型不确定性推理的含义什么是不确定性推理不确定性推理是指建立在不确定性知识和证据基础上的推理。例如，不完备、不精确知识的推理，模糊知识的推理等。实质上是一种从不确定的初试证据...

从一组已知为真的事实出发，直接运用经典逻辑中的推理规则推出结论的过程称为自然演绎推理。自然演绎推理所给予的逻辑基础主要包含等价式、永真蕴含式、置换、合一文章目录等价式定义常用等价式：永真蕴含式定义常用的永真蕴含式置换定义例示定义合成定义合一定义自然演绎推理的方法优点缺点等价式定义设P和D是D上的两个谓词公式，若对D上的任意解释，P与Q都有相同的真值，则称P与Q在D上是等价的。如果D是任意...

产生式推理，即利用产生式知识表示法所进行的推理，而由此产生的系统称为产生式系统。文章目录基本结构综合数据库规则库控制系统推理方式正向推理算法过程优点缺点逆向推理算法过程优点缺点基本结构产生式的基本结构包括：控制系统（control system）规则库（rule base）综合数据库（data base）综合数据库也被称为事实库，主要用来存放与求解问题有关的各种当前信息的数据...

文章目录框架理论框架的基本结构框架的表示实例框架框架系统框架之间的纵向联系框架之间的横向联系框架理论框架理论认为，我们对世间事物的认识都是以类似框架的结构存储在记忆中的。当遇到一个新事物就从记忆中找出一个合适的框架，并根据新的情况对齐细节加以修改、补充，从而形成对这个新事物的认识。用以往经验来认识新事物使人们常用的方法，但是我们又不可能把过往发生过的所有经验都存在脑海中，而只能用一种通用的数...

文章目录概念常用的基本语义关系事物与概念的表示语义网络表示一元关系较复杂关系的表示方法情况和动作的表示语义网络的基本推理过程继承匹配概念语义网络：语义网络是一种用实体及其语义关系来表达知识的有向图。节点：表示实体，表示各种事物、概念、情况、属性、状态、事件、动作等。弧：代表语义关系，表示它所连接的两个实体之间的语义联系在语义网络表示中，每一个节点和弧都必须有标志，用来说明它所代表的实...

文章目录永真性&永假性可满足性（相容性）谓词公式的范式前束范式Skolem范式永真性&永假性如果谓词公式P对非空个体域D上的任一解释都取得真值T（F），则称P在D上是永真（永假）的。如果P在任何非空个体域上均是永真（永假）的，则称P永真（永假）。可满足性（相容性）对于谓词公式P，如果至少存在D上的一个解释，使公式P在此解释下的真值为T，则称公式P在D上是可满足的。谓词公...

确定性规则知识的产生式表示例如：if 动物会飞 and 会下蛋 then 该动物是鸟基本形式：if p then q，或者$p \to q$不确定性规则知识的产生式表示例如：if 发烧 then 感冒(0.6)基本形式：if p then q(置信度)或者：$p \to q$(置信度)确定性事实性知识的产生式表示例：老李年龄是40岁：(Li, age, 40)老李和老王是朋...

谓词公式单个谓词是谓词公式，称为原子谓词公式若A是谓词公式，则¬A\lnot A¬A也是谓词公式若A,B都是谓词公式，则A∧B,A∨B,A→BA \land B, A \lor B, A \to BA∧B,A∨B,A→B也都是谓词公式若A是谓词公式，则(∀X)A,(∃X)A(\forall X)A,(\exists X)A(∀X)A,(∃X)A也都是谓词公式有限步应用1~4步所得到的公...

文章目录启发性信息估价函数启发式搜索依据的是问题自身的启发性信息。而启发性信息又通过估价函数作用到搜索过程中。启发性信息是指与具体问题求解过程有关的，并可制导搜索过程朝着最有希望方向前进的控制信息有效地帮助确定扩展节点的信息有效地帮助决定哪些后继节点生成的信息能决定在扩展一个节点时哪些节点应从搜索树上删除的信息启发性信息的启发能力越强，扩展的无用节点越少。估价函数用以估计节点...