the knowledge machine
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 PresentationTRANSCRIPT
![Page 1: The Knowledge Machine](https://reader036.vdocuments.us/reader036/viewer/2022062410/56816332550346895dd3b77e/html5/thumbnails/1.jpg)
The Knowledge Machine
Kurt HungerfordCSCI 8110
![Page 2: The Knowledge Machine](https://reader036.vdocuments.us/reader036/viewer/2022062410/56816332550346895dd3b77e/html5/thumbnails/2.jpg)
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](https://reader036.vdocuments.us/reader036/viewer/2022062410/56816332550346895dd3b77e/html5/thumbnails/3.jpg)
Overview
KR&R – Knowledge Representation and Reasoning
Description of the KM KM Applications
![Page 4: The Knowledge Machine](https://reader036.vdocuments.us/reader036/viewer/2022062410/56816332550346895dd3b77e/html5/thumbnails/4.jpg)
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](https://reader036.vdocuments.us/reader036/viewer/2022062410/56816332550346895dd3b77e/html5/thumbnails/5.jpg)
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](https://reader036.vdocuments.us/reader036/viewer/2022062410/56816332550346895dd3b77e/html5/thumbnails/6.jpg)
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](https://reader036.vdocuments.us/reader036/viewer/2022062410/56816332550346895dd3b77e/html5/thumbnails/7.jpg)
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](https://reader036.vdocuments.us/reader036/viewer/2022062410/56816332550346895dd3b77e/html5/thumbnails/8.jpg)
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](https://reader036.vdocuments.us/reader036/viewer/2022062410/56816332550346895dd3b77e/html5/thumbnails/9.jpg)
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](https://reader036.vdocuments.us/reader036/viewer/2022062410/56816332550346895dd3b77e/html5/thumbnails/10.jpg)
Frames
Object Information about the object Syntax:
(every <class> has (slot1 (expr1 expr2 …))
(slot2 (expr1 expr2 …))…)
![Page 11: The Knowledge Machine](https://reader036.vdocuments.us/reader036/viewer/2022062410/56816332550346895dd3b77e/html5/thumbnails/11.jpg)
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](https://reader036.vdocuments.us/reader036/viewer/2022062410/56816332550346895dd3b77e/html5/thumbnails/12.jpg)
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](https://reader036.vdocuments.us/reader036/viewer/2022062410/56816332550346895dd3b77e/html5/thumbnails/13.jpg)
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](https://reader036.vdocuments.us/reader036/viewer/2022062410/56816332550346895dd3b77e/html5/thumbnails/14.jpg)
Queries
Knowledge Look-Up Inference Syntax
(the <slot> of <instance>)
![Page 15: The Knowledge Machine](https://reader036.vdocuments.us/reader036/viewer/2022062410/56816332550346895dd3b77e/html5/thumbnails/15.jpg)
Query Example
(the doors of *myHouse) (side1 side2 front back)
(the doors of *myHouse2) (front back)
![Page 16: The Knowledge Machine](https://reader036.vdocuments.us/reader036/viewer/2022062410/56816332550346895dd3b77e/html5/thumbnails/16.jpg)
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](https://reader036.vdocuments.us/reader036/viewer/2022062410/56816332550346895dd3b77e/html5/thumbnails/17.jpg)
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](https://reader036.vdocuments.us/reader036/viewer/2022062410/56816332550346895dd3b77e/html5/thumbnails/18.jpg)
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](https://reader036.vdocuments.us/reader036/viewer/2022062410/56816332550346895dd3b77e/html5/thumbnails/19.jpg)
Advanced KM Abilities
Constraints Prototypes Theories Situations Simulations Metaclasses
![Page 20: The Knowledge Machine](https://reader036.vdocuments.us/reader036/viewer/2022062410/56816332550346895dd3b77e/html5/thumbnails/20.jpg)
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](https://reader036.vdocuments.us/reader036/viewer/2022062410/56816332550346895dd3b77e/html5/thumbnails/21.jpg)
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](https://reader036.vdocuments.us/reader036/viewer/2022062410/56816332550346895dd3b77e/html5/thumbnails/22.jpg)
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](https://reader036.vdocuments.us/reader036/viewer/2022062410/56816332550346895dd3b77e/html5/thumbnails/23.jpg)
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](https://reader036.vdocuments.us/reader036/viewer/2022062410/56816332550346895dd3b77e/html5/thumbnails/24.jpg)
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](https://reader036.vdocuments.us/reader036/viewer/2022062410/56816332550346895dd3b77e/html5/thumbnails/25.jpg)
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](https://reader036.vdocuments.us/reader036/viewer/2022062410/56816332550346895dd3b77e/html5/thumbnails/26.jpg)
Any Questions?