Two Paradigms of Nonmonotonic Reasoning
نویسنده
چکیده
We provide a conceptual description of the field of nonmonotonic reasoning as comprising two essentially different theories, preferential and explanatory nonmonotonic reasoning. The relationship between the two constitutes the main theoretical problem of nonmonotonic reasoning, and its solution should hopefully provide an impetus for the future development of the field.
منابع مشابه
Logic in Nonmonotonic Reasoning
We present a conceptual description of nonmonotonic formalisms as essentially two-layered reasoning systems consisting of a monotonic logical system, coupled with a mechanism of a reasoned choice of default assumptions. On this ‘surgery’, the main features of a nonmonotonic formalism are determined by the interplay between its logical basis and the nonmonotonic overhead. Furthermore, it allows ...
متن کاملTemporal Reasoning with Abductive Event Calculus
We present the SLDNFA procedure, which integrates two important nonmonotonic paradigms, negation as failure and abduction. The main diierence between SLDNFA and existing approaches is the improved treatment of non-ground abductive goals. We present an extension for temporal reasoning based on Abductive Event Calculus. We show the power of the approach by applying it to planning and solving well...
متن کاملIs There a Logic of Provability for Nonmonotonic Reasoning?
Nonmonotonic logic is a well developed research area gathering the logical formalisms that handle commonsense reasoning. One of the central issue in the area is to establish a notion of nonmonotonic provability, which is usually characterized via some modal logic. In MST93] a clear paradigm has been proposed that classiies modal monotonic logics , augmented with the \negation by fail-ure" to pr...
متن کاملMeta Level Reasoning and Default Reasoning
In this paper, we propose a logic framework for meta level reasoning as well as default reasoning in a general sense, based on an arbitrary underlying logic. In this framework, meta level reasoning is the task of how to deduce new meta level rules by giving a set of rules, whilst default reasoning is the problem of what are the possible candidate beliefs by giving them. We define the semantics ...
متن کاملNonmonotonic Reasoning in Multivalued Logics
Inference in classical logic is monotonic: if a conclusion can be derived from a set of premises, then no additional premises will ever invalidate this conclusion. However, commonsense reasoning has a nonmonotonic component. Human beings draw sensible conclusions from what they know, making default assumptions where needed. And if there is new information, we might reconsider previous conclusio...
متن کامل