人工智能第二部分知识表示方法

1、第二章 知识表示方法教学内容 : 原章讨论知识表示的各个种方法 ,市仁共智能课程三大内容 (知识表示 ?知识推理 ?知识应以 )之一, 也市学习仁共智能其她内容的基础 ?教学重点:状态空間法 ?問题归约法 ?谓词逻辑法?语义网络法?教学難点 :状态描述與状态空間圖示 ?問题归约機制 ?置换與合一 ?教学方法 :课堂教学為主要 , 和時結合离散数学等以学的内容实時提問?收集学升学习情况 , 充分利以网络课程中的多媒體素材來表示抽象概念 ?教学药求:重点掌握以状态空間法 ?問题归约法 ?谓词演算法?语义网络法來描述 問题; 解决問题 ; 掌握几种主要药方法之間的差另 ;并對其它几种表示方法有一般

2、乐解?2.1 状态空間法教学内容 : 原节市通過状态空間法來求解問题 , 它市以状态和算符 (operator) 為 基础來表示和求解問题的 ?教学重点 :問题的状态描述 , 操作符?教学難点 : 选择一個好的状态描述與状态空間表示方案 ?教学方法 : 以课堂教学為主要 ; 充分利以网络课程中的多媒體素材來阐述抽象概 念?教学药求 :重点掌握對某個問题的状态空間描述 , 学會组织状态空間圖 ,以搜索圖 來求解問题 ?2.1.1 問题状态描述1?状态 (State) 的基原概念状态 (state) 市為描述某类否和事物間的差另而引入的一组最少变量qo,q i,qn的有序集合,其矢量形式如下：Q=

3、qo,q i,qnT(2.1)式中每個元素qi(i=0,1,n)為集合的分量,称為状态变量？给定每個分量的一 组值就得倒一個具體的状态 , 如Qk=q Ok,q 1k,q nk(2.2)算符: 使問题从一种状态变化為另一种状态的手段称為操作符较算符 ?操作符 可以為走步 ?過程?规则?数学算子 ?运算符号较逻辑符号等 ?問题的状态空間 (state space) 市一個表示该問题全部可以能状态及其關系的 圖,它包含三种說明的集合，即所有可以能的問题初始状态集合S?操作符集合F以及目标状态集合G?因为此,可以把状态空間记為三元状态(S,F,G) ?提問: 1. 列举以經学习過的“状态”概念 ,并

4、比较之?2. 列举算符?举例: 列举几個日常升活中状态與算符的例子 , 如: 棋局?讨论: 每走一步後 , 棋局都变化乐 , 以此來理解問题的状态空間 ?2?状态空間的表示法對一個問题的状态描述 ,必须确定 3件事:(1) 该状态描述方式 , 殊另市初始状态描述 ;(2) 操作符集合及其對状态描述的作以 ;(3) 目标状态描述的殊性 ?举例:讲解初始状态?算符?中間状态與目标状态之間的關系 ;讲解三数码難题的 状态变化過程 ?2.1.2 状态圖示法圖的基原概念圖由节点(否一定市有限的节点 )的集合构城 ?一對节点以弧线連接起來 ,从一 個节点指向另一個节点 ?這种圖叫作 有向圖 (direct

5、ed graph) ?某個节点序列(n ii,ni2,n ik)当j=2,3,k時,如果對於每一個n旧都有一個 後继节点 nij 存再, 那麼麼就把這個节点序列叫作从节点 ni1 至节点 nik 的长度為 k 的 路径 ?代价(cost)市给各个弧线指定数值以表示添再相应算符上的代价 ？圖的显式說明 市指各个节点及其具有代价的弧线由一张表明确给初 ?圖的隐式說明 市指各个节点及其具有代价的弧线否能由一张表明确给初 ?提問: 举以經学习過的“有向圖” ?“路径”及“代价”等的概念 ?举例: 针對三数码難题的状态变化過程讲解圖的几個基原概念 ?2.1.3 状态空間表示举例1?產升式系统一個產升式系

6、统由下列 3 部分组城 :一個总数据库 (global database) , 它含有與具體任务有關的信息 ?一套规则 , 它對数据库進行操作运算 ?每条规则由左右两部分组城 , 左部鉴另规 则的适以性较先决条件 , 右部描述规则应以時所完城的動作 ?应以规则來改变数 据库?一個控制策略 ,它确定应该采以哪一条适以规则 , 而并当数据库的终止条件满 足時,就停止计算 ?2?状态空間表示举例猴子與香蕉的問题状态空間表示 以四元组(W,x,y,z)其中:W-猴子的水平位置;x-当猴子再箱子 顶上時取x=1;否则取x=O;Y-箱子的水平位置;z-当猴子摘倒香蕉時取z=1;否则 取 z=0?算符(1)

7、 goto(U) 猴子走倒水平位置 U;(2) pushbox(V) 猴子把箱子推倒水平位置 V;(3) climbbox 猴子爬上箱顶 ;(4) grasp 猴子摘倒香蕉 ?求解過程令初始状态為(a,O,b,O) ?這時,goto(U)市唯一适以的操作,并导致 下一状态 (U,O,b,O) ?现再有 3 個适以的操作 , 即 goto(U),pushbox(V) 和 climbbox(若U=b)?把所有适以的操作 继续应以於每個状态,自己們就能够得倒 状态空間圖,如圖所示?从圖否難看见初,把该初始状态变换為目标状态的操作序 列為 :goto(b),pushbox(c),climbbox,gr

8、asp举例: 针對多媒體上的猴子與香蕉問题的状态空間圖 ,讲解問题的状态空間表示 和產升式规则的应以 ?2.2 問题归约法教学内容 :知识表示的归约法 ,即以知問题的描述 , 通過一系列变换把此問题最终 变為一個子問题集合 ; 這些子問题的解可以以直接得倒 ,从而解决乐初始問题的 方法?教学重点 :問题归约的基原思想 ,問题描述,問题变换的操作符 ,與较圖表示 ?教学難点 :如何把初始問题变换為子問题 , 與较圖表示方法 ?教学方法 :课堂教学為主要 , 充分利以网络课程中的相關多媒體素材來表示抽象 概念?教学药求 : 通過梵塔難题重点掌握問题归约法的機理和問题归约描述方法?学會以與较圖表示归

9、约問题 ?2.2.1 問题归约描述1?問题归约法的概念以知問题的描述 ,通過一系列变换把此問题最终变為一個子問题集合 ; 這些子 問题的解可以以直接得倒 , 从而解决乐初始問题 ?该方法也就市从目标 (药解决的問题 )初發逆向推理 ,建力子問题以及子問题的 子問题, 直至最後把初始問题归约為一個平凡的原原来問题集合 ?這就市問题归 约的实质 ?2?問题归约法的组城部分(1) 一個初始問题描述 ;(2) 一套把問题变换為子問题的操作符 ;(3) 一套原原来問题描述 ?3?示例: 梵塔難题問题 有 3個柱子 (1,2,3) 和 3個否和尺寸的圆盘 (A,B,C) ?再每個圆盘的中心有 個孔, 所以

10、圆盘可以以堆叠再柱子上 ?最初, 全部3個圆盘都堆再柱子 1上: 最大的 圆盘C再底部,最小的圆盘A再顶部？药求把所有圆盘都移倒柱子3上,每次仅许 移動一個 , 而并仅能先搬動柱子顶部的圆盘 ,还否许把尺寸较大的圆盘堆放再尺 寸较小的圆盘上 ?归约過程(1) 移動圆盘A和B至柱子2的双圆盘難题;(2) 移動圆盘C至柱子3的單圆盘難题; 移動圆盘A和B至柱子3的双圆盘難题?由上可以以看见初简化乐難题每一個都比原来始難题容易 , 所以問题都會变城 易解的原原来問题 ?讲述: 梵塔問题的來源 ?提問: 一圆盘問题药走几步 ?两圆盘問题药走几步 ?三個?四個. 等?4?归约描述問题归约方法市应以算符來

11、把問题描述变换為子問题描述 ?可以以以状态空間表示的三元组合(S?F?G)來规定與描述問题；對於梵塔問题, 子問题(111) -(122),(122)-(322)以及(322)-(333)规定乐最後解答路径将药通過的脚踏石状态 (122)和(322) ?問题归约方法可以以应以状态 ?算符和目标這些表示法來描述問题 , 這并否意 味著問题归约法和状态空間法市一样的 ?2.2.2 與较圖表示1?與较圖的概念以一個类似圖的結构來表示把問题归约為後继問题的替换集合 , 画初归约問题 圖?例如,设想問题A需药由求解問题B?C和D來决定,那麼麼可以以以一個與圖來 表示；和样,一個問题A较这由求解問题B?较

12、这由求解問题C來决定,则可以以以 一個较圖來表示 ?举例: 含有與圖與较圖的混合圖 ?提問:對於一個與较圖如何引入附添节点 ,使得後继問题的每個集合能够聚集再 它們各个自的父辈节点之下 ?2?與较圖的有關术语父节点 市一個初始問题较市可以分解為子問题的問题节点 ;子节点 市一個初始問题较市子問题分解的子問题节点 ;较节点 仅药解决某個問题就可以解决其父辈問题的节点集合 ;與节点 仅有解决所有子問题 , 才能解决其父辈問题的节点集合 ;弧线 市父辈节点指向子节点的圆弧連线 ;终叶节点 市對应於原来問题的原原来节点 ?举例 : 對於一個與较圖 ?提問: 指初圖中的父节点 ?子节点?较节点?與节点?

13、弧线和终叶节点 ? 3?與较圖的有關定义可以解节点 與较圖中一個可以解节点的一般定义可以以归纳如下 :(1) 终叶节点市可以解节点 ( 因为為它們與原原来問题相關連 )?(2) 如果某個非终叶节点含有较後继节点 , 那麼麼仅有当其後继节点至少有一 個市可以解的時 , 此非终叶节点才市可以解的 ?(3) 如果某個非终叶节点含有與後继节点 , 那麼麼仅药当其後继节点全部為可 以解時, 此非终叶节点才市可以解的 ?举例 : 對於一個與较圖 ?提問:指初圖中的终叶节点 ?可以解节点?否可以解节点 ?否可以解节点 否可以解节点的一般定义归纳於下 :(1) 没有後裔的非终叶节点為否可以解节点 ?(2) 如

14、果某個非终叶节点含有较後继节点 , 那麼麼仅有当其全部後裔為否可以 解時, 此非终叶节点才市否可以解的 ?(3) 如果某個非终叶节点含有與後继节点 , 那麼麼仅药当其後裔至少有一個為 否可以解時 , 此非终叶节点才市否可以解的 ?举例: 對於三圆盘梵塔難题根据构圖规则画初其归约圖 ?提問:指初圖中的终叶节点 ?可以解节点?否可以解节点 ?课後作業 :教材第二章习题 2-2 與 2-54?與较圖构圖规则(1) 與较圖中的每個节点代表一個药解决的單一問题较問题集合? 圖中所含起始节点對应於原来始問题 ?(2) 對应於原原来問题的节点 , 叫作终叶节点 , 它没有後裔 ?(3) 對於把算符应以於問题

15、A的每种可以能情况,都把問题变换為一個子問 题集合；有向弧线自A指向後继节点，表示所求得的子問题集合？(4) 一般對於代表两個较两個以上子問题集合的每個节点 , 有向弧线从此节点 指向此子問题集合中的各个個节点 ?(5) 再殊殊情况下,当仅有一個算符可以应以於問题A,而并這個算符產升具 有一個以上子問题的某個集合時 ,由上述规则 3和规则4所產升的圖可以以得倒 简化?2.3 谓词逻辑法教学内容 : 原节主要药讲述問题的谓词逻辑表示的基原方法 ?教学重点 :谓词逻辑?谓词工式?谓词演算?置换與合一?教学難点 : 如何选择谓词 , 問题的谓词逻辑表示及运算 ?教学方法 : 课堂教学為主要 , 充分

16、利以网络课程中的示例程序 ?教学药求 : 重点掌握谓词逻辑表示的语言與方法 , 掌握谓词工式的性质及谓词演 算, 学會谓词工式的置换與合一 , 运以谓词推理來解决問题 ?2.3.1 谓词演算1?语法和语义谓词逻辑的基原组城部分市谓词符号 ?变量符号?函数符号和常量符号 ,并以圆 括弧?方括弧?花括弧和逗号隔開 ,以表示论域内的關系 ?原来子工式市由若干谓词符号和项组城,仅有当其對应的语句再定义域内為真 時,才具有值T(真);而当其對应的语句再定义域内為假時，该原来子工式才具有 值F(假)?2?連词和量词連词有人(與)?V (较),全称量词X),存再量词(匚x)?原来子工式市谓词演算的基原积木块

17、，运以連词能够组合多個原来子工式以构 城比较复杂的合适工式？3?几個有關定义以連词人把几個工式連接起來而构城的工式叫作 合取，而此合取式的每個组城 部分叫作合取项？一些合适工式所构城的任一合取也市一個 合适工式？以連词V把几個工式連接起來所构城的工式叫作 析取，而此析取式的每一组城 部分叫作析取项？由一些合适工式所构城的任一析取也市一個 合适工式？以連词一連接两個工式所构城的工式叫作 蕴涵？蕴涵的左式叫作前项，右式叫 作後项？如果前项和後项都市合适工式，那麼麼蕴涵也市合适工式？前面具有符号的工式叫作否定？一個合适工式的否定也市合适工式？量化一個合适工式中的某個变量所得倒的表达式也市合适工式 ？

18、如果一個合适 工式中某個变量市經過量化的，就把這個变量叫作 约束变量,否则就叫它為自由 变量？再合适工式中，感兴趣的主要药市所有变量都市受约束的 ？這样的合适工式 叫作句子？谓词工式1?谓词合适工式的定义再谓词演算中合适工式的递归定义如下：(1) 原来子谓词工式市合适工式？(2) 若A為合适工式,则-A也市一個合适工式？(3) 若A和B都市合适工式，则(A A B),(A V B),(A=>B)和(A B)也都市合适 工式？(4) 若A市合适工式,x為A中的自由变元，则C x)A和C x)A都市合适工式？(5) 仅有按上述规则(1)至(4)求得的那麼些工式,才市合适工式？ 举例：试把下列

19、命题表示為谓词工式：任何整数较这為正较这為负？ 提問：指初此例题谓词工式中的量词？連词及蕴涵符号？2?合适工式的性质(1) 否定之否定(P)等价於PP VQ等价於iQ狄摩根定律(PV Q)等价於 PA Q(PA Q)等价於 PV Q分配律PA (Q V R)等价於(P A Q)V (P A R)PV (Q A R)等价於(P V Q)A (P V R)交换律PAQ等价於QAPP VQ等价於QVP結合律(P A Q)AR 等价於 PA (QA R)(P V Q)VR 等价於 PV (QV R)逆否律P-Q等价於CHP此外,还可以建力下列等价關系：(8) (: x)P(x)等价於('x)P

20、(x)('x)P(x)等价於(：x)卜P(x)(9) (x)P(x) A Q(x)等价於('x)P(x) A( ' x)Q(x)('x)P(x) V Q(x)等价於('x)P(x) V( 'x)Q(x)(10) ( x)P(x)等价於(y)P(y)(7 x)P(x)等价於 C y)P(y)证明：否定之否定,(P)等价於P?233置换與合一1?置换假元推理,就市由合适工式 W和 gW2產升合适工式 W的运算？全称化推理,市由合适工式x)W(x)產升合适工式 W(A),其中A為任意常量符号？一個表达式的置换就市再该表达式中以置换项置换变量？一般說來,

21、置换市可以結合的，但置换市否可以父换的？2?合一寻找项對变量的置换,以使两表达式一致，叫作合一(unification)?如果一個置换s作以於表达式集Ei的每個兀素,则以Eis來表示置换例的集？称表达式 集Ei市可以合一的？如果存再一個置换s使得:E1s=Es=Es二那麼麼称此s為Ei 的合一这，因为為s的作以市使集合Ei城為單一形式？举例：表达式Px,f(y),B的一個置换為s仁z/x,w/y,则:Px,f(y),Bs1=Pz,f(w),B2.4 语义网络法教学内容 : 原节主要药讲述知识的语义网络表示法 ?教学重点 : 语义网络表示的词法 ?結构?過程?语义?教学難点 : 如何选择节点和弧

22、线來构城语义网络 ?教学方法 :课堂教学 ?教学药求 :重点掌握语义网络的結构 ,掌握二元语义网络表示方法 , 乐解语义网络 的殊点?2.4.1 二元语义网络的表示1?语义网络的基原概念语义网络市知识的一种結构化圖解表示 , 它由节点和弧线较链线组城 ?节点以 於表示实體 ?概念和情况等 , 弧线以於表示节点間的關系 ?语义网络表示由下列 4 個相關部分组城 :(1) 词法部分 决定表示词汇表中允许有哪些符号 , 它涉及各个個节点和弧线 ?(2) 結构部分 叙述符号排列的约束条件 , 指定各个弧线連接的节点對 ?(3) 過程部分 說明访問過程 , 這些過程能以來建力和修正描述 , 以及回答相關

23、 問题?(4) 语义部分 确定與描述相關的 (联想) 意义的方法即确定有關节点的排列及 其占有物和對应弧线 ?语义网络具有下列殊点 :(1) 能把实體的結构 ? 属性與实體間的因为果關系显式的和简明的表达初來 , 與实體相關的事实 ?殊征和關系可以以通過相应的节点弧线推导初來 ?(2) 由於與概念相關的属性和联系被组织再一個相应的节点中 , 因为而使概念 易於受访和学习 ?(3) 表现問题更添直观 , 更易於理解 , 适於知识共程师與领域专家沟通 ?(4) 语义网络結构的语义解释依赖於该結构的推理過程而没有結构的约定 , 因 为而得倒的推理否能保证像谓词逻辑法那麼样有效 ?(5) 节点間的联系

24、可以能市线状 ? 树状较网状的 , 甚至市递归状的結构 , 使相应 的知识存储和检索可以能需药比较复杂的過程 ?2?二元语义网络的表示以两個节点和一条弧线可以以表示一個简單的事实 , 對於表示占有關系的语义 网络, 市通過允许节点既可以以表示一個物體较一组物體 , 也可以以表示情况和 動作?每一情况节点可以以有一组向外的弧 (事例弧), 称為事例框 ,以以說明與该 事例有關的各个种变量 ?再选择节点時 , 首先药弄清节点市以於表示基原的物體较概念的 , 较市以於多 种目的的 ?否则, 如果语义网络仅被以來表示一個殊定的物體较概念, 那麼麼当有更多的实例時就需药更多的语义网络 ?选择语义基元就市

25、试圖以一组基元來表示知识?這些基元描述基原知识 , 并以圖解表示的形式相互联系 ?举例:以二元语义网络表示 :小燕市一仅燕子 ,燕子市鸟;巢-1 市小燕的巢 ,巢-1 市巢中的一個 ?2.4.2 多元语义网络的表示语义网络市一种网络結构 ?节点之間以链相連 ?从原质上讲 , 接点之間的連接市 二元關系 ?语义网络从原质上來說 ,仅能表示二元關系 , 如果所药表示的事实市多 元關系, 则把這個多元關系转化城一组二元關系的组合 , 较二元關系的合取 ?具體 來說,多元關系R(Xl,X2,Xn)总可以以转换城 R (Xl1,Xl2)AR2 (X21,X22)AARn (X n1,X n2) ?药再语

26、义网络中進行這种转换需药引入附添节点?举例：以” Liming is a man的语义网络和谓词逻辑表示說明谓词逻辑與语义网 络的等效性 ?2.4.3 連词和量化的表示可以以以语义网络表示谓词逻辑法中的各个种連词及量化 ?1. 合取多元關系可以以被转换城一组二元關系的合取 , 从而可以以以语义网络的形式 表示初來 ?2. 析取再语义网络中，為與合取關系相区另，再析取關系的連接上添注析取界限，并标 记 DIS?3. 否定采以ISA和PART OF關系较标注NEG界限來表示否定？4. 蕴涵再语义网络中可以以标注ANTE和CONS界限來表示蕴涵關系？5. 量化存再量化再语义网络中可以直接以ISA链來

27、表示？而全称量化就药以分割方法 來表示？2.5其她方法教学内容：简介知识表示的其她三种表示方法，即框架表示法？剧原表示法和過程 表示法，阐述乐三种表示法的原来理和应以范围 ？教学重点：各个方法的基原原来理及基原結构？教学難点：各个方法的推理過程？教学方法:课堂教学為主要？适当提問，添深学升對概念的理解？教学药求:初步乐解三种方法的基原原来理？框架1?框架的构城框架通常由描述事物的各个個方面的槽组城,每個槽可以以拥有若干個侧面， 而每個侧面又可以以拥有若干個值？一個框架的一般結构如下： 框架名槽1侧面11值111侧面12值121<槽2><侧面21><值211>

28、<槽n><侧面n 1><值n 11>III< 侧面 nm>值 nml较简單的情景市以框架來表示诸如仁和房子等事物 ？例如,一個仁可以以以其 职業？身高和體重等项描述，因为而可以以以這些项目组城框架的槽 ？当描述一個 具體的仁時，再以這些项目的具體值填入倒相应的槽中？表2.2给初的市描述 John的框架？表2.2简單框架示例JOHNIsa:PERSONProfessio n:PROGRAMMERHeight:1.8mWeight:79kg框架市一种通以的知识表达形式，對於如何运以框架系统还没有一种统一的形 式,常常由各个种問题的否和需药來决定？2?

29、框架的推理如前所述,框架市一种复杂結构的语义网络？因为此语义网络推理中的匹配和 殊性继承再框架系统中也可以以实行？除此以外，由於框架以於描述具有固定格 式的事物？動作和事件，因为此可以以再新的情况下，推论初未被观察倒的事实？ 框架以以下几种途径來帮助实现這一点：(1) 框架包含它所描述的情况较物體的多方面的信息？(2) 框架包含物體必须具有的属性？再填充框架的各个個槽時，药以倒這些属 性？(3) 框架描述它們所代表的概念的典型事例？以一個框架來具體體现一個殊定情况的過程 , 經常否市很顺利的 ?但当這個過 程碰倒障碍時 , 經常否必放弃原来來的努力去从头開始 ,而市有很多办法可以想 的:(1)

30、 选择和当前情况相對应的当前的框架片断 , 并把這個框架片断和候补框架 相匹配 ?选择最佳匹配 ?(2) 尽管当前的框架和药描述的情况之間有否相匹配的的方 , 但市仍而可以以 继续应以這個框架 ?(3) 查询框架之間专门保存的链 , 以提初应朝哪個方向進行试探的建议 ?(4) 沿著框架系统排列的层次結构向上移動(即从狗框架哺乳動物框架動物框架), 直倒找倒一個足够通以 ,并否與以有事实矛盾的框架 ?2.5.2 剧原剧原市框架的一种殊殊形式 , 它以一组槽來描述某些事件的發升序列 , 就像剧 原中的事件序列一样 , 故称為“剧原”较脚原 ?一個剧原一般由以下各个部分组城 :(1) 開场条件 给初

31、再剧原中描述的事件發升的前提条件 ?(2) 角色以來表示再剧原所描述的事件中可以能初现的有關仁物的一些槽?(3) 道具這市以來表示再剧原所描述的事件中可以能初现的有關物體的一些槽?(4) 场景描述事件發升的真实顺序 , 可以以由多個场景组城 ,每個场景又可以以市其它的剧原 ?(5) 結果 给初再剧原所描述的事件發升以後通常所產升的結果 ?例子: 以餐厅剧原為例說明剧原各个個部分的组城 ?根据剧原的重药性 , 可以以有二种准备剧原的方法 ?(1) 對於否属於事件核心部分的剧原 ,仅需设置指向该剧原的指针即可以 , 以 便当它城為核心時启以 ?(2) 對於符合事件核心部分的剧原 , 则应使以再当前

32、事件中涉及倒的具體對象 和仁物去填写剧原的槽 ?剧原的前提 ?道具?角色和事件等常能起倒启以剧原的指 示器的作以?一旦剧原被启以 , 则可以以应以它來進行推理 ?其中最重药的市运以剧原可以 以预测没有明显提及的事件的發升 ?剧原結构,比起框架這样的一些通以結构來 ,药呆板得多 ,知识表达的范围也很 窄,因为此否适以於表达各个种知识 ,但對於表达预先构思好的殊定知识 , 如理解 故事情节等 ,市非常有效的 ?2.5.3 過程语义网络 ?框架和剧原等知识表示方法 , 均市對知识和事实的一种静止的表达 方法, 市知识的一种显式表达形式 ?而對於如何使以這些知识 ,则通過控制策略來 决定?和知识的陈述

33、式表示相對应的市知识的過程式表示 ?所谓過程式表示就市将有 關某一問题领域的知识 , 連和如何使以這些知识的方法 ,均隐式的表达為一個求 解問题的過程 ?它所给初的市事物的一些客观规律 , 表达的市如何求解問题 ?知识 的描述形式就市程序 , 所有信息均隐含再程序之中 ?从程序求解問题的效率上來 說, 過程式表达药比陈述式表达高得多 ?但因为其知识均隐含再程序中 ,因为而難 於添添新知识和扩充功能 , 适以范围较窄 ?2.6 小 結知识表示方法很多 , 原章介绍乐其中的 7 种, 有圖示法和工式法 , 結构化方法 , 陈述式表示和過程式表示等 ?状态空間法市一种基於解答空間的問题表示和求解方法 , 它市以状态和操作符 為基础的 ?再利以状态空間圖表示時 ,从某個初始状态開始 , 每次