The Logic of Typed Feature Structures With Applications to Unification Grammars, Logic Programs and Constraint Resolution |
|
| Author:
| Carpenter, Robert L. |
| Contribution by:
| van Rijsbergen, C. J.
Abramsky, S.
Aczel, P. H.
de Bakker, J. W.
Gurevich, Y.
Tucker, J. V. |
| Series title: | Cambridge Tracts in Theoretical Computer Science Ser. |
| ISBN: | 978-0-521-02254-5 |
| Publication Date: | Nov 2005 |
| Publisher: | Cambridge University Press
|
| Book Format: | Paperback |
| List Price: | AUD $73.95 |
Book Description:
|
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.
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.