Default Reasoning
Abstract
Commonsense reasoning requires default reasoning. As we engage in commonsense reasoning, we make certain assumptions so that we can proceed. If we later gain more information, then we may have to revise those assumptions. For example, if we are told that Nathan went to sleep, we might assume that he went to sleep in his home. If we are told that he cooked breakfast, we might imagine him in his kitchen. If we later learn that he was actually at a hotel, our understanding of these events will have to be modified. We discuss atemporal default reasoning and then temporal default reasoning. We describe a general method for default reasoning about time based on the circumscription of abnormality predicates and ...
Get Commonsense Reasoning, 2nd Edition 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.
