%0 Journal Article %1 Pereira93coli %A Pereira, Fernando %D 1993 %J Computational Linguistics %K v1205 paper ai knowledge processing language logic book %N 3 %P 545--552 %T Book Review of The Logic of Typed Feature Structures by Bob Carpenter 1992 %V 19 %X I believe that The Logic of Typed Feature Structures is essential for any practicing or prospective researcher on feature-based grammar or knowledge representation formalisms and also very useful to researchers or graduate students in the grammar formalisms area of computational linguistics. Nowhere else can one find all the main mathematical analysis tools related to each other and all the central results carefully proved. Many readers, however, will need to come equipped with the support of a careful instructor or an attentive reading of a good introduction to the mathematical theory of partial orders, for instance, Davey and Priestley's (1990) Introduction to Lattices and Order. And those readers interested in the complexity of decision procedures for feature logics or in implementing systems based on them will have to look elsewhere for detailed algorithmic descriptions and complexity analyses of operations on feature structures and formulas. Carpenter's book is more in the European tradition that emphasizes algebraic models for formalisms than in the American tradition of complexity analyses for deductive procedures. Both are important. The Logic of Typed Feature Structures is the first systematic mapping of the landscape of feature logics, but many of the underlying processes and mechanisms still await an equally adept analysis.

@article{Pereira93coli, abstract = {I believe that The Logic of Typed Feature Structures is essential for any practicing or prospective researcher on feature-based grammar or knowledge representation formalisms and also very useful to researchers or graduate students in the grammar formalisms area of computational linguistics. Nowhere else can one find all the main mathematical analysis tools related to each other and all the central results carefully proved. Many readers, however, will need to come equipped with the support of a careful instructor or an attentive reading of a good introduction to the mathematical theory of partial orders, for instance, Davey and Priestley's (1990) Introduction to Lattices and Order. And those readers interested in the complexity of decision procedures for feature logics or in implementing systems based on them will have to look elsewhere for detailed algorithmic descriptions and complexity analyses of operations on feature structures and formulas. Carpenter's book is more in the European tradition that emphasizes algebraic models for formalisms than in the American tradition of complexity analyses for deductive procedures. Both are important. The Logic of Typed Feature Structures is the first systematic mapping of the landscape of feature logics, but many of the underlying processes and mechanisms still await an equally adept analysis.}, added-at = {2012-05-30T10:52:06.000+0200}, author = {Pereira, Fernando}, biburl = {https://www.bibsonomy.org/bibtex/2bdaf88fafe3114689f5e26bad89943c7/flint63}, file = {Preprint:1900-99/Pereira93coli.pdf:PDF}, groups = {public}, interhash = {b4d2851d4f0fef3f1741e2be692ca8ee}, intrahash = {bdaf88fafe3114689f5e26bad89943c7}, issn = {0891-2017}, journal = {Computational Linguistics}, keywords = {v1205 paper ai knowledge processing language logic book}, number = 3, pages = {545--552}, timestamp = {2018-04-16T11:32:01.000+0200}, title = {Book Review of The Logic of Typed Feature Structures by {Bob Carpenter} 1992}, username = {flint63}, volume = 19, year = 1993 }