HUDU

The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution

Jetzt
€ 53,49
Bisher € 54,49
 
kartoniert
Lieferbar innert 2 Wochen
September 2005

Beschreibung

Beschreibung

This book develops the theory of typed feature structures, a data structure that generalizes both first-order terms and feature structures of unification-based grammars to include inheritance, typing, inequality, cycles, and intensionality.

Inhaltsverzeichnis

Acknowledgements; Part I. Basics: 1. Introduction; 2. Types and inheritance; 3. Feature structures; 4. Attribute-value descriptions and satisfaction; Part II. Extensions: 5. Acyclic feature structures; 6. Appropriateness and typing; 7. Inequations; 8. Identity and extensionality; 9. Maximality, groundedness and closed world inference; Part III. Alternatives: 10. Variables and assignments; 11. Feature algebras; 12. Infinite feature structures and domains; Part IV. Applications: 13. Unification-based phrase structure grammars; 14. Definite clause programming; 15. Recursive type constraint systems; Bibliography.

Pressestimmen

"...well and clearly written...can be used as a textbook as well as a monograph." Peter Bachmann, Mathematical Reviews "...an indispensable compendium for the researcher or graduate student working on constraint-based grammatical formalisms, and they also make it a very useful reference work for researchers in object-oriented databases and logic programming." Fernando Pereira, Computational Linguistics
EAN: 9780521022545
ISBN: 0521022541
Untertitel: 'Cambridge Tracts in Theoretica'. Revised. Sprache: Englisch.
Verlag: CAMBRIDGE UNIV PR
Erscheinungsdatum: September 2005
Seitenanzahl: 280 Seiten
Format: kartoniert
Es gibt zu diesem Artikel noch keine Bewertungen.Kundenbewertung schreiben