一、议程表 1.定义 议程表(agenda)是一个系统能够执行的任务表列。与每个任务有关的有两件事,即提出该任务的理由和表示对该任务是有用的证据总权的评价。 2.模块间的合作 从组织大系统的观点看,议程表方法的意义在于它允许几个独立模块进行通讯,这样就使系统...

1.正向推理 从一组表示事实的谓词或命题出发,使用一组产生式规则,用以证明该谓词公式或命题是否成立。 一般策略:先提供一批事实（数据）到总数据库中。系统利用这些事实与规则的前提相匹配,触发匹配成功的规则,把其结论作为新的事实添加到总数据库中。继续上...

1.产生式系统的组成 产生式系统由3个部分组成,即总数据库(或全局数据库)、产生式规则和控制策略,如图3.2所示。 图3.2产生式系统的主要组成 总数据库 有时也被称作上下文,当前数据库或暂时存储器。总数据库是产生式规则的注意中心。产生式规则的左边表示在启...

1.基于规则的正向演绎系统和逆向演绎系统的特点和局限性 正向演绎系统能够处理任意形式的if表达式,但被限制在then表达式为析取式。逆向演绎系统能够处理任意形式的then表达式,但被限制在if表达式为合取式。双向组合演绎系统具有正向和逆向两系统的优点,克服...

1.定义 基于规则的逆向演绎系统,是从目标到事实的操作过程,即从then到if的推理过程。 2.逆向推理过程 (1)目标表达式的与或形 逆向演绎系统能够处理任意形式的目标表达式。首先,采用与变换事实表达式同样的过程,把目标公式化成与或形。 (2)与或图的B规则变换...

1.定义 正向规则演绎系统是从事实到目标进行操作的,也就是从if到then的方向进行推理的。 2.正向推理过程 (1)事实表达式的与或形变换把事实表示为非蕴涵形式的与或形,作为系统的总数据库。具体变换步骤与前述化为子句形类似。 注意:我们不想把这些事实化为子...

基于规则的问题求解系统运用下述规则来建立: IfThen 在所有基于规则系统中,每个if可能与某断言(assertion)集中的一个或多个断言匹配。有时把该断言集称为工作内存。在许多基于规则系统中,then部分用于规定放入工作内存的新断言。这种基于规则的系统叫做规则演...

消解原理的基础知识 (1)谓词公式、某些推理规则以及置换合一等概念。 (2)子句:由文字的析取组成的公式(一个原子公式和原子公式的否定都叫做文字)。 (3)消解:当消解可使用时,消解过程被应用于母体子句对,以便产生一个导出子句。 例如,如果存在某个公理E1E2和...

A*算法是一种有序搜索算法,其特点在于对估价函数的定义上。 1.几个记号 令k(ni,nj)表示任意两个节点ni和nj之间最小代价路径的实际代价(对于两节点间没有通路的节点,函数k没有定义)。于是,从节点n到某个具体的目标节点ti,某一条最小代价路径的代价可由k(n,ti)...

1.定义 用估价函数f来排列GRAPHSEARCH第8步中OPEN表上的节点。应用某个算法(例如等代价算法)选择OPEN表上具有最小f值的节点作为下一个要扩展的节点,这种搜索方法叫做有序搜索(ordered search)或最佳优先搜索(best-first search)。 尼尔逊(Nilsson)曾提出一个...

1.为什么需要启发式搜索 盲目搜索效率低,耗费过多的计算空间与时间,这是组合爆炸的一种表现形式。 2.定义 进行搜索技术一般需要某些有关具体问题领域的特性的信息,把此种信息叫做启发信息。利用启发信息的搜索方法叫做启发式搜索方法。 3.启发式搜索策略 有...

一、宽度优先搜索(breadth-first search) 1.定义 如果搜索是以接近起始节点的程度依次扩展节点的,那么这种搜索就叫做宽度优先搜索。 2.特点 这种搜索是逐层进行的,在对下一层的任一节点进行搜索之前,必须搜索完本层的所有节点。 3.宽度优先搜索算法 (1)把起...

1.何谓图搜索 图搜索策略可看作一种在图中寻找路径的方法。初始节点和目标节点分别代表初始数据库和满足终止条件的数据库。求得把一个数据库变换为另一数据库的规则序列问题就等价于求得图中的一条路径问题。 2.图搜索算法中的几个重要名词术语 (1)OPEN表与C...

可以用语义网络表示谓词逻辑法中的各种连词及量化。 1.合取 多元关系可以被转换成一组二元关系的合取,从而可以用语义网络的形式表示出来。 2.析取 在语义网络中,为与合取关系相区别,在析取关系的连接上加注析取界限,并标记DIS。 3.否定 采用～ISA和～PART OF...

用两个节点和一条弧线可以表示一个简单的事实,对于表示占有关系的语义网络,是通过允许节点既可以表示一个物体或一组物体,也可以表示情况和动作。每一情况节点可以有一组向外的弧(事例弧),称为事例框,用以说明与该事例有关的各种变量。 在选择节点时,首先要弄...