A Modal Logic with Context-Dependent Inference for Non-Monotonic Reasoning
نویسندگان
چکیده
Contextual logic CoL is specified through an inference system which takes into account the context of reasoning, i.e. all given facts whatsoever. That is to say, conclusions are inferred with respect to the full set of premises. Hence, statements are relative to a context and they are expressed by means of formulas indexed with sets of formulas. A modal extension ECoL is also proposed for which examples are given that illustrate how natural it is to apply such a logic for the formalization of non-monotonic reasoning.
منابع مشابه
Can Formal Non-monotonic Systems Properly Describe Human Reasoning?
Monotonic (logical) reasoning makes the strong claim that an inference cannot be contradicted by future information; an assumption contrary to everyday life experience. This assumption is relaxed in non-monotonic reasoning. However, there are only few formal non-monotonic theories of reasoning that have inspired psychological theory-building. Can formal systems such as cumulative logic (system ...
متن کاملNonmonotonic Modes of Inference
In this paper we investigate nonmonotonic ‘modes of inference’. Our approach uses modal (conditional) logic to establish a uniform framework in which to study nonmonotonic consequence. We consider a particular mode of inference which employs a majority-based account of default reasoning—one which differs from the more familiar preferential accounts—and show how modal logic supplies a framework ...
متن کاملAbduction Is Not Deduction-in-reverse
Abduction is a topic that attracts much interest in AI and automated reasoning research. Diierent approaches have been devised, that give a formalized account of explanatory reasoning, propose methods to compute explanations, frame abduction in the context of logic programming. However, the logical nature of abduction is still far from being clear and diierent speciications of the key underlyin...
متن کاملAbduction is not Deduction-in-Reverse
Abduction is a topic that attracts much interest in AI and automated reasoning research. Diierent approaches have been devised, that give a formalized account of explanatory reasoning, propose methods to compute explanations, frame abduction in the context of logic programming. However, the logical nature of abduction is still far from being clear and diierent speciications of the key underlyin...
متن کاملA The Complexity of Reasoning for Fragments of Autoepistemic Logic
Non-monotonic logics are among the most important calculi in the area of knowledge representation and reasoning. Autoepistemic logic, introduced 1985 by Moore [Moore 1985], is one of the most prominent non-monotonic logics. It was originally created to overcome difficulties present in the non-monotonic modal logics proposed by McDermott and Doyle [McDermott and Doyle 1980], but was also shown t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996