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 assumptions turn out to be wrong. New information can show that the situation actually is abnormal in some respect. In this case we may have to revise our conclusions.
منابع مشابه
Influencing nonmonotonic reasoning by modifier strength manipulation
Despite the current belief that much common sense reasoning is nonmonotonic in nature, research indicates that only a limited percentage of people are good at nonmonotonic reasoning. Good nonmonotonic reasoners recognize the logical strengths and weaknesses of some arguments. In the present study, we focus on differences in the probabilistic interpretation of the modifiers typically and usually...
متن کامل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 ...
متن کاملA Compositional Reasoning System for Executing Nonmonotonic Theories of Reasoning
An agent that is reasoning about the world often needs to draw (defeasible) conclusions that are not logically entailed by its (incomplete) knowledge about the world. Nonmonotonic reasoning systems can be used to model these reasoning patterns. Implementations of agents that can reason in a defeasible manner need to include an implemented nonmonotonic reasoning system. In different applications...
متن کاملNonmonotonic Reasoning in Probabilistics
In probabilistics reasoning at optimum entropy ME reasoning has proved to be a most sound and consistent method for inference This paper investigates its properties in the framework of nonmonotonic reasoning In particular we show that ME reasoning satis es cumulativity and loop and we focus on its connection to conditionals Finally we intro duce the notion of a universal inference operation to ...
متن کاملExtending Prolog with Nonmonotonic Reasoning
Nonmonotonic reasoning has been developed to capture common sense inferences. This paper considers nonmonotonic reasoning in logic programs with negation { its implementation using Prolog and its integration with Prolog execution. Even within logic programming frameworks, a variety of inferencing methods, model-theoretic semantics, and language features have been proposed for diierent forms of ...
متن کامل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.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008