Bücher online kaufen
The Logic of Typed Feature Structures
-0 %
With Applications to Unification Grammars, Logic Programs and Constraint Resolution
Paperback
Print on Demand | Lieferzeit: Print on Demand - Lieferbar innerhalb von 3-5 Werktagen I
Artikel-Nr:
9780521022545
Veröffentl:
2005
Einband:
Paperback
Erscheinungsdatum:
23.09.2005
Seiten:
280
Autor:
Bob Carpenter
Gewicht:
488 g
Format:
244x170x15 mm
Sprache:
Englisch
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.
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.