1 / 38

Chapter 2

Chapter 2. Knowledge Representation 知識表示法. Knowledge (知識) + Inference (推論) = Expert Systems (專家系統) Affect the development, efficiency, speed, and maintenance of expert systems Epistemology( 認識論 ): concerned with the nature, structure, and origin of knowledge

prestont
Download Presentation

Chapter 2

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Chapter 2 Knowledge Representation 知識表示法

  2. Knowledge(知識) + Inference (推論)= Expert Systems(專家系統) • Affect the development, efficiency, speed, and maintenance of • expert systems • Epistemology(認識論): concerned with the nature, structure, and origin of knowledge • A priori comes from the Latin and means “That which precedes” 2.1 The meaning of Knowledge(知識) Epistemology Philosophic Theories (哲學) ARISTOTLE PLATO LOCKE MILL A Priori Knowledge (定理) E.g. All triangles have 180 degrees (considered to be universally true) A posteriori Knowledge (經驗法則) E.g. the light is green • A posteriori knowledge can be verified using sense experience S.S. Tseng & G.J Hwang

  3. Classifications of knowledge(知識) • Procedural Knowledge(程序性知識) • How to do something • Declarative Knowledge(陳述性知識) • The truth of something •   “Don’t put your fingers in a pot of boiling water” • Tacit Knowledge(隱含知識) • (Unconscious Knowledge) • Cannot be expressed explicitly • -An example is how to move your hand • -Walking or riding a bicycle • -ANS is related to tacit knowledge S.S. Tseng & G.J Hwang

  4. Analogy to Wirth’s classic expression • Algorithms + data structures = programs • Knowledge + Inference = expert systems S.S. Tseng & G.J Hwang

  5. Levels Meta Knowledge (rules about rules) Knowledge (rules+facts) Information (facts) Data Noise S.S. Tseng & G.J Hwang

  6. The sequence of 12 numbers:137178007124 Without knowledge. This entire sequence may appear to be noise. Rule 1:IF Rain THEN Bring Raincoat Rule 2:IF Rain THEN Bring Umbrella Meta Rule 1:Try Rule 2 First Meta Rule 2:IF Ride a motorcycle THEN Try Rule 1 First Meta knowledge is knowledge about knowledge and expertise. -would specify which knowledge base was applicable. S.S. Tseng & G.J Hwang

  7. Representation(表示法) • Backus-Naur Form • Ontology(本體論) • Semantic Network(語意網路) • Frames-based Knowledge(框架式知識) • Case-based Knowledge(案例式知識) • Rule-based Knowledge(規則式知識) • Knowledge Object(知識物件) • Logic(邏輯) S.S. Tseng & G.J Hwang

  8. 2.2 Backus-Naur Form ( BNF ) • This notation is a meta language for defining the • syntax of a language • Define the syntax of a language • e.g. • <sentence>::= <subject><verb><end-mark> • <subject>::= I | You|We • <verb> ::= left |came • <end-mark> ::= . | ?|! • Parse Tree (derivation tree) • sentence • subject verb end-mark • You came ? S.S. Tseng & G.J Hwang

  9. 2.3 Ontology(本體論) • Ontology一詞在90年代就開始被使用在人工智慧領域,描述知識的知識構成要素之間的關係。 • Ontology的研究大致上可略為分為兩個方向: • 針對特定的問題領域建立大量的Ontology • 例如:建立某些領域詞彙的Ontology • 研究Ontology的建構方法與表示方法 • 例如:利用XML(可延伸標記語言)或是RDF(資源描述格式) S.S. Tseng & G.J Hwang

  10. Ontology的發展主要是用來使知識分享和再用更為容易。Ontology的發展主要是用來使知識分享和再用更為容易。 • 不同的研究對於Ontology的表示與描述有不同的方法,目前還未看到較一般化、通用的表示法 。 • 範例:使用RDF來描述適性化教材的Ontology S.S. Tseng & G.J Hwang

  11. 2.4 Semantic Network(語意網路) (Quillian 67 & 68) • A classic AI representation technique used for propositional (命題) information is sometimes called Propositional Net • A proposition is a statement that is either TRUE or FALSE • A directed graph(有向圖形) • Node(點) : 知識的組成元素或是種類 • Arc(有向線段) : 知識組成元素間的關 • 「is a」 • 「a kind of」 S.S. Tseng & G.J Hwang

  12. General Net San Francisco Chicago New York Indianapolis Los Angeles Houston S.S. Tseng & G.J Hwang

  13. A Semantic Net(語意網路) sister-of Carol David wife-of wife-of Ann husband-of husband-of Father- of Mother- of father-of Mother-of wife-of Tom Susan husband-of father-of Mother-of John S.S. Tseng & G.J Hwang

  14. 「is a」 and 「a kind of」 • 「is a」 : • 在Tail(有向線段尾段)所表示的知識物件屬 於Head(有向線段頭段)的知識類別中的一個例子。 • 「a kind of」 : • 在Tail(有向線段尾段)的知識類別屬Head(有向線段頭段)所表示的知識類別。 • Superclass(父類別) and Subclass(子類別) • Attribute, Value, Property • Inheritance(繼承) S.S. Tseng & G.J Hwang

  15. aircraft AKO AKO AKO round balloon Propeller driven jet has-shape AKO AKO AKO AKO AKO AKO has-shape blimp Concorde ellipsoidal special DC-3 DC-9 is a is a is a Goodyear Blimp Spirit of St. Louis Air Force 1 A Semantic Network with 「is a」 and 「a kind of」(AKO) Links S.S. Tseng & G.J Hwang

  16. 2.5 PROLOG and Semantic Nets(語意網路) • Essentials of PROLOG Each of the following statements is a PROLOG predicate expression, or simply a predicate. Color(red).; red is a color father_of(Tom,John).; Tom is the father of John mother_of(Susan,John).; Susan is the mother of John parents(Tom,Susan,John).; Tom and Susan are parents of John S.S. Tseng & G.J Hwang

  17. Predicates can also be expressed with relations such as the IS-A and HAS-A. is_a (red,color). has_a (John,father). has_a (John,mother). has_a (John,parents). Some additional predicates is_a (Tom,father). is_a (Susan,mother). is_a (Tom,parent). is_a (Susan,parent). S.S. Tseng & G.J Hwang

  18. Programs in PROLOG consist of facts and rules in the general form of goals. p:-p1,p2…pn. In which p is the rule’s head and the pi’s are the subgoals. The symbol,:-, is interpreted as an IF. parent (x,y) : - father (x,y). parent (x,y) : - mother(x,y). grandparent(x,y) :- parent(x,z), parent(z,y). and an ancestor can be defined as: (1) ancestor(x,y) :- parent(x,y). (2) ancestor(x,y) :- ancestor(x,z),ancestor(z,y). S.S. Tseng & G.J Hwang

  19. Predicate Database (Rules and Facts) Queries Answers Interpreter User General Organization of a PROLOG System S.S. Tseng & G.J Hwang

  20. Facts: parent (Ann,Mary). parent (Ann,Susan). parent (Mary,Bob). parent (Susan,John). As another example, suppose the query is :-ancestor(Ann,John). The first ancestor rule(1) matches and X is set to Ann and Y is set to John. PROLOG now tries to match the body of (1), parent (Ann,John), with every parent statement. S.S. Tseng & G.J Hwang

  21. Rule (1) is not true since its IF part cannot be true. Because Rule (1) cannot be true, PROLOG then tries the second ancestor statement. For Rule (2), ancestor(x,y) is TRUE of ancestor(x,z) & ancestor(z,y) are both TRUE.;By setting X to Ann and Y to John, the problems become whether the expression ancestor(John, z) & ancestor(z, Ann) is TRUE. Control structure of PROLOG is of the Markov algorithm type, in which searching for pattern matching is normally determined by the order in which the Horn clauses are entered. S.S. Tseng & G.J Hwang

  22. 2.6 Schema (plural schemas or schematas) • A semantic net(語意網路) is an example of a shallow knowledge(淺層知識) structure. • A general term to describe a complex knowledge structure • Focus on only relevant knowledge • For examples: FRAME, SCRIPT S.S. Tseng & G.J Hwang

  23. 2.7 Frames-based Knowledge(框架式知識) • Suitable for related knowledge about a narrow subject with much default knowledge • script-a time-ordered sequence of frames • Slot: Attribute Slot Value: Attribute Value • Example a car frame S.S. Tseng & G.J Hwang

  24. Slot value • Some frame-based tools (e.g. KEE) allow a wide range of items to be stored in slots • an assigned value .a default value • Rules .graphics • Comments .debugging information • questions for users .function • procedural attachment .to other frame S.S. Tseng & G.J Hwang

  25. Procedural Attachment • If – needed, if-added, if-removed • Examples:Human Property S.S. Tseng & G.J Hwang

  26. Hierarchy S.S. Tseng & G.J Hwang

  27. FRAMES School meeting A KIND OF Weekly Meeting Occasional Meeting Monthly Meeting IF-ADDED:inform the participants IF-REMOVED: inform the participants IS A IF-ADDED:inform the person IF-REMOVED: inform the person IF-CHANGED:... S.S. Tseng & G.J Hwang

  28. Difficulties with FRAMES name elephant specialization of a-kind-of mammal color gray legs4 trunk a cylinder • Stereotype is that it have well defined features so that many of its slots have default values • Most frame systems do not provide a way to assist defining frame structure and slots • Nothing can be really certain in such a unrestrained system S.S. Tseng & G.J Hwang

  29. 1.C enters L 2.C begins looking around Script C(customer),S(salesperson) M(merchandise),D(dollars) L(a store) C looks for a specific M 4. C looks for any interesting M C asks S for help 6. 8. C fails to find M 7.C finds M’ C leaves L 12. goto step 2 10.C buys M’ 11.C leaves L 13.C leaves L 14.C takes M’ S.S. Tseng & G.J Hwang

  30. Did Mary buy anything? Mary went shopping for a new coat. She found a new one. She really liked When she got it home, and discovered that it went perfectly with her favorite dress . Question:Did Mary buy anything? S.S. Tseng & G.J Hwang

  31. 2.8 Case-based Knowledge(案例式知識) • 通常是用來描述屬於經驗的知識 • 從過去的經驗中,判定是何種相似的case(案例),並且依據過去解決此問題的方法,來解決此次問題 • Case(案例) : • 案例名稱 • 屬性 • 屬性值 S.S. Tseng & G.J Hwang

  32. 利用Case-based Knowledge(案例式知識)建構Expert System(專家系統) • Case Retrieve(案例擷取) • Case Reuse(案例再用) • Case Revise(案例修正) • Case Retain(案例更新) S.S. Tseng & G.J Hwang

  33. 案例推論循環 S.S. Tseng & G.J Hwang

  34. 2.9 Rule-based Knowledge(規則式知識) • 知識領域具備需要推論的特性 • 例如:醫生依據其所學的醫學知識及病人所呈現的症狀去判別所罹患的疾病 • 最基本的Rules(規則)形式 如果 「狀態」 則 「結論」 IF (condition) THEN (conclusion) • Inference Chaining(推論鏈) • Forward Inference(前向推論) • Backward Inference(後向推論) S.S. Tseng & G.J Hwang

  35. 2.10 Knowledge Object(知識物件) • Object Oriented(物件導向) • Class(類別) and Object(物件) • Super-class(父類別) and Sub-class(子類別) • Inheritance(繼承)、Encapsulation(封裝)、Polymorphism(多型) • Knowledge Object(知識物件) • Object-Attribute-Value Triples ( OAV )(物件-屬性-屬性值法) • 物件導向規則庫管理系統 • Knowledge Object Model(知識物件模型) S.S. Tseng & G.J Hwang

  36. Object-Attribute-Value Triples ( OAV )(物件-屬性-屬性值法) • OAV can be used to characterizes all the knowledge(知識) in a semantic net(語意網路) and was used in MYCIN for diagnosing infections diseases • Especially useful for representing facts(事實) • for only a single object: only attribute-value pairs (AV) S.S. Tseng & G.J Hwang

  37. Object-Attribute-Value Triples(物件-屬性-屬性值法) Car Wheel: 4 Function:run Object Attribute Value AKO AKO Door:3 . . . Door:4 . . . AKO AKO Carry:people size:small Carry:goods size:big AKO AKO price:$$$ Civic R9 price:$$$ price:$$$ price:$$$ ‧‧‧‧‧‧ ‧‧‧‧‧‧ is a is a year:1992 owner:crt year:1988 owner:gjh S.S. Tseng & G.J Hwang

  38. Limitations • Lack of standard names for links and nodes(點) • Combinatorial explosion of searching nodes(點) • Logically inadequate no “for all”, “there exist”... • Heuristically inadequate no effective search heuristics S.S. Tseng & G.J Hwang

More Related