Results 1  10
of
36,922
Abduction in Nonmonotonic Theories
"... Abstract. In a very broad sense we can state that abduction is the inference process that goes from observations to explanations within a more general context or theoretical framework. There are good characterizations of abduction of surprising observations in monotonic theories. Also, in normal log ..."
Abstract
 Add to MetaCart
the problem of characterizing abduction in nonmonotonic theories. Our inference system is based on a natural deduction presentation of the implicational segment of a relevant logic, much similar to the R! system of Anderson and Belnap. Then we will discuss some issues arising the pragmatic acceptance
Recovery of Nonmonotonic Theories
, 1997
"... We present a framework for recovery of nonmonotonic theories, i.e. of theories that are interpreted using a nonmonotonic semantics. Recovery of a nonmonotonic theory is needed if it does not have a model under the given nonmonotonic semantics, i.e. if the theory is nonmonotonically inconsistent. Wi ..."
Abstract
 Add to MetaCart
We present a framework for recovery of nonmonotonic theories, i.e. of theories that are interpreted using a nonmonotonic semantics. Recovery of a nonmonotonic theory is needed if it does not have a model under the given nonmonotonic semantics, i.e. if the theory is nonmonotonically inconsistent
Abductive framework for nonmonotonic theory change
 In: Proc. IJCAI95
, 1995
"... This paper proposes a method of nonmonotonic theory change. We first introduce a new form of abduction that can account for observations in nonmonotonic situation. Then we provide a framework of autoepistemic update, which describes nonmonotonic theory change through the extended abductive framework ..."
Abstract

Cited by 45 (13 self)
 Add to MetaCart
This paper proposes a method of nonmonotonic theory change. We first introduce a new form of abduction that can account for observations in nonmonotonic situation. Then we provide a framework of autoepistemic update, which describes nonmonotonic theory change through the extended abductive
Partial order reasoning for a nonmonotonic theory of action
 In AAAI Workshop on Theories of Action
, 1997
"... This paper gives a new, prooftheoretic explanation of partialorder reasoning about time in a nonmonotonic theory of action. The explanation relies on the technique of lifting ground proof systems to compute results using variables and unification. The ground theory uses argumentation in modal logi ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
This paper gives a new, prooftheoretic explanation of partialorder reasoning about time in a nonmonotonic theory of action. The explanation relies on the technique of lifting ground proof systems to compute results using variables and unification. The ground theory uses argumentation in modal
Revising Nonmonotonic Theories: The Case of Defeasible Logic
 In Proceedings of the 22 nd German Conference on Artificial Intelligence (KI99), Lecture Notes in Artificial Intelligence (LNAI), Volume 1701
, 1999
"... Abstract. The revision and transformation of knowledge is widely recognized as a key issue in knowledge representation and reasoning. Reasons for the importance of this topic are the fact that intelligent systems are gradually developed and refined, and that often the environment of an intelligent s ..."
Abstract

Cited by 7 (0 self)
 Add to MetaCart
system is not static but changes over time. Traditionally belief revision has been concerned with revising first order theories. Nonmonotonic reasoning provides rigorous techniques for reasoning with incomplete information. Until recently the dynamics of nonmonotonic reasoning approaches has attracted
Strong and uniform equivalence of nonmonotonic theories — an algebraic approach
 Principles of Knowledge Representation and Reasoning, Proceedings of the Tenth International Conference (KR2006
, 2006
"... We show that the concepts of strong and uniform equivalence of logic programs can be generalized to an abstract algebraic setting of operators on complete lattices. Our results imply characterizations of strong and uniform equivalence for several nonmonotonic logics including logic programming with ..."
Abstract

Cited by 11 (5 self)
 Add to MetaCart
We show that the concepts of strong and uniform equivalence of logic programs can be generalized to an abstract algebraic setting of operators on complete lattices. Our results imply characterizations of strong and uniform equivalence for several nonmonotonic logics including logic programming
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and nperson games
 Artificial Intelligence
, 1995
"... The purpose of this paper is to study the fundamental mechanism humans use in argumentation and its role in different major approaches to commonsense reasoning in AI and logic programming. We present three novel results: We develop a theory for argumentation in which the acceptability of arguments i ..."
Abstract

Cited by 1164 (11 self)
 Add to MetaCart
The purpose of this paper is to study the fundamental mechanism humans use in argumentation and its role in different major approaches to commonsense reasoning in AI and logic programming. We present three novel results: We develop a theory for argumentation in which the acceptability of arguments
Strong Equivalence of Nonmonotonic Theories  an Algebraic Approach
"... We show that the concept of strong equivalence of logic programs can be generalized to an abstract algebraic setting of operators on complete lattices. Our results imply characterizations of strong equivalence for several nonmonotonic logics including logic programming with aggregates, default l ..."
Abstract
 Add to MetaCart
We show that the concept of strong equivalence of logic programs can be generalized to an abstract algebraic setting of operators on complete lattices. Our results imply characterizations of strong equivalence for several nonmonotonic logics including logic programming with aggregates, default
Nonmonotonic Causal Theories
 ARTIFICIAL INTELLIGENCE
, 2004
"... The nonmonotonic causal logic defined in this paper can be used to represent properties of actions, including actions with conditional and indirect effects, nondeterministic actions, and concurrently executed actions. It has been applied to several challenge problems in the theory of commonsense kno ..."
Abstract

Cited by 273 (31 self)
 Add to MetaCart
The nonmonotonic causal logic defined in this paper can be used to represent properties of actions, including actions with conditional and indirect effects, nondeterministic actions, and concurrently executed actions. It has been applied to several challenge problems in the theory of commonsense
A Theory of Diagnosis from First Principles
 ARTIFICIAL INTELLIGENCE
, 1987
"... Suppose one is given a description of a system, together with an observation of the system's behaviour which conflicts with the way the system is meant to behave. The diagnostic problem is to determine those components of the system which, when assumed to be functioning abnormally, will explain ..."
Abstract

Cited by 1104 (5 self)
 Add to MetaCart
competing diagnoses. Finally, the theory reveals close connections between diagnostic reasoning and nonmonotonic reasoning.
Results 1  10
of
36,922