Features and formulae

Mark Johnson

Features and formulae

Research output: Contribution to journal › Article › peer-review

9 Downloads (Pure)

Abstract

Feature structures are a representational device used in several current linguistic theories. This paper shows how these structures can be axiomatized in a decidable class of first-order logic, which can also be used to express constraints on these structures. Desirable properties, such as compactness and decidability, follow directly. Moreover, additional types of feature values, such as "set-valued" features, can be incorporated into the system simply by axiomatizing their properties.

Original language	English
Pages (from-to)	131-152
Number of pages	22
Journal	Computational Linguistics
Volume	17
Issue number	2
Publication status	Published - Jun 1991
Externally published	Yes

Bibliographical note

Copyright the Publisher 1991. Version archived for private and non-commercial use with the permission of the author/s and according to publisher conditions. For further rights please contact the publisher.

Access to Document

Publisher version (open access)Final published version, 1.26 MBLicence: CC BY-NC-SA

https://www.aclweb.org/anthology/J91-2001Licence: CC BY-NC-SA

Cite this

@article{5305bde2598f46b3a8672b2036e9683f,

title = "Features and formulae",

abstract = "Feature structures are a representational device used in several current linguistic theories. This paper shows how these structures can be axiomatized in a decidable class of first-order logic, which can also be used to express constraints on these structures. Desirable properties, such as compactness and decidability, follow directly. Moreover, additional types of feature values, such as {"}set-valued{"} features, can be incorporated into the system simply by axiomatizing their properties.",

author = "Mark Johnson",

note = "Copyright the Publisher 1991. Version archived for private and non-commercial use with the permission of the author/s and according to publisher conditions. For further rights please contact the publisher. ",

year = "1991",

month = jun,

language = "English",

volume = "17",

pages = "131--152",

journal = "Computational Linguistics",

issn = "0891-2017",

publisher = "MIT Press Journals",

number = "2",

}

TY - JOUR

T1 - Features and formulae

AU - Johnson, Mark

N1 - Copyright the Publisher 1991. Version archived for private and non-commercial use with the permission of the author/s and according to publisher conditions. For further rights please contact the publisher.

PY - 1991/6

Y1 - 1991/6

N2 - Feature structures are a representational device used in several current linguistic theories. This paper shows how these structures can be axiomatized in a decidable class of first-order logic, which can also be used to express constraints on these structures. Desirable properties, such as compactness and decidability, follow directly. Moreover, additional types of feature values, such as "set-valued" features, can be incorporated into the system simply by axiomatizing their properties.

AB - Feature structures are a representational device used in several current linguistic theories. This paper shows how these structures can be axiomatized in a decidable class of first-order logic, which can also be used to express constraints on these structures. Desirable properties, such as compactness and decidability, follow directly. Moreover, additional types of feature values, such as "set-valued" features, can be incorporated into the system simply by axiomatizing their properties.

M3 - Article

VL - 17

SP - 131

EP - 152

JO - Computational Linguistics

JF - Computational Linguistics

SN - 0891-2017

IS - 2

ER -

Features and formulae

Abstract

Bibliographical note

Access to Document

Fingerprint

Cite this