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, ...
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.
Read now
Unlock full access