CHAPTER 13 EXPLANATION AND DIAGNOSIS
So far in this book we have concentrated on reasoning that is primarily deductive in nature: Given a KB representing some explicit beliefs about the world, we try to deduce some α, to determine if it is an implicit belief or perhaps to find a constant (or constants) c such that αxc is an implicit belief. This pattern shows up not only in ordinary logical reasoning, but also in description logics and procedural systems. In fact, a variant even shows up in probabilistic and default reasoning, where extra assumptions might be added to the KB, or degrees of belief might be considered.
In this chapter, we consider a completely different sort of reasoning task. Suppose we are given a KB and an α that we do not believe ...
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.
