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

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

In Stock
SKU: SONG0521419328
Brand: Cambridge University Press
$69.38
Quantity
Add to wishlist
Add to compare

Processing time: 1-3 days

US Orders Ships in: 3-5 days

International Orders Ships in: 8-12 days

Return Policy: 15-days return on defective items

Payment Option
Payment Methods

Help

If you have any questions, you are always welcome to contact us. We'll get back to you as soon as possible, withing 24 hours on weekdays.

Customer service

All questions about your order, return and delivery must be sent to our customer service team by e-mail at yourstore@yourdomain.com

Sale & Press

If you are interested in selling our products, need more information about our brand or wish to make a collaboration, please contact us at press@yourdomain.com

This book develops the theory of typed feature structures, a new form of data structure that generalizes both the firstorder terms of logic programs and featurestructures of unificationbased grammars to include inheritance, typing, inequality, cycles and intensionality. It presents a synthesis of many existing ideas into a uniform framework, which serves as a logical foundation for grammars, logic programming and constraintbased reasoning systems. Throughout the text, a logical perspective is adopted that employs an attributevalue description language along with complete equational axiomatizations of the various systems of feature structures. Efficiency concerns are discussed and complexity and representability results are provided. The application of feature structures to phrase structure grammars is described and completeness results are shown for standard evaluation strategies. Definite clause logic programs are treated as a special case of phrase structure grammars. Constraint systems are introduced and an enumeration technique is given for solving arbitrary attributevalue logic constraints. This book with its innovative approach to data structures will be essential reading for researchers in computational linguistics, logic programming and knowledge representation. Its selfcontained presentation makes it flexible enough to serve as both a research tool and a textbook.

⚠️ WARNING (California Proposition 65):

This product may contain chemicals known to the State of California to cause cancer, birth defects, or other reproductive harm.

For more information, please visit www.P65Warnings.ca.gov.

Recently Viewed