Report Number: CS-TR-85-1065
Institution: Stanford University, Department of Computer Science
Title: Review of Sowa's "Conceptual Structures"
Author: Clancey, William J.
Date: March 1985
Abstract: "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.
http://i.stanford.edu/pub/cstr/reports/cs/tr/85/1065/CS-TR-85-1065.pdf