《{管理信息化人工智能}人工智能第二章》由会员分享，可在线阅读，更多相关《{管理信息化人工智能}人工智能第二章（68页珍藏版）》请在金锄头文库上搜索。
1、Chapter 2. Declarative Knowledge,Knowledge and Knowledge Representation 2.1 Conceptualization 2.2 Predicate Calculus 2.3 Semantics 2.42.8 Examples 2.9 Specialized Languages,Knowledge,是人们在改造客观世界的实践中积累起来的认识和经验 Feigenbaum认为知识是经过削减、塑造、解释和转换的信息。简单地说，知识是经过加工的信息。 Bernstein说知识是由特定领域的描述、关系和过程组成的。 Hayes-Roth认
2、为知识是事实、信念和启发式规则。 从知识库观点看，知识是某论域中所涉及的各有关方面、状态的一种符号表示。,知识的特性,知识的特征 相对正确性：知识在一定的条件下是正确的，但在另外一种情况下可能是不正确的。 不确定性：事物之间的关系有时难以用真假状态来描述，不确定性就是指这种介于真假之间的中间状态。 可表示性：知识通常通过一定的方法进行表示，如：语言、文字、图画、姿势、声音等。 可利用性：人们常用知识来认识和改造世界,Classification of Knowledge,描述性知识（事实）：是有关问题环境的一些事物的知识， 常以“是” 的形式出现。 判断性知识（规则）：是有关问题中与事物的行动
3、、动作相联系的因果关系知识，是动态的，常以 “如果那么” 形式出现。 过程性知识（控制）：是有关问题的求解步骤、技巧性知识，告诉怎么做一件事。也包括当有多个动作同时被激活时应选哪一个动作来执行的知识。,Knowledge Representation,是研究用机器表示知识的可行性、有效性的一般方法，是一种数据结构与控制结构的统一体，既考虑知识的存储又考虑知识的使用。 可看成是一组描述事物的约定， 以把人类知识表示成机器能处理的数据结构。 主要方法：谓词逻辑表示法、产生式规则表示法、语义网络表示法、框架表示法、面向对象表示法、脚本表示法、过程表示法。,状态空间法,在分析了人工智能研究中运用的问题
4、求解方法之后，就会发现许多问题求解方法是采用试探搜索方法的。也就是说，这些方法是通过在某个可能的解空间内寻找一个解来求解问题的。这种基于解答空间的问题表示和求解方法就是状态空间法，它是以状态和算符(operator)为基础来表示和求解问题的。 状态空间法的三要点 状态（state）：表示问题解法中每一步问题状况的数据结构； 算符（operator）：把问题从一种状态变换为另一种状态的手段； 状态空间方法：基于解答空间的问题表示和求解方法，它是以状态和算符为基础来表示和求解问题的。,问题状态描述,定义 状态(state)：为描述某类不同事物间的差别而引入的一组最少变量q0，q1，qn的有序集合，
5、其矢量形式如下： Q=q0 ， q1 ，. ， qnT式中每个元素qi(i=0,1，n)为集合的分量，称为状态变量。 算符：使问题从一种状态变化为另一种状态的手段称为操作符或算符。操作符可为走步、过程、规则、数学算子、运算符号或逻辑符号等。操作的条件(对状态的要求)和对状态的改变。 问题的状态空间(state space)：是一个表示该问题全部可能状态及其关系的图，它包含三种说明的集合，即所有可能的问题初始状态集合S、操作符集合F以及目标状态集合G。可把状态空间记为三元状态(S，F，G)。,问题状态描述,例 修道士和野人问题： 设在河的左岸有三个野人,三个修道士和一条船,修道士想用这条船把所有
6、的人运到河对岸,但受以下条件的约束: 1. 修道士和野人都会划船; 2. 船每次至多可载两个人; 3. 在河的任一岸,如果野人数目超过修道士数,修道士就会被野人吃掉。 假设野人会服从任何一次过河安排,请规划一个确保修道士和野人都能过河,且没有修道士被野人吃掉的安全过河计划。,问题状态描述,状态 需要表示出在某岸上的修道士人数和野人数及船在哪岸上。 Sk=(m, c, b) 其中, m 表示左岸的修道士人数, c表示左岸的野人数, b表示左岸的船数。 初始状态: S0=(3, 3, 1) 中间状态: S4=(1, 1, 1) 目标状态: S15=(0, 0, 0),问题状态描述,算符 算符定义：
7、 用符号Pij表示从左岸到右岸运i个修道士,j个野人；用符号Qij表示从右岸到左岸运i个修道士, j个野人。考虑到船每次最多只能载两人,则所有操作集合: F= P01 ,P10 ,P11 ,P02 ,P20 ,Q01 ,Q10 ,Q11 ,Q02 ,Q20 操作的条件: 当前状态满足可执行条件 操作不能产生非法状态 例: P01的操作条件: b=1, m=0或m=3, c1 当前状态: S4=(1, 1, 1) 可执行的操作: P01, P11,问题状态描述,操作的结果: 操作执行后对状态的改变 例: P01的结果: b=0, c=c-1 P10的结果: b=0, m=m-1 P11的结果:
8、b=0, c=c-1, m=m-1 P02的结果: b=0, c=c-2, P20的结果: b=0, m=m-2 Q01的结果: b=1, c=c+1 Q10的结果: b=1, m=m+1 ,问题状态描述,要完成某个问题的状态描述必须确定三件事情： 1、该状态描述方式，特别是初始状态的描述方式 2、操作符（算符）集合及其对状态描述的作用 3、目标状态描述的特征,2.1 Conceptualization,The formalization of knowledge in declarative for begins with a Conceptualization. Objects（对象） F
9、unction（函数） Relation（关系） Conceptualization （概念化）,Objects,需要描述的任何事物，也称为个体(individuals) 具体的、抽象的 简单的、复杂的 客观存在的、虚幻的 论域（Universe of Discourse）：只与问题有关的对象集合 积木例子：,D = a, b, c, d, e,有限的,Function,函数：表示对象与对象之间的相互关系。 基函数集：在概念化过程中使用的基本函数集合。 举例： hat ： hat(b)=a hat(c)=b 或者写成, rotate: ,Relation,表示对象与对象之间的相互关系的另一种形
10、式。 基关系集：在概念化过程中使用的基本关系集合。 举例： on关系：, above关系: , clear关系：a,d table关系：c,e,Generality of Relation,关系的一般性可以通过比较其中的元素来确定。如关系on比关系above一般性低，因为on above。 特殊的关系：空关系，全关系 具有b个对象的n元全关系中有bn个元组，任一n元关系都是上述全关系的一个子集。有 个n元关系 函数与关系的区别： 函数：值仍为对象，至少涉及两个对象 关系：值为真或假，可以只涉及一个对象 可以用关系来表示函数,Conceptualization,概念化是三元组： 如 概念化的物理
11、含义与元组的定义（解释）有关，而与名字无关。 同一问题存在多种不同的概念化。 不同的概念化表达的知识可能是不同的，如光的波粒二象性。 概念化不是一成不变的，需要不断完善和发展。如地心说到日心说的发展。,Conceptualization,关系与函数的实例化：将函数与关系作为对象加入到对象集合中，可以描述函数与关系的属性。 可以描述积木的颜色; 可以评价颜色的好坏。(color(a)=red, nice:red,white) 如何找到更合理的概念化？ 需要考虑粒度问题：也用于粗糙集和数据仓库中 粒度太小：问题表示过于繁琐，如积木问题中以原子为粒度；粒度太大：无法表达细节,2.2 Predicat
12、e Calculus,谓词演算：将知识形式化成谓词公式的形式语言。 谓词演算的基本概念 命题 谓词 连接词与量词 项与谓词公式 自由变元和约束变元 谓词逻辑表示方法 谓词逻辑表示方法的应用,Proposition,命题：一个陈述句称为一个断言，凡有真假意义的断言称为命题。 命题的意义通常称为真值。如果命题是真，则称它的真值为真。如果命题是假，则称它的真值为假。命题的真值真与假分别用 “T”与“F”表示 例：判别下列语句哪些是命题，哪些不是命题，是命题的指出其真假。 海洋的面积比陆地大 别的星球上有生物 1+101=110 请问电影院怎么走？,Predicates,谓词：带有参数的命题叫谓词（反
13、过来，也可以说不带参数的谓词叫命题）。 例： 北京是一个城市：P1: CITY(北京) X是人：P2：HUMAN（X） 张三打了李四：P3：HIT（张三，李四） X和Y是同学：P4：CLASSMATE (x, y),谓词演算中的符号,变量、常量 变量：小写字母与数字的序列，首字母为小写字母。 对象常量：论域中特定的元素，字符或数字序列，首字母为大写字符或数字。 函数常量：字符或数字序列，首字母为大写字母。 关系常量：字符或数字序列，首字母为大写字母。 每一个n元函数常量能够表达为一个n+1元关系常量，反之不然。(Age(Confucius)=100), Age(confucius,100),D
14、efinition of Predicates,定义：设D为论域，P是Dn T, F 的一个映射，其中 则称P是一个n元谓词，记为 P (x1, x2, , xn ) 其中x1, x2, , xn为谓词的个体变元。 如果xi (i=1,2, ,n)都是个体常量、个体变量或函数，称P为一阶谓词。如果xi又是一个一阶谓词，则称P为二阶谓词。,Comparison of Predicates Assignment of nonvariable symbol corresponds to interpretation I;,Term joint assignment,Term joint assign
15、ment IU : a mapping from terms to objects. (a) If is an object constant, then IU() = I(). (b) If is a variable, then IU() = U(). (c) If is a term of the form (1, n) and I() = g and IU(i)=xi, then IU()=g(x1, . , xn). Example: Hat(C)=?: because I(C)=c, Hat(c)=b () Hat(z)=?: if U(z)=b,Satisfaction,An i
16、nterpretation I and a variable assignment U satisfy a sentence means that sentence is true relative to the interpretation I and the assignment U. Denoted as |=I U. An interpretation and variable assignment satisfy an equation if and only if the corresponding term maps into the same object.,Satisfaction of an atomic sentence,I and U satisfy an atomic sentence : Example： |=I On(A,B)U IU(A)=a IU(B)=b I(On) |=J On(A,B)U JU (A)=a JU(B)=b J(On) J(On)=, , ,Satis
