Abstract
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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
O. Arieli, A. Avron. Reasoning with logical bilattices. Journal of Logic, Language, and Information 5(1), pp.25–63, 1996.
O. Arieli, A. Avron. The value of the four values. Artificial Intelligence 102(1), pp.97–141, 1998.
A. Avron. Simple consequence relations. Journal of Information and Computation 92, pp.105–139, 1991.
P. Besnard. Axiomatizations in the metatheory of non-monotonic inference systems. Proc. of the 7th Canadian AI Conference, (R. Goebel-Ed.), Edmonton, Canada, pp.117–124, 1988.
N.C.A. da-Costa. On the theory of inconsistent formal systems. Notre Damm Journal of Formal Logic 15, pp.497–510, 1974.
M. Freund, D. Lehmann, P. Morris. Rationality, transitivity and Contraposition. Artificial Intelligence 52,pp 191–203,1991.
D.M. Gabbay. Theoretical foundation for non-monotonic reasoning in expert systems. Proc. of the NATO Advanced Study Inst. on Logic and Models of Concurent Systems (K.P. Apt-Ed.) Springer, pp.439457, 1985.
S. Kraus, D. Lehmann, M. Magidor. Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence 44, pp.167–207, 1990.
D. Lehmann. Plausibility logic. Proc. CSL’91, pp.227–241,Springer,1992.
D. Lehmann. Nonmonotonic logics and semantics. Technical report TR-98-6, Institute of Computer Science, The Hebrew University, 1998.
D. Lehmann, M. Magidor. What does a conditional knowledge base entail? Artificial Intelligence 55, p.1–60, 1992.
D. Makinson. General theory of cumulative inference. Non-Monotonic Reasoning (M. Reinfrank-Ed.), LNAI 346, pp.1–18, Springer, 1989.
D. Makinson. General patterns in nonmonotonic reasoning. Handbook of Logic in Artificial Intelligence and Logic Programming, Vol.3 (D. Gabbay, C. Hogger, J. Robinson-Eds.), Oxford Science Pub., pp.35–110, 1994.
J.M. McCarthy. Circumscription-A form of non monotonic reqsoning. Artificial Intelligence 13(1-2), pp.27–39, 1980.
G. Priest. Reasoning about truth. Artificial Intelligence 39, pp.231–244, 1989.
G. Priest. Minimally inconsistent LP. Studia Logica 50, pp.321–331, 1991.
R. Reiter. On closed world databases. Logic and Databases (H. Gallaire, J. Minker-Eds.), Plenum Press, pp.55–76, 1978.
K. Schlechta.Nonmonotonic logics-Basic concepts, results, and techniques. LNAI 1187, Springer, 1996.
D. Scott. Rules and derived rules. Logical Theory and Semantical Analysis (S. Stenlund-Ed.), Reidel, Dordrecht, pp.147–161, 1974.
D. Scott. Completeness and axiomatization in many-valued logic. Proc. of the Tarski Symposium, Proc. of Symposia in Pure Mathematics, Vol.XXV, American Mathematical Society, Rhode Island, pp.411–435, 1974.
Y. Shoham. Reasoning about change. MIT Press, 1988.
A. Tarski. Introduction to logic. Oxford University Press, N.Y., 1941.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Arieli, O., Avron, A. (1999). Nonmonotonic and Paraconsistent Reasoning: From Basic Entailments to Plausible Relations. In: Hunter, A., Parsons, S. (eds) Symbolic and Quantitative Approaches to Reasoning and Uncertainty. ECSQARU 1999. Lecture Notes in Computer Science(), vol 1638. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48747-6_2
Download citation
DOI: https://doi.org/10.1007/3-540-48747-6_2
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66131-3
Online ISBN: 978-3-540-48747-0
eBook Packages: Springer Book Archive