Connecting and Extending the Model
The user manipulates instances in the graph, using four types of graphical action
- specialize, add, connect, unify
Each action generates a rule
- Initial rule applies just to the example being viewed
- A generalization algorithm generalizes the rule to hold for all instances of the concept being built