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

by Bob Carpenter and Robert L. Carpenter

Book Overview

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. A logical perspective is adopted which employs an attribute-value description language...

• Format: Paperback
• Language: English
• ISBN: 0521022541
• ISBN13: 9780521022545
• Release Date: November 2005
• Publisher: Cambridge University Press
• Length: 280 Pages
• Weight: 1.01 lbs.
• Dimensions: 0.6" x 6.7" x 9.7"