By Bill Keller

Constraint and unification-based methods to grammar became more and more renowned in computational linguistics due to their flexibility and descriptive energy. those techniques have constructed a huge inspiration of function constructions that play a key function within the illustration of linguistic details. This ebook offers an in depth survey and comparability of modern methods to the logical formalization of characteristic buildings and their description languages in constraint and unification-based grammar formalisms. invoice Keller is a lecturer in computing device technological know-how and synthetic intelligence within the college of Cognitive and Computing Sciences on the college of Sussex.

Show description

Read Online or Download Feature Logics, Infinitary Descriptions, and Grammar PDF

Best logic books

Statistical Estimation of Epidemiological Risk (Statistics in Practice)

Statistical Estimation of Epidemiological Risk provides assurance of crucial epidemiological indices, and contains fresh advancements within the field. A useful reference resource for biostatisticians and epidemiologists operating in affliction prevention, because the chapters are self-contained and have a variety of actual examples.

An Invitation to Formal Reasoning

This paintings introduces the topic of formal good judgment when it comes to a process that's "like syllogistic logic". Its approach, like out of date, conventional syllogistic, is a "term logic". The authors' model of common sense ("term-function logic", TFL) stocks with Aristotle's syllogistic the perception that the logical sorts of statements which are eager about inferences as premises or conclusions might be construed because the results of connecting pairs of phrases via a logical copula (functor).

Extra resources for Feature Logics, Infinitary Descriptions, and Grammar

Example text

E. through unification). In the context of partial information the theoretical treatment of negative constraints is particularly problematic, and a number of alternative approaches to negative information are described in the course of this chapter. 3 Summary The denotational model of feature structure descriptions due to Pereira and Shieber provides a precise account of purely conjunctive constraints on feature structures. For certain linguistic applications however, the ability to express negative and disjunctive conditions is desirable.

I : a for / e L°, and a £ A. • I : (f> for / 6 L1 and for (j> a constraint. • ( A i/}) for (f>, 41 constraints. • O for 4> a constraint. • O4> for a constraint. The connectives V, —> and <-> may be defined in terms of -i and A in the usual way. Category Logic is similar in many respects to the language of feature structure descriptions introduced by Rounds and Kasper. A constraint of the form / is used to assert the existence of a feature label /; a constraint / : a states that the (type-0) feature label / has the atomic value a; and a constraint / : cj> states that the (type-1) feature label I has a value 44 Feature Logics, Infinitary Descriptions and Grammar which satisfies the constraint .

The second formula above is actually equivalent to the more compact expression x(subj)fagr) w x(agr) which describes a structure in which the value of the path subj agr is identical to the value of the attribute agr. 12. The last formula describes an attribute-value structure in which either number is not sing or person is not 3. 14 (Attribute-Value Models) An attribute-value model is defined as a tuple M = (-F, C, <*>, ¥>, \), where: • (-F, C, 6) is an attribute-value structure • (f> is a total function from V to F • x is an injective function from A to C The denotation of a term t in a model M (written \f\M} is an element of F.

Download PDF sample

Rated 4.78 of 5 – based on 19 votes