Logic and Feature Structures

Mark Johnson
1991 International Joint Conference on Artificial Intelligence  
Feature structures play an important role in linguistic knowledge representation in computational linguistics. Given the proliferation of different feature structure formalisms it is useful to have a "common language" to express them in. This paper shows how a variety of feature structures and constraints on them can be expressed in predicate logic (except for the use of circumscription for non-monotonic devices), including sorted feature values, subsumption constraints and the non-monotonic
more » ... values and "constraint equations". Many feature systems can be completely axiomatized in the Schonfinkel-Bernays class of first-order formulae, so the decidability of the satisfiability and validity problems for these systems follows immediately.
dblp:conf/ijcai/Johnson91 fatcat:rdjfqcst3raxzj7sknlht5oe7i