Intro to Computation & AI
Review
Semantic Nets
Example of a Semantic Net
Attributes & Values
Inheritance
Inheritance Algorithm
DAGs
More DAGs
Inferential Distance (Touretzky)
Semantic Nets: Conclusions
Constraint Satisfaction
CS & Graphs: Structure
CS & Graphs: Operations
Domain-independent CS Algorithm
Example: Scene Analysis for Polyhedra
Line Classes
Common Junctions
Combinatorics: Simple Case
Combinatorics: No Assumptions
Waltz’s Algorithm
Simplest Example (trihedral)
Constraints for A
Constraints for B
Constraints for C
…When You’re Done...
Waltz’s Algorithm Factoids
Constraint Satisfaction: Conclusions
Email: jeffreys+@andrew.cmu.edu
Other information: Author: Jill Fain Lehman