Results 171 to 180 of about 458,924 (217)

A tutorial on Nonmonotonic Reasoning

1993
Nonmonotonic reasoning, in its broadest sense, is reasoning to conclusions on the basis of incomplete information. Given more information, we are prepared to retract previously drawn inferences. To exhibit the classic example: if all we know about Tweety is that he is bird, then we plausibly conclude that he can fly; on learning that Tweety is a ...
Gerhard Brewka, Jürgen Dix, Kurt Konolige   +2 more
openaire   +2 more sources

Nonmonotonic Reasoning and Databases

1984
A system of nonmonotonic reasoning, called subimplication, has been defined in Bossu and Siegel [1981]. In this chapter we show that it is possible to set up a logical model of databases using subimplication and two sets of stable formulas. This model allows the construction of a system for creating, updating and querying databases that is totally ...
Genevieve Bossu, Pierre Siegel
openaire   +2 more sources

Coherence and Nonmonotonicity in Human Reasoning

Synthese, 2005
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Niki Pfeifer, Gernot D. Kleiter
openaire   +2 more sources

Nonmonotonic reasoning, nonmonotonic logics and reasoning about change

Artificial Intelligence Review, 1990
In this paper we introduce nonmonotonic reasoning and the attempts at formalizing it using nonmonotonic logics. We examine and compare the best known of these. Despite the difference in motivation and technical construction there are strong similarities between these logics which are confirmed when they are finally shown to have a common basis. Finally
openaire   +1 more source

The Nature of Nonmonotonic Reasoning

Minds and Machines, 2000
Conclusions reached using common sense reasoning from a set of premises are often subsequently revised when additional premises are added. Because we do not always accept previous conclusions in light of subsequent information, common sense reasoning is said to be nonmonotonic.
openaire   +1 more source

Some Strengths of Nonmonotonic Reasoning

2000
A 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   +2 more sources

Programming in temporal-nonmonotonic reasoning

Journal of Automated Reasoning, 1991
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

Logical foundations of nonmonotonic reasoning

Artificial Intelligence Review, 1991
In this paper we shall review the main approaches to nonmono- tonic reasoning which we classify from the perspective of their underlying logical settings as classical, intuitionistic, three-valuedlpartial models, and conditional. We shall be placing special emphasis on some of the promin- ent approaches.
Nadim Obeid, Raymond Turner
openaire   +1 more source

Strong Explanations for Nonmonotonic Reasoning

2019
The ability to generate explanations for inferences drawn from a knowledge base is of utmost importance for intelligent systems. A central notion in this context are minimal subsets of the knowledge base entailing a certain formula. Such subsets are often referred to as justifications, and their identification is called axiom pinpointing.As observed by
Gerhard Brewka, Markus Ulbricht 0001
openaire   +2 more sources

Nonmonotonic inheritance reasoning in classifiers

Proceedings 1993 The First New Zealand International Two-Stream Conference on Artificial Neural Networks and Expert Systems, 2002
The authors investigate the significance of classifier systems with respect to nonmonotonic inheritance reasoning by constructing a simple classifier system. The experiments show that classifier systems can perform useful inheritance reasoning and may be a viable alternative to expert systems when dealing with potentially nonmonotonic environments. >
Alex Young, Abdul Sattar 0001
openaire   +2 more sources