Reasoning about truth (research note)
Artificial Intelligence
General theory of cumulative inference
Proceedings of the 2nd international workshop on Non-monotonic reasoning
Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
Theoretical foundations for non-monotonic reasoning in expert systems
Logics and models of concurrent systems
Information and Computation
Rationality, transitivity, and contraposition
Artificial Intelligence
What does a conditional knowledge base entail?
Artificial Intelligence
General patterns in nonmonotonic reasoning
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Artificial Intelligence
Nonmonotonic Logics: Basic Concepts, Results and Techniques
Nonmonotonic Logics: Basic Concepts, Results and Techniques
CSL '91 Proceedings of the 5th Workshop on Computer Science Logic
Hi-index | 0.00 |
In this paper we develop frameworks for logical systems which are able to reflect not only nonmonotonic patterns of reasoning, but also paraconsistent reasoning. For this we consider a sequence of generalizations of the pioneering works of Gabbay, Kraus, Lehmann, Magidor and Makinson. Our sequence of frameworks culminates in what we call plausible, nonmonotonic, multiple-conclusion consequence relations (which are based on a given monotonic one). Our study yields intuitive justifications for conditions that have been proposed in previous frameworks, and also clarifies the connections among some of these systems. In addition, we present a general method for constructing plausible nonmonotonic relations. This method is based on a multiple-valued semantics, and on Shoham's idea of preferential models.