The Logic of Typed Feature Structures

The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution 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. Autor: Robert L. (Carnegie Mellon University Carpenter Wydawnictwo: Cambridge University Press Rok wydania: 2005 Okładka: miękka Liczba stron: 280 Wymiary: 24.5 x 17 x 1.5 cm Ilustracje: 28 Line drawings, unspecified Język: angielski ISBN: 9780521022545