Abstract
We investigate Euler diagrammatic systems for defeasible reasoning by extending the usual systems for Euler and Venn diagrams corresponding to standard classical logic. To achieve this, we use the generalized quantifier “most” to formalize defeasible reasoning, as proposed by Schlechta (1995), where defeasible knowledge is represented as “Most A are B” and axioms for “most” are defined. We introduce an Euler diagrammatic system for defeasible reasoning by introducing circle mA that represents “most A” for each circle A. We show that our Euler diagrammatic system is a diagrammatic representation of the symbolic system of the generalized quantifier “most”. Furthermore, we investigate skeptical and credulous strategies in defeasible reasoning with our Euler diagrams.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Chapman, P., Stapleton, G., Delaney, A.: On the expressiveness of second-order spider diagrams. J. Vis. Lang. Comput. 24(5), 327–349 (2013)
Gabbay, D.M., Hogger, C.J., Robinson, J.A., Nute, D. (eds.): Handbook of Logic in Artificial Intelligence and Logic Programming Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning. Oxford University Press, Oxford (1994)
Gabbay, D.M., Woods, J. (eds.): Handbook of the History of Logic Volume 8: The Many Valued and Nonmonotonic Turn in Logic. Elsevier, Amsterdam (2007)
Hammer, E., Shin, S.: Euler’s visual logic. Hist. Philos. Log. 19, 1–29 (1998)
Horty, J.F.: Some direct theories of nonmonotonic inheritance. In: Gabbay, D., Hogger, C., Robinson, J.A. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 3, pp. 111–187. Oxford University Press, Oxford (1994)
Horty, J.F., Thomason, R.H., Touretzky, D.S.: A skeptical theory of inheritance in nonmonotonic semantic networks. Artif. Intell. 42(2–3), 311–348 (1990)
Howse, J., Stapleton, G., Taylor, J.: Spider diagrams. LMS J. Comput. Math. 8, 145–194 (2005)
Mineshima, K., Okada, M., Takemura, R.: A diagrammatic inference system with Euler circles. J. Logic Lang. Inform. 21(3), 365–391 (2012)
Mineshima, K., Okada, M., Takemura, R.: Two types of diagrammatic inference systems: natural deduction style and resolution style. In: Goel, A.K., Jamnik, M., Narayanan, N.H. (eds.) Diagrams 2010. LNCS (LNAI), vol. 6170, pp. 99–114. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-14600-8_12
Reiter, R.: A logic for default reasoning. Artif. Intell. 13(1–2), 81–132 (1980)
Sato, Y., Mineshima, K.: Human reasoning with proportional quantifiers and its support by diagrams. In: Jamnik, M., Uesaka, Y., Elzer Schwartz, S. (eds.) Diagrams 2016. LNCS (LNAI), vol. 9781, pp. 123–138. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-42333-3_10
Schlechta, K.: Defaults as generalized quantifiers. J. Log. Comput. 5(4), 473–494 (1995)
Shimojima, A.: Semantic Properties of Diagrams and Their Cognitive Potentials. CSLI Publications, Stanford (2015)
Shin, S.-J.: The Logical Status of Diagrams. Cambridge University Press, Cambridge (1994)
Stapleton, G., Howse, J., Taylor, J., Thompson, S.: The expressiveness of spider diagrams. J. Log. Comput. 14(6), 857–880 (2004)
Stapleton, G., Taylor, J., Thompson, S., Howse, J.: The expressiveness of spider diagrams augmented with constants. J. Vis. Lang. Comput. 20(1), 30–49 (2009)
Swoboda, N., Allwein, G.: Heterogeneous reasoning with Euler/Venn diagrams containing named constants and FOL. Electron. Notes Theor. Comput. Sci. 134, 153–187 (2005)
Takemura, R.: Towards a proof theory for heterogeneous logic combining sentences and diagrams. In: Chapman, P., Stapleton, G., Moktefi, A., Perez-Kriz, S., Bellucci, F. (eds.) Diagrams 2018. LNCS (LNAI), vol. 10871, pp. 607–623. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-91376-6_55
Takemura, R.: Completeness of an Euler diagrammatic system with constant and existential points. J. Hum. Sci. Nihon Univ. 19(1–2), 23–40 (2013)
Takemura, R.: Proof theory for reasoning with Euler diagrams: a logic translation and normalization. Stud. Log. 101(1), 157–191 (2013)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Takemura, R. (2020). Euler Diagrams for Defeasible Reasoning. In: Pietarinen, AV., Chapman, P., Bosveld-de Smet, L., Giardino, V., Corter, J., Linker, S. (eds) Diagrammatic Representation and Inference. Diagrams 2020. Lecture Notes in Computer Science(), vol 12169. Springer, Cham. https://doi.org/10.1007/978-3-030-54249-8_23
Download citation
DOI: https://doi.org/10.1007/978-3-030-54249-8_23
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-54248-1
Online ISBN: 978-3-030-54249-8
eBook Packages: Computer ScienceComputer Science (R0)