TY - GEN
T1 - Nonmonotonic and paraconsistent reasoning
T2 - 5th European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU 1999
AU - Arieli, Ofer
AU - Avron, Arnon
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1999.
PY - 1999
Y1 - 1999
N2 - In this paper we develop frameworks for logical systems which are able to re ect 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 justications for conditions that have been proposed in previous frameworks, and also claries 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.
AB - In this paper we develop frameworks for logical systems which are able to re ect 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 justications for conditions that have been proposed in previous frameworks, and also claries 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.
UR - http://www.scopus.com/inward/record.url?scp=84947907920&partnerID=8YFLogxK
U2 - 10.1007/3-540-48747-6_2
DO - 10.1007/3-540-48747-6_2
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
AN - SCOPUS:84947907920
SN - 354066131X
SN - 9783540661313
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 11
EP - 21
BT - Symbolic and Quantitative Approaches to Reasoning and Uncertainty - European Conference, ECSQARU 1999, Proceedings
A2 - Hunter, Anthony
A2 - Parsons, Simon
PB - Springer Verlag
Y2 - 5 July 1999 through 9 July 1999
ER -