Results 161 to 170 of about 9,538 (181)
Some of the next articles are maybe not open access.
Nonmonotonic reasoning in FLORID
1997The advantages of [[Florid]] as a deductive object-oriented database system are the rich object-oriented modeling facilities of its language F-logic. The focus of this paper is on [[Florid's]] multiple inheritance mechanism which turns out to be a useful means to adapt various examples of nonmonotonic reasoning in the object-oriented setting.
openaire +1 more source
Nonmonotonic reasoning and logic programming
Knowledge-Based Systems, 1990Inference methods in knowledge-based systems are presented which are used for inferencing from incomplete information or in systems that model actions, i.e. systems that describe a time-varying world. In such cases, one is faced with nonmonotonic types of derivation when new information can lead to a revision of some statements accepted earlier.
openaire +1 more source
AI and Nonmonotonic Reasoning *
1994Abstract The view that Franklin was expressing is that virtually every conclusion we draw is an uncertain one. We all believe that the sun will rise tomorrow, but no one has a real proof of it. I believe that I have no brother, since if I did have one, I would know about it.
openaire +1 more source
Some Strengths of Nonmonotonic Reasoning
2000A characteristic feature of human reasoning is its ability to draw rational conclusions in situations where not all relevant information is known. In fact, except for the most trivial cases, we always reason with an incomplete body of knowledge describing the current situation we are arguing about. We are constantly forced to make assumptions which may
Uwe Egly, Hans Tompits
openaire +1 more source
Logics for Nonmonotonic Reasoning
1997This chapter gives an overview of various existing formalizations of non-monotonic reasoning.1 To start with, it may be useful to derive from the previous chapter two basic motivations for using nonmonotonic forms of reasoning. The first is common to all domains of common-sense reasoning.
openaire +1 more source
Experience Based Nonmonotonic Reasoning
2013Within everyday reasoning we often use argumentation patterns that employ the rather vague notion of something being normally true. This form of reasoning is usually captured using Reiter's Default Logic. However, in Default Logic one has to make explicit the rules which are to be used for reasoning and which are supposed to be normally true. This is a
openaire +1 more source
When is Reasoning Nonmonotonic?
1988Recent advances in Artificial Intelligence (AI) emphasize the crucial importance of nonmonotonic reasoning in any adequate scheme of knowledge representation.1 As Nute (1984) observes, humans notoriously rely upon nonmonotonic reasoning, and any “automated reasoning system should also reason nonmonotonically in a way which people can easily understand”.
openaire +1 more source
Nonmonotonic reasoning by inhibition nets
2001In this paper we show that certain networks called `inhibition nets' may be regarded as cognitive agents drawing nonmonotonic inferences. It is proved that the system CL (introduced by KLM in Artificial Intelligence 44, 186-189 (1990)) of nonmonotonic logic is both sound and complete with respect to the inferences drawn by finite hierarchical ...
openaire +1 more source