CHAPTER 16 THE TRADEOFF BETWEEN EXPRESSIVENESS AND TRACTABILITY
The focus of our exploration thus far has been the detailed investigation of a number of representational formalisms aimed at various uses or applications. Each had its own features, usually knit together in a cohesive whole that was justified by a particular point of view on the world (e.g., object-oriented, or procedural, or rule-based). Many of the formalisms we discussed can be viewed as extensions to a bare knowledge representation formalism based on FOL. Even features like defaults or probabilities can be thought of as additions to a basic FOL framework.
As we have proceeded through the discussion, lurking in the background has been a nagging question: Because, in the end, ...
Get Knowledge Representation and Reasoning now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
