语义网络是知识的一种结构化图解表示,它由节点和弧线或链线组成。节点用于表示实体、概念和情况等,弧线用于表示节点间的关系。 语义网络表示由下列4个相关部分组成: (1)词法部分 决定表示词汇表中允许有哪些符号,它涉及各个节点和弧线。 (2)结构部分 叙述符号...

1.语法和语义 谓词逻辑的基本组成部分是谓词、变量、函数和常量,并用圆括...

1.置换 一个表达式的置换就是在该表达式中用置换项置换变量。一般说来,置换是可结合的,但置换是不可交换的。 2.合一 寻找项对变量的置换,以使两表达式一致,叫做合一(unification)。如果一个置换s作用于表达式集{Ei}的每个元素,则用{Ei}s来表示置换例的集。称...

在谓词演算中合适公式的递归定义如下: (1)原子谓词公式是合适公式。 (2)若A为合适公式,则～A也是一个合适公式。 (3)若A和B都是合适公式,则(AB),(AB),(A=B)和(AB)也都是合适公式。 (4)若A是合适公式,x为A中的自由变元,则(x)A和(x)A都是合适公式。 (5)只有按上...

一、问题归约描述 1.问题归约法的概念 问题归约是将初始问题变为一个本原问题集合。 2.问题归约法的组成部分 (1)一个初始问题描述; (2)一套把问题变换为子问题的操作符; (3)一套本原问题描述。 3.示例:梵塔难题 问题 有3个柱子(1,2,3)和3个不同尺寸的圆盘(A,...

图的基本概念 图是一个包含节点(不一定是有限的节点)和节点间弧线的集合。若图中每条弧线均标有方向,则称这种图为有向图(directed graph)。 代价(cost) 是给各弧线指定数值以表示加在相应操作符上的代价。 图的显式说明 是指各节点及其具有代价的弧线由一张...

蔡自兴提出四元智能控制结构,把智能控制看做自动控制、人工智能、信息论和运筹学四个学科的交集,如图(a)所示。图(b)表示这种四元结构的简化图。 图智能控制的四元结构 把信息论作为智能控制结构的一个子集是基于下列理由的: 1.信息论是解释知识和智能的一种手...

萨里迪斯于1977年提出另一种智能控制结构,它把傅京孙的智能控制扩展为三元结构,即把智能控制看作为人工智能、自动控制和运筹学的交接,如图所示。萨里迪斯认为,构成二元交集结构的两元互相支配,无助于智能控制的有效和成功应用。必须把运筹学的概念引入智能控...

傅京孙曾对几个与自学习控制(learning control)有关的领域进行了研究。为强调系统的问题求解和决策能力,他用智能控制系统来包括这些领域。他指出智能控制系统描述自动控制系统与人工智能的交接作用。我们可以用式以及图2来表示这种交接作用,并把它称为二元交...

图1智能控制器的一般结构...

(1)同时具有以知识表示的非数学广义模型和以数学模型(含计算智能模型与算法)表示的混合控制过程。 (2)智能控制的核心在高层控制,即组织级。 (3)智能控制是一门边缘交叉学科。 (4)智能控制是一个新兴的研究领域。无论在理论上或实践上它都还很不成熟、很不完善...

定义1 智能机器 能够在定形或不定形,熟悉或不熟悉的环境中自主地或与操作人员交互作用以执行各种拟人任务(anthropomorphic tasks)的机器。或者比较通俗地说, 智能机器是那些能够自主地代替人类从事危险、厌烦、远距离或高精度等作业的机器。 定义2 自动控制...

傅京孙 1965年,著名的美籍华裔科学家傅京孙(K.S.Fu)教授首先把人工智能的启发式推理规则用于学习控制系统;然后,他又于1971年论述了人工智能与自动控制的交接关系。由于傅先生的重要贡献,他已成为国际公认的智能控制的先行者和奠基人。 扎德(Zadeh)与模糊控制...

机械化(mechanization) 机械化就是使用机器代替原先由动物或人类执行的体力劳动。 自动化(automation) 当反馈信息自动地引起机器进行调节并使之重新达到正常状态时,自动装置才真正实现自动化。自动化是由机械化和计算相结合而得到的自校正生产活动的成果。...