Table of Contents
Knowledge Representation (Introduction)
Procedural vs Declarative
Example of Declarative Representation: An “Isa” Hierarchy
Inference with Isa Hierarchies
Binary Relations
Partial Orders
Examples of the Partial Order Properties
Redundant Facts
Inheritance of Properties via Isa
Non-inheritance of Certain Properties
Propositional Logic
|
Author: Steven L. Tanimoto
Email: tanimoto@cs.washington.edu
Home Page: http://www.cs.washington.edu/people/faculty/tanimoto.html
|