The Logic of Typed Feature Structures
With Applications to Unification Grammars, Logic Programs and Constraint Resolution
Normal Price: $87.95
Your Price: $79.16 AUD, inc. GST
Shipping: $7.95 per order
You Save: $8.80! (10% off normal price)
Plus...earn $3.96 in Boomerang Bucks
Availability: Available to Backorder, No Due Date for Supply
Logic of Typed Feature Structures by Robert L. Carpenter
Book DescriptionThis 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 along with complete equational axiomatizations of the various systems of feature structures. At the same time, efficiency concerns are kept in mind 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 developed for solving arbitrary attribute-value logic constraints. This book, with its innovative approach to data structure, will be essential reading for researchers in computational linguistics, logic programming and knowledge representation. Its self-contained presentation makes it flexible enough to serve as both a research tool and a text book.
Buy Logic of Typed Feature Structures book by Robert L. Carpenter from Australia's Online Bookstore, Boomerang Books.
Book DetailsISBN: 9780521022545
(247mm x 174mm x 15mm)
Imprint: Cambridge University Press
Publisher: Cambridge University Press
Publish Date: 10-Nov-2005
Country of Publication: United Kingdom
» Have you read this book? We'd like to know what you think about it - write a review about Logic of Typed Feature Structures book by Robert L. Carpenter and you'll earn 50c in Boomerang Bucks loyalty dollars (you must be a member - it's free to sign up!)
Bestselling Books: Our Current Bestsellers | Australia's Hottest 1000 Books | Bestselling Fiction | Bestselling Crime Mysteries and Thrillers | Bestselling Non Fiction Books | Bestselling Sport Books | Bestselling Gardening and Handicrafts Books | Bestselling Biographies | Bestselling Food and Drink | Bestselling History | Bestselling Travel Books | Bestselling School Textbooks & Study Guides | Bestselling Children's General Non-Fiction | Bestselling Young Adult Fiction | Bestselling Children's Fiction | Bestselling Picture Books | Top 100 US Bestsellers
Phone: 1300 36 33 32 (9am-5pm Mon-Fri AEST) - International: +61 2 9960 7998 - Online Form
Address: Boomerang Books, 878 Military Road, Mosman Junction, NSW, 2088
© 2003-2017. All Rights Reserved. Eclipse Commerce Pty Ltd - ACN: 122 110 687 - ABN: 49 122 110 687
For every $20 you spend on books, you will receive $1 in Boomerang Bucks loyalty dollars. You can use your Boomerang Bucks as a credit towards a future purchase from Boomerang Books. Note that you must be a Member (free to sign up) and that conditions do apply.