An interpretation of negation in feature structure descriptions

Authors:
Anuj Dawar;K. Vijay-Shanker
Affiliations:
University of Pennsylvania, Philadelphia, PA;University of Delaware, Newark, DE
Venue:
Computational Linguistics
Year:
1990

Citing 8
Cited 6

Feature structures: a logical theory with application to language analysis

Feature structures: a logical theory with application to language analysis
A logic for partially specified data structures

POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Features and values

ACL '84 Proceedings of the 10th International Conference on Computational Linguistics and 22nd annual meeting on Association for Computational Linguistics
The design of a computer language for linguistic information

ACL '84 Proceedings of the 10th International Conference on Computational Linguistics and 22nd annual meeting on Association for Computational Linguistics
A logical semantics for feature structures

ACL '86 Proceedings of the 24th annual meeting on Association for Computational Linguistics
A three-valued interpretation of negation in feature structure descriptions

ACL '89 Proceedings of the 27th annual meeting on Association for Computational Linguistics
Conditional descriptions in Functional Unification Grammar

ACL '88 Proceedings of the 26th annual meeting on Association for Computational Linguistics
An experimental parser for systemic grammars

COLING '88 Proceedings of the 12th conference on Computational linguistics - Volume 1

Feature structures and nonmonotonicity

Computational Linguistics - Special issue on inheritance: I
Computing with features as formulae

Computational Linguistics
Horn extended feature structures: fast unification with negation and limited disjunction

EACL '91 Proceedings of the fifth conference on European chapter of the Association for Computational Linguistics
Classical logics for attribute-value languages

EACL '91 Proceedings of the fifth conference on European chapter of the Association for Computational Linguistics
A model-theoretic framework for theories of syntax

ACL '96 Proceedings of the 34th annual meeting on Association for Computational Linguistics
Logic and feature structures

IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2

Quantified Score

Hi-index	0.00

Visualization

Abstract

Feature structures are informational elements that have been used in several linguistic theories and in computational systems for natural language processing. A logical calculus has been developed and used as a description language for feature structures. In the present work, a framework in three-valued logic is suggested for defining the semantics of a feature structure description language, allowing for a more complete set of logical operators. In particular, an interpretation of the negation and implication operators is examined within this framework. We extend this approach to interpret descriptions that involve existence (or nonexistence) of values for attributes. A definition of augmented feature structures is proposed, and one particular interpretation of the description language with a negation operator is described. A sound and complete proof system is presented for the logic thus obtained and its computational aspects studied.