Compiling specificity into approaches to nonmonotonic reasoning
نویسندگان
چکیده
منابع مشابه
Compiling Specificity Into Approaches to Nonmonotonic Reasoning
We present a general approach for introducing specificity information into nonmonotonic theories. Historically, many approaches to nonmonotonic reasoning, including default logic, circumscription, and autoepistemic logic, do not provide an account of specificity, and so fail to enforce specificity among default sentences. In our approach, a default theory is initially given as a set of strict a...
متن کاملNonmonotonic Reasoning
In this talk I will give an overview of nonmonotonic reasoning as background, and then address the question of its relevance and importance for theoretical issues in reasoning about knowledge and belief. In the past few years the area. of nonmonotonic reasoning has grown tremendously, as witnessed by the increase in submitted and accepted papers to conferences such as this one. It would be impo...
متن کاملNonmonotonic Reasoning
The purpose of this paper is to expand the syntax and semantics of logic programs and deductive databases to allow for the correct representation of incomplete information in the presence of multiple extensions. The language of logic programs with classical negation, epistemic disjunction, and negation by failure is further expanded by a new modal operator K (where for the set of rules T and fo...
متن کاملNonmonotonic Reasoning
Commonsense reasoning is different. We often draw plausible conclusions based on the assumption that the world in which we function and about which we reason is normal and as expected. This is far from being irrational. To the contrary, it is the best we can do in situations in which we have only incomplete information. However, as unexpected as it may be, it can happen that our normality assum...
متن کاملTowards a Classification of Preference Handling Approaches in Nonmonotonic Reasoning
In recent years there has been large amount of disparate work concerning the representation and reasoning with preferential information in approaches to nonmonotonic reasoning. Given the variety of underlying systems, assumptions, motivations, and intuitions, it is difficult to compare or relate one approach with another. Here we present an overview and classification for approaches to dealing ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Artificial Intelligence
سال: 1997
ISSN: 0004-3702
DOI: 10.1016/s0004-3702(96)00045-8