Logic of Typed Feature Structures - With Applications to Unification Grammars, Logic Programs Constraint

Klappentext This book develops the theory of typed feature structures and provides a logical foundation for logic programming and constraint-based reasoning systems. Zusammenfassung 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. The resulting synthesis serves as a logical foundation for grammars! logic programming and constraint-based reasoning systems. 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.

Détails du produit

• Auteurs: Bob Carpenter, Robert L. Carpenter, Robert L. (Carnegie Mellon University Carpenter
• Collaboration: Samson Abramsky (Editeur), C. J. van Rijsbergen (Editeur), C. J. van Rijsbergen (Editeur)
• Edition: Cambridge University Press ELT
• Langues: Anglais
• Format d'édition: Livre de poche
• Sortie: 10.11.2005
• EAN: 9780521022545
• ISBN: 978-0-521-02254-5
• Pages: 280
• Thème: Cambridge Tracts in Theoretica
• Catégorie: Sciences naturelles, médecine, informatique, technique > Informatique, ordinateurs > Informatique