13 Feature Structures

In this lecture we will

1. introduce features structures

2. and the subsumption relation between features structures,

3. we explain feature structure unification

4. and implement feature structure unification and subsumption in Prolog.

In addition, we briefly discuss an operation on feature structures called generalization.

• 13.1 Agreement

• 13.2 Feature Structures

• 13.3 Comparing Feature Structures: Subsumption

• 13.4 Feature Structure Unification

• 13.5 Feature Structures in Prolog
  • 13.5.1 Representing Feature Structures in Prolog
  • 13.5.2 Implementing feature structure unification
  • 13.5.3 Subsumption in Prolog

• 13.6 The Code

• 13.7 Exercises