Review of Sowa''s Conceptual Structures

"Conceptual Structures" is a bold, provocative synthesis of logic, linguistics, and Artificial Intelligence research. At the very least, Sowa has provided a clean, well-grounded notation for knowledge representation that many researchers will want to emulate and build upon. At its best, Sowa''s notation and proofs hint at what a future Principia Mathematica of knowledge and reasoning may look like. No other AI text achieves so much in breadth, style, and mathematical precision. This is a book that everyone in AI and cognitive science should know about, and that experienced researchers will profit from studying in some detail.