人工智能.doc

word
(ɡài shù)
知识(zhī shi)、信息、数据
数据：一组符号及其组合表示的信息(xìnxī)称为数据。
信息：对数据的解释(jiěshì)，是数据在特定场合下的具体含义。
信息(xìnxī)与数据又是两个不同的概念〔例如〕。
Feigenbaum认为知识是经过削减、塑造、解释和转换的信息。简单地说，知识是经过加工处理的信息。
Bernstein说知识是特定领域的描述、关系和过程组成。
Hayes-Roth认为知识是事实、信念和启发式规如此。
知识是用信息表达的，信息是用数据表达的。信息和关联是构成知识的两大要素。
知识可从〔范围，目的，有效性〕加以三维描述。其中知识的范围是由具体到一般，知识的目的是由说明到指定，知识的有效性是由确定到不确定。例如“为了证明A→B，只需证明A∧~B是不可满足的〞这种知识是一般性、指示性、确定性的。而像“桌子有四条腿〞这种知识是具体的、说明性、不确定性。
word
知识表示是研究用机器表示知识的可行性、有效性的一般(yībān)方法，是一种数据结构(shù jù jié ɡòu)与控制结构的统一体，既考虑知识的存储(cún chǔ)又考虑知识的使用。知识表示(biǎoshì)可看成是一组描述事物的约定，以把人类知识表示成机器能处理的数据结构。
(zhī shi)的特性
1. 相对正确性
2. 不确定性：知识不总是只有真和假两种状态，而是在真和假之间存在很多状态，即存在真的程度问题。
3. 可表示性
4. 可利用性：人类时刻在利用知识解决问题。
知识的分类
1. 以知识的作用范围分类，常识性和领域性知识。
2. 以知识的作用分类，事实知识、规如此知识、控制知识和元知识。
事实：是有关问题环境的一些事物的知识，常以“...是...〞的形式出现。如事物的分类、属性、事物间关系、科学事实、客观事实等，在知识库中属于低层的知识。如雪是白色的、鸟有翅膀、张三李四是好朋友。
word
规如此(rúcǐ)：是有关问题中与事物的行动、动作相联系的因果关系知识(zhī shi)，是动态的，常以“如果...那么...〞形式出现(chūxiàn)。特别是启发式规如此(rúcǐ)是属于专家提供的专门经验知识(zhī shi)，这种知识虽无严格解释但很有用处。
控制：是有关问题的求解步骤，技巧性知识，告诉怎么做一件事。也包括当有多个动作同时被激活时应选哪一个动作来执行的知识。
元知识：是有关知识的知识，是知识库中的高层知识。包括怎样使用规如此、解释规如此、校验规如此、解释程序结构等知识。
3. 以知识确实定性划分，确定知识和不确定知识〔可以用概率来度量〕
知识的表示
研究用机器表示知识的可行性、有效性的一般方法，是一种数据结构和控制结构的统一体，要考虑到知识的存储，又要考虑知识的使用。
谓词逻辑是一种表达力很强的形式语言，谓词逻辑及其推理方法是人工智能中知识表示方法,机器推理,定理证明的根本方法。另外谓词逻辑中的替换合一技术，也是符号推理中模式匹配的根本技术。本章主要讲解基于谓词逻辑的归结演绎推理。
一阶谓词(wèi cí)逻辑表示法
word
知识的谓词(wèi cí)逻辑表示法
谓词公式(gōngshì)：用谓词、量词〔存在量词(liàngcí)，全称量词〕、联接(lián jiē)词〔→蕴涵，∧合取，∨析取〕连接而成的复杂的符号表达式称为谓词公式。
例如：
谓词STUDENT(x):表示x是学生
如此事实性知识“张三和李四都是学生〞可表示为
STUDENT(张三)∧STUDENT(李四)
谓词M(x):表示x是人，谓词N(x):表示x有名字，规如此性知识“但凡人都有名字〞可表示为
x(M(x)→N(x))，其中→是蕴涵式
用谓词公式表示知识的步骤
定义谓词及个体
根据所要表达的事物或概念，为每个谓词中的变元赋以特定的值
根据表达知识的语义，用适当的连接符号将各个(gègè)谓词连接起来，形式谓词公式
word
谓词公式表示(biǎoshì)知识的举例
例1：知识“不存在(cúnzài)最大的整数〞的表示(biǎoshì)
设：谓词G(x):表示(biǎoshì)x是整数，D(x,y)表示x大于y。如此表示如下：
～x(G(x)∧y(G(y)→D(x,y)))或x(G(x)∧y(G(y)∧D(y,x)))
例2：机器人搬积木问题表示
设在一个房间里，有一个机器人ROBOT，一个壁橱ALCOVE，一个积木块BOX， 两个桌子A和B。开始时机器人ROBOT在壁橱ALCOVE的旁边，且