Logic and Feature Structures

Johnson, Mark

Logic and Feature Structures

Download BibTeX Cite

Proceedings of the Twelfth International Joint Conference on Artificial Intelligence. Natural Language. Pages 992-995.

Abstract

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 ANY 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.

Mark Johnson. 1991. Logic and Feature Structures. In Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, IJCAI-91. IJCAI, 992–995. https://ijcai.org/proceedings/1991/146

@inproceedings{ijcai1991p146,
  title     = {Logic and Feature Structures},
  author    = {Johnson, Mark},
  booktitle = {Proceedings of the Twelfth International Joint Conference on
               Artificial Intelligence, {IJCAI-91}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {John Mylopoulos and Ray Reiter},
  pages     = {992--995},
  year      = {1991},
  month     = {8},
  note      = {Natural Language},
  url       = {https://ijcai.org/proceedings/1991/146},
}

TY  - CPAPER
TI  - Logic and Feature Structures
AU  - Johnson, Mark
T2  - Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, IJCAI-91
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1991
SP  - 992
EP  - 995
UR  - https://ijcai.org/proceedings/1991/146
ER  -