1 지식구조의 시각적 표상 정 미 애정 미 애. 2 지식표상의 원리 (Davis, Shrobe, & Szolovits (1993) a. 지식표상은 대용물 (surrogate) 이다. b. 지식표상은 존재론적 개입 (ontological commitment) 이다. c.

Slides:



Advertisements
Similar presentations
1 Knowledge Representation Introduction KR and Logic.
Advertisements

E-Preference: A Tool for Incorporating Patient Preferences into Health Decision Aids Amar K. Das, MD, PhD Assistant Professor Departments of Medicine (Medical.
Semantics (Representing Meaning)
REPRESENTAÇÃO DO CONHECIMENTO Terças – 13 hs – sala 512 RDC.
Knowledge Representation
Knowledge Representation
Knowledge Representation Chapter 4. 2 What is KR? R. Davis, H. Schrobe, P. Szolovits (1993): 1.A surrogate 2.A set of ontological commitments 3.A fragmentary.
1 Knowledge Representation We’ve discussed generic search techniques. Usually we start out with a generic technique and enhance it to take advantage of.
INTRODUCTION TO ARTIFICIAL INTELLIGENCE Massimo Poesio LECTURE 4: Semantic Networks and Description Logics.
Knowledge Representation
1 Building Ontologies from the Ground Up When users set out to model their professional activity Mark A. Musen Professor of Medicine and Computer Science.
Problem Solving What is AI way of solving problem?
CROC — a Representational Ontology for Concepts. Contents  Introduction  Semantic Web  Conceptuology  Language  CROC — a Representational Ontology.
CSCE101 –Chapter 8 (continued) Tuesday, December 5, 2006.
© Franz J. Kurfess Knowledge Processing 1 CPE/CSC 580: Knowledge Management Dr. Franz J. Kurfess Computer Science Department Cal Poly.
Artificial Intelligence Knowledge representation Fall 2008 professor: Luigi Ceccaroni.
© 2001 Franz J. Kurfess Knowledge Processing 1 CPE/CSC 580: Knowledge Management Dr. Franz J. Kurfess Computer Science Department Cal Poly.
Theories of Mind: An Introduction to Cognitive Science Jay Friedenberg Gordon Silverman.
Semantics Overview Sharon L. Bolding, PhD Jan 26, 2008.
Concept Mapping. What is Concept Mapping ? Concept mapping is a technique for representing knowledge in graphs. This technique was developed by Professor.
FIRST ORDER LOGIC Levent Tolga EREN.
Concept Mapping Presenters: Andre Daniels Clint Braaf.
System Analysis & Design Introduction: System Analysis and design course intents to help students understand its importance in developing systems that.
Knowledge Representation
Frames and semantic networks, page 1 CSI 4106, Winter 2005 A brief look at semantic networks A semantic network is an irregular graph that has concepts.
Knowledge Representation Semantic Network dan Frame.
Learning Objective III: Diverse Learners Teacher candidates and candidates for other professional school personnel roles exhibit knowledge, competence,
An Introduction to Description Logics. What Are Description Logics? A family of logic based Knowledge Representation formalisms –Descendants of semantic.
Knowledge representation
Of 39 lecture 2: ontology - basics. of 39 ontology a branch of metaphysics relating to the nature and relations of being a particular theory about the.
Artificial Intelligence 4. Knowledge Representation Course V231 Department of Computing Imperial College, London © Simon Colton.
Chapter 1, Part II: Predicate Logic With Question/Answer Animations.
Lecture 7 Declarative Knowledge English Study Program FKIP – UNSRI July
Structured Knowledge Chapter 7. 2 Logic Notations Does logic represent well knowledge in structures?
An Introduction to Description Logics (chapter 2 of DLHB)
 Dr. Syed Noman Hasany 1.  Review of known methodologies  Analysis of software requirements  Real-time software  Software cost, quality, testing.
Ontologies in Biomedicine What is the “right” amount of semantics? Mark A. Musen Stanford University.
Compare and contrast the following terms, giving specific examples of how these should be considered when teachers design classroom activities: The Information.
Chapter 1, Part II: Predicate Logic With Question/Answer Animations.
Semanntic Web Exercises. XML-exercises (1) 1.Give an XML-document (by not using attributes), which includes the information that the first name of a person.
KNOWLEDGE REPRESENTATION 6 6.0Issues in Knowledge Representation 6.1A Brief History of AI Representational Systems 6.2Conceptual Graphs: A Network Language.
Semantic Nets, Frames, World Representation CS – W February, 2004.
1 Knowledge Representation (continue). 2 Knowledge Representation Logic isn’t the only method of representing knowledge. There are other methods which.
Word Problem Consider the following problem: To register, you will need either a yellow card or a note from the Dean. To obtain a note from the Dean you.
KNOWLEDGE BASED SYSTEMS
Chapter 2: The Representation of Knowledge
Knowledge Representation
1 How is knowledge stored? Human knowledge comes in 2 varieties: Concepts Concepts Relations among concepts Relations among concepts So any theory of how.
1 Logic Notations Frege’s Begriffsschrift (concept writing) : assert P not P if P then Q for every x, P(x) P P Q P P(x) x.
1 CS 385 Fall 2006 Chapter 7 Knowledge Representation 7.1.1, 7.1.5, 7.2.
Predicates and Quantifiers Dr. Yasir Ali. 1.Predicates 2.Quantifiers a.Universal Quantifiers b.Existential Quantifiers 3.Negation of Quantifiers 4.Universal.
CSE (c) S. Tanimoto, 2008 ISA Hierarchies 1 ISA Hierarchies: A Basis for Knowledge Representation with Semantic Networks Outline: Introduction The.
Concept Mapping: A Graphical System for Understanding the Relationship between Concepts. ERIC Digest.
Description Logics Dr. Alexandra I. Cristea. Description Logics Description Logics allow formal concept definitions that can be reasoned about to be expressed.
Project Identification and Selection Dr. Mohamed Riyazh Khan DoMS.
Artificial Intelligence Knowledge Representation.
Knowledge Representation
Definition and Technologies Knowledge Representation.
Module 5 Other Knowledge Representation Formalisms
Knowledge Representation Techniques
PART IV: The Potential of Algorithmic Machines.
Knowledge Representation
ece 627 intelligent web: ontology and beyond
Mental Representations:
Logic for Artificial Intelligence
KNOWLEDGE REPRESENTATION
class PrintOnetoTen { public static void main(String args[]) {
Mental Representations:
Artificial Intelligence
Deniz Beser A Fundamental Tradeoff in Knowledge Representation and Reasoning Hector J. Levesque and Ronald J. Brachman.
Presentation transcript:

1 지식구조의 시각적 표상 정 미 애정 미 애

2 지식표상의 원리 (Davis, Shrobe, & Szolovits (1993) a. 지식표상은 대용물 (surrogate) 이다. b. 지식표상은 존재론적 개입 (ontological commitment) 이다. c. 지식표상은 지능적 추리에 대한 단편적 이론 (a fragmentary theory of intelligent reasoning) 이다. d. 지식표상은 효율적인 계산을 위한 매개체 (a medium for efficient computation) 이다. e. 지식표상은 사람들의 언어표현의 매개체 (a medium of human expression) 이다.

3 2. 지식표상 방법 (Luger, 2002) 1. 선언적 표상 (declarative representation) - 술어논리 2. 절차적 표상 (procedural representation) 3. 의미망 표상 (network representation) 4. 구조적 표상 (structural representation) - 프레임, 스크립트

논리기반 지식표상 a. All men are mortal. Socrates is a man. Therefore, Socrates is mortal. b. ∀ x(M(x) → D(x)) M(a) ∴ D(a)

5 Frege 도식 : ∀ x ¬∀ y(Pxy → ¬ Pyx) Visual Predicate Logic Representation x y Pyx Pxy man eatsman Peirce 존재도식 (EG): ∃ x ∃ y(man(x) ∧ eat(x,y))

6 ~( x)( y)(farmer(x) donkey(y) owns(x,y) ~beats(x,y)) = (x)( y)((farmer(x) donkey(y) owns(x,y)) beats(x,y))

의미망에 의한 지식표상 Collins & Quillian(1969)

8 의미망 유형 (sowa 2002) 1. 정의적 (definitional) 의미망 2. 단언적 (assertional) 의미망 3. 함축적 (implicative) 의미망 4. 실행적 (executable) 의미망 5. 학습 (learning) 의미망 6. 혼종적 (hybrid) 의미망

9 1. Definitional semantic networks Porphyry: Supreme genus: Substance Differentiae: Subordinate genera: Differentiae: Subordinate genera: Differentiae: Proximate genera: Differentiae: Species: Individuals: Material Immaterial Body Spirit Animate Inanimate Living Material sensitive Insensitive Animal Plant rational Irrational Human Beast Socrates Plato Aristotle etc.

10 Definitional semantic networks (cont’d) KL-ONE: PLANT MALE- ANIMAL THING ANIMAL MINERAL MAN FEMALE- ANIMAL MAMMAL FISH HUMANHORSE WOMAN

11 2. Assertional (propositional) semantic networks Semantic Network Processing System (SNePS): Sue thinks that Bob believes that a dog is eating a bone.

12 2. Assertional (propositional) semantic networks (cont’d) Conceptual Graph : Sue thinks that Bob believes that a dog is eating a bone.

13 3. Implicative semantic networks

14 4. Executive semantic networks Petri Net:

15 5. Learning semantic networks Neural Network: 6. Hybrid semantic networks

Frame 에 의한 지식표상

Script 에 의한 지식표상

18 3. 컴퓨터를 이용한 시각적 지식표상도구 Computational tools for visual knowledge representation class hello{ public static void main(String args[]){ System.out.println("Hello"); } class hello{ public static void main(String args[]){System.out.println("Hello");}} vs.

CmapTools

Inspiration

21 Concept Maps I. Effectiveness A. Cognitive domain II. Visual domain III. Advantages A. Information synthesis B. Conceptual understanding C. Performance IV. Metacognitive learning skills V. Knowledge Management System VI. visual A. Design Elements B. Non-verbal Communication C. Visual Symbols D. Visualizing Knowledge E. Design Principles VII. Cognitive Research & Theory A. Holistic representation B. Structural Knowledge 1. Knowledge VIII. Meaningful Learning A. Aid Meaningful Learning 1. Learning tool IX. General Applications A. Assess understanding B. Communicate complex ideas C. Design complex structures D. Brainstorming E. Creativity tool

SMART Ideas

Axon Idea Processor

CharGer

CharGer

26 4. 자연언어 처리를 위한 지식표상 도구의 활용 4.1. 간접조응의 시각적 지식표상

27 John bought a Mustang.

28 John bought a Mustang. The radiator was shiny.

29

30 CharGer 의 database 를 이용한 간접조응 해결

31

32

33 a. b. CmapTools 를 이용한 다양한 간접조응 John bought a pantechnicon. He adores the vehicle.

34 Mary got some picnic supplies out of the car. The beer was warm.

35

36

37

38 I bought a bicycle. The frame is extra large.

39

40

41 John walked into the room. The chandelier sparkled brightly.

42 John walked into the room.

43 John walked into the room. The chandelier sparkled brightly.

44

45

46 John walked into the room. The chandelier sparkled brightly.

47 I went to a wedding last weekend. The bride was a friend of mine. She baked the cake herself.

48

49

담화구조의 시각적 지식표상

51

52

53

54

55

56

57

58 Graesser & Clark (1985) Structures and Procedures of Implicit Knowledge

59 Graesser & Clark (1985) 의 예에 대한 의미망 표상

60 1.William is a teacher and reports directly to Elizabeth. 2.William and Elizabeth are adult people. 3.William and Elizabeth work in the English Department of Ballybefore School. 4.Elizabeth is Head of Department. 5.All employees of the school get great long holidays. 6.The school is in the area of the BELB. Heads of Department get a huge salary, teachers get a pittance.

61