Logic of typed feature structures, the: with applications to unification grammars, logic programs and constraint resolution
Auteur :
Carpenter, Robert L.
Éditeur :
Cambridge University Press
ISBN :
9780521022545
Date de publication :
10 nov. 2005
Dimensions :
24,5 x 17,0 x 1,5 cm
Poids :
453 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Grande Bretagne
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.