Results 151 to 160 of about 448,512 (202)

Decoding intelligence via symmetry and asymmetry.

Sci Rep
Fu J, Hsiao CA.
europepmc   +1 more source

Strategies in Human Nonmonotonic Reasoning

Computational Intelligence, 2000
Although humans seem adept at drawing nonmonotonic conclusions, the nonmonotonic reasoning systems that researchers develop are complex and do not function with such ease. This paper explores people's reasoning processes in nonmonotonic problems. To avoid the problem of people's conclusions being based on knowledge rather than on some reasoning process,
Ford, M, Billington, D
exaly   +4 more sources

Specification of Nonmonotonic Reasoning

Journal of Applied Non-Classical Logics, 1996
Two levels of description of nonmonotonic reasoning are distinguished. For these levels semantical formalizations are given. The first Level is defined semantically by the notion of belief state frame, the second Level by the notion of reasoning frame. We introduce two specification languages to describe nonmonotonic reasoning at each of the Levels: (/)
Joeri Engelfriet, Jan Treur
core   +10 more sources

Some of the next articles are maybe not open access.

Related searches:

Programming in temporal-nonmonotonic reasoning

Journal of Automated Reasoning, 1991
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
exaly   +2 more sources

Nonmonotonicity and the scope of reasoning

Artificial Intelligence, 1991
The authors begin by reviewing several apparent incongruities that have been noticed when applying to specific examples the various formalisms of nonmonotonic reasoning, notably circumscription, Reiter default logic and its variants, and autoepistemic logic.
David W. Etherington, Sarit Kraus, Donald Perlis   +2 more
openaire   +3 more sources

Nonmonotonic reasoning is sometimes simpler

Journal of Logic and Computation, 1996
Traditional logic is monotonic in the sense that if we deduce a statement \(Q\) from a theory \(T\), and then add a new statement \(S\) to this theory \(T\), then \(Q\) is still deducible from the extended theory \(T + \{S\}\). However, commonsense reasoning is often nonmonotonic: e.g., \(S\) may describe an exception to a general statement from the ...
Grigori Schwarz, Miroslaw Truszczynski
openaire   +3 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

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

Tolerant reasoning: nontransitive or nonmonotonic? [PDF]

SynthÈse, 2017
The principle of tolerance characteristic of vague predicates is sometimes presented as a soft rule, namely as a default which we can use in ordinary reasoning, but which requires care in order to avoid paradoxes.
Robert van Rooij, Pablo Cobreros, Paul Egre   +2 more
exaly   +2 more sources