the knowledge machine

26
The Knowledge Machine Kurt Hungerford CSCI 8110

Upload: nanji

Post on 23-Feb-2016

32 views

Category:

Documents


0 download

DESCRIPTION

Kurt Hungerford CSCI 8110. The Knowledge Machine. Bottom Line, Up Front. The Knowledge Machine is a knowledge representation and reasoning system that allows users to store concepts and relationships and then perform inferences on the knowledge base. Overview. - PowerPoint PPT Presentation

TRANSCRIPT

Page 1: The Knowledge Machine

The Knowledge Machine

Kurt HungerfordCSCI 8110

Page 2: The Knowledge Machine

Bottom Line, Up Front

The Knowledge Machine is a knowledge representation and reasoning system that allows users to store concepts and relationships and then perform inferences on the knowledge base.

Page 3: The Knowledge Machine

Overview

KR&R – Knowledge Representation and Reasoning

Description of the KM KM Applications

Page 4: The Knowledge Machine

References KM website:

http://www.cs.utexas.edu/~mfkb/km/ Knowledge Systems Research Group website:

http://www.cs.utexas.edu/users/mfkb/index.html KM Manual [Barker K., et. al.] “A Question-Answering

System for AP Chemistry: Assessing KR&R Technologies”

The KM Algorithm (powerpoint) KM Tutorial (powerpoint)

Page 5: The Knowledge Machine

KR&R

Knowledge Representation Reasoning More organized way for computers to

represent how people think “Computers are ignorant… Our goal

is to build knowledgeable computers – capable of conversing intelligently on many topics.”

- Knowledge Systems Research Group

Page 6: The Knowledge Machine

Knowledge Representation Symbols

Represent objects and concepts Example: chess

Represent the board Represent the pieces Represent positioning

Knowledge Base – statements about what we know and believe

Page 7: The Knowledge Machine

Reasoning

Inference – using current knowledge to deduce new knowledge

Example: chess What will the board look like if I make a

particular move? What will be the best response from my

opponent? Given that, what is my best response?

Page 8: The Knowledge Machine

The Knowledge Machine

Developed by the Knowledge Systems Research Group at University of Texas Austin

Knowledge Representation Language Implemented in LISP Represents Knowledge in Frames Inference-Capable

Page 9: The Knowledge Machine

KM Description

Object-Oriented Frames and Slots Similar to Classes and Fields

Queries Retrieve stored knowledge Perform inferences on knowledge

Page 10: The Knowledge Machine

Frames

Object Information about the object Syntax:

(every <class> has (slot1 (expr1 expr2 …))

(slot2 (expr1 expr2 …))…)

Page 11: The Knowledge Machine

Frames

Frames have slots Slots are how relations between

concepts are represented Predicates about the frame Slots assert what is known about the

frame

Page 12: The Knowledge Machine

Frame Example

(every Building has (doors (front back)) (windows (w1 w2 w3 w4)) (roof (r1)))

(myHouse has (instance-of (Building)))

(myHouse has (doors (side1 side2))) (myHouse2 has (instance-of

(Building)))

Page 13: The Knowledge Machine

Anonymous Instances

Instances that get automatically, created by the KM

(a <class>) returns an anonymous instance

Example: (a Building) (_Building15)

Page 14: The Knowledge Machine

Queries

Knowledge Look-Up Inference Syntax

(the <slot> of <instance>)

Page 15: The Knowledge Machine

Query Example

(the doors of *myHouse) (side1 side2 front back)

(the doors of *myHouse2) (front back)

Page 16: The Knowledge Machine

KM’s Algorithm

An atomic value returns itself (4) -> 4

Otherwise, decompose the expression

Decomposition results in smaller expressions, which are then recursively evaluated

Ultimately, this will return a value, which is then propagated back up the recursion chain

Page 17: The Knowledge Machine

KM’s algorithm

Different kinds of expressions decompose slightly differently Example: (if <expr1> then <expr2>) => (expr1)

returns bool1 if bool1 = true then (expr2)

(the <slot> of <expr>) => (expr) returns frame; (the <slot> of frame)

Page 18: The Knowledge Machine

Quirks

Working with lists (it is LISP, after all) KM only computes slots on demand Unification

== for unification; /== for doesn’t unify = for testing equality; /= for testing

inequality (t) used for true; NIL used for false Any non-NIL value also evaluates to

true Output precision works in scientific

notation Delete – doesn’t undo previous

inferences

Page 19: The Knowledge Machine

Advanced KM Abilities

Constraints Prototypes Theories Situations Simulations Metaclasses

Page 20: The Knowledge Machine

Applications

Botany Knowledge Base Large Botany KB Used early version of KM

Project Halo Expert Tutor Store knowledge base on different

subjects Answered users’ questions and provide

explanation

Page 21: The Knowledge Machine

Project Halo

Effort to create a “Digital Aristotle” Expert Tutor Wide variety of subjects Example: Chemistry

Attempt to develop a system capable of taking the AP Chemistry exam

Page 22: The Knowledge Machine

AP Chemistry Application Develop an expert system for AP

Chemistry Focused on a subset of Chemistry:

Stoichiometry and equilibrium reactions Needed to restrict the domain, while still

working with a wide variety of questions System needed to deal with a wide

variety of questions Also needed to be able to provide

explanations for the answers it gave

Page 23: The Knowledge Machine

AP Chemistry Application Questions posed in using KM Answers used two types of

reasoning: Automatic classification – introduce new

concepts by using definitions (based off chemistry terms)

Backward chaining – goal-oriented search method (based off chemistry laws)

Page 24: The Knowledge Machine

AP Chemistry Application The system also provided

explanations with its answers KM logs the rules it uses during its

reasoning The Chemistry application uses that

record to generate a human-readable explanation

The explanation leaves out the uninteresting parts of the reasoning process

This results in a succinct, understandable derivation of the answer

Page 25: The Knowledge Machine

Conclusion

KM is a KR&R Language Used to capture knowledge about a

domain Used to reason about knowledge Provide an explanation of its

reasoning

Page 26: The Knowledge Machine

Any Questions?