Results 1  10
of
1,665
Nonmonotonic Reasoning, Preferential Models and Cumulative Logics
, 1990
"... Many systems that exhibit nonmonotonic behavior have been described and studied already in the literature. The general notion of nonmonotonic reasoning, though, has almost always been described only negatively, by the property it does not enjoy, i.e. monotonicity. We study here general patterns of ..."
Abstract

Cited by 626 (14 self)
 Add to MetaCart
Many systems that exhibit nonmonotonic behavior have been described and studied already in the literature. The general notion of nonmonotonic reasoning, though, has almost always been described only negatively, by the property it does not enjoy, i.e. monotonicity. We study here general patterns
NonMonotonic Fuzzy Reasoning
 Fuzzy Sets and Systems 94, North Holland
, 1996
"... Fuzzy reasoning can provide techniques for representing and management the imprecision inherent in commonsense reasoning. But, like human reasoning, it conduces to inconsistences (inherent in the imprecise or incomplete knowledge) that might be solved in the frame of fuzzy logic, simulating the huma ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
the human behavior. In this paper we analyze this kind of conflicts and propose a nonmonotonic fuzzy logic in order to solve it. Moreover, we show that many (nonmonotonic) human reasoning patterns can be modeled by means of this "nonmonotonic fuzzy reasoning". 1 Introduction Fuzzy Reasoning
Nonmonotonic reasoning in interpretation
"... The original article of Thomason pursues two goals: first to outline the central logical issues of nonmonotonic reasoning, and second to indicate possible applications of nonmonotonic reasoning techniques in linguistics. This appendix will follow up on Thomason’s second goal and show that linguists ..."
Abstract
 Add to MetaCart
The original article of Thomason pursues two goals: first to outline the central logical issues of nonmonotonic reasoning, and second to indicate possible applications of nonmonotonic reasoning techniques in linguistics. This appendix will follow up on Thomason’s second goal and show
Dynamic Updates of NonMonotonic Knowledge Bases
, 2000
"... In this paper we investigate updates of knowledge bases represented by logic programs. In order to represent negative information, we use generalized logic programs which allow default negation not only in rule bodies but also in their heads.We start by introducing the notion of an update P \Phi U o ..."
Abstract

Cited by 150 (82 self)
 Add to MetaCart
to compositional sequences of logic programs updates P1 \Phi P2 \Phi : : : , defining a dynamic program update, and thereby introducing the paradigm of dynamic logic programming. This paradigm significantly facilitates modularization of logic programming, and thus modularization of nonmonotonic reasoning as a
Nonmonotonic Reasoning with Logic Programming
 LNAI
, 1993
"... Our purpose is to exhibit a modular systematic method of representing non monotonic reasoning problems with the Well Founded Semantics WFS of extended logic programs augmented with eXplicit negation (WFSX), augmented by its Contradiction Removal Semantics (CRSX) when needed. We apply this semantic ..."
Abstract

Cited by 41 (17 self)
 Add to MetaCart
this semantics, and its contradiction removal semantics counterpart, to represent nonmonotonic reasoning problems. We show how to cast in the language of logic programs extended with explicit negation such forms of nonmonotonic reasoning as defeasible reasoning, abductive reasoning and hypothetical reasoning
A Logic Programming System for Nonmonotonic Reasoning
 Journal of Automated Reasoning
, 1995
"... The evolution of Logic Programming semantics has included the introduction of a new explicit form of negation, beside the older implicit (or default) negation typical of Logic Programming. The richer language has been shown adequate for a spate of knowledge representation and reasoning forms. Th ..."
Abstract

Cited by 93 (44 self)
 Add to MetaCart
The evolution of Logic Programming semantics has included the introduction of a new explicit form of negation, beside the older implicit (or default) negation typical of Logic Programming. The richer language has been shown adequate for a spate of knowledge representation and reasoning forms
An AssumptionBased Framework for NonMonotonic Reasoning
 Proc. 2nd International Workshop on Logic Programming and Nonmonotonic Reasoning
, 1993
"... The notion of assumptionbased framework generalises and refines the use of abduction to give a formalisation of nonmonotonic reasoning. In this framework, a sentence is a nonmonotonic consequence of a theory if it can be derived monotonically from a theory extended by means of acceptable assumpti ..."
Abstract

Cited by 70 (15 self)
 Add to MetaCart
The notion of assumptionbased framework generalises and refines the use of abduction to give a formalisation of nonmonotonic reasoning. In this framework, a sentence is a nonmonotonic consequence of a theory if it can be derived monotonically from a theory extended by means of acceptable
Learning to Reason: The NonMonotonic Case
, 1995
"... We suggest a new approach for the study of the nonmonotonicity of human commonsense reasoning. The two main premises that underlie this work are that commonsense reasoning is an inductive phenomenon, and that missing information in the interaction of the agent with the environment may be as informat ..."
Abstract

Cited by 18 (8 self)
 Add to MetaCart
be as informative for future interactions as observed information. This intuition is formalized and the problem of reasoning from incomplete information is presented as a problem of learning attribute functions over a generalized domain. We consider examples that illustrate various aspects of the nonmonotonic
Nonmonotonic Reasoning on Beowulf Platforms
 of Lecture Notes in Artificial Intelligence (LNCS
, 2003
"... Nonmonotonic logic programming systems, such as the various implementations of Answer Set Programming (ASP), are frequently used to solve problems with large search spaces. In spite of the impressive improvements in implementation technology, the sheer size of realistic computations required to sol ..."
Abstract

Cited by 12 (5 self)
 Add to MetaCart
Nonmonotonic logic programming systems, such as the various implementations of Answer Set Programming (ASP), are frequently used to solve problems with large search spaces. In spite of the impressive improvements in implementation technology, the sheer size of realistic computations required
Nonmonotonicity and Realtime Reasoning
"... All forms of nonmonotonic reasoning so far proposed suffer from a common failing: they are not computationally highly effective, indeed for the most part cannot be carried out even in principle. They inv olve either selfconsistency tests, or general theoremproving techniques. Here we argue that, ..."
Abstract
 Add to MetaCart
All forms of nonmonotonic reasoning so far proposed suffer from a common failing: they are not computationally highly effective, indeed for the most part cannot be carried out even in principle. They inv olve either selfconsistency tests, or general theoremproving techniques. Here we argue that
Results 1  10
of
1,665