Results 171 to 180 of about 448,512 (202)

Causation and nonmonotonic temporal reasoning

1997
We introduce a new approach to reasoning about action and change using nonmonotonic logic. The approach is arrived at by applying Pearl's theory of causal networks to logical formalizations of temporal reasoning domains. It comes in two versions: version S0 that works for logical theories in which causal knowledge is represented explicitly, and version
openaire   +1 more source

Nonmonotonic Reasoning

Annual Review of Computer Science, 1987
Michael R. Genesereth, Nils J. Nilsson
openaire   +2 more sources

Is There a Logic of Provability for Nonmonotonic Reasoning?

1996
(KR-96)
GIANNI AMATI, PIRRI ARDIZZONE, Maria Fiora   +1 more
openaire   +2 more sources

Experience Based Nonmonotonic Reasoning

2013
Within 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

Nonmonotonic reasoning and logic programs

2005
The present paper is concerned with a unifying approach to non-monotonic reasoning in clause logic programming. An outline of a general theory of non-monotonic reasoning is given that is aimed at a foundation of this area. Typical results are presented in the frame of this theory and problems related to logic programming are discussed.
openaire   +1 more source

A commonsense theory of nonmonotonic reasoning

1986
A commonsense theory of nonmonotonic reasoning is presented which models our intuitive ability to reason about defaults. The concepts of this theory do not involve mathematical fixed points, but instead are explicitly defined in a monotonic modal quantificational logic which captures the modal notion of logical truth.
openaire   +1 more source

Experimenting with Nonmonotonic Reasoning

1995
Pawel Cholewinski, V. Wiktor Marek, Artur Mikitiuk, Miroslaw Truszczynski   +3 more
openaire   +2 more sources

On Császár's condition in nonmonotonic reasoning.

2004
Csaszar’s condition is a well-known property introduced about 50 years ago in the axiomatic theory of conditional probability. In recent years such condition has been reconsidered by some authors, who have studied its role in the coherence-based approach to conditional probability. In this paper we consider the probabilistic entailment of a conditional
openaire   +3 more sources

Nonmonotonic reasoning by inhibition nets

Artif. Intell., 2001
In 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   +2 more sources

Specification of nonmonotonic reasoning

Journal of Applied Non-Classical Logics, 2000
Jan Treur, Joeri Engelfriet
exaly