General Patterns for Nonmonotonic Reasoning: From Basic Entailments to Plausible Relations

13 years 4 months ago

Download www.cs.tau.ac.il

This paper has two goals. First, we develop frameworks for logical systems which are able to re ect not only nonmonotonic patterns of reasoning, but also paraconsistent reasoning. Our second goal is to have a better understanding of the conditions that a useful relation for nonmonotonic reasoning should satisfy. For this we consider a sequence of generalizations of the pioneering works of Gabbay, Kraus, Lehmann, Magidor and Makinson. These generalizations allow the use of monotonic nonclassical logics as the underlying logic upon which nonmonotonic reasoning may be based. Our sequence of frameworks culminates in what we call (following Lehmann) plausible, nonmonotonic, multiple-conclusion consequence relations (which are based on a given monotonic one). Our study yields intuitive justi cations for conditions that have been proposed in previous frameworks and also clari es the connections among some of these systems. In addition, we present a general method for constructing plausible n...

Ofer Arieli, Arnon Avron

Real-time Traffic