Abstract
Deduction by a computer studied so far has been centered around symbolic reasoning with formulas. Recently, attention has been directed to reasoning with diagrams as well, in order to augment the deficiency of reasoning with symbols only. In this paper, we propose a visual reasoning system called JVenn which attains a unique amalgamation of the diagrammatic reasoning and the symbolic reasoning, having perspicuity of diagrams and strictness of symbols complementarily. JVenn is unique particularly in the points that it has the strategy for proving a chain of syllogisms, allows for an interplay between diagrams and symbols, and guides reasoning with the beauty measure for diagrams.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
G. Allwein and J. Barwise, editors. Logical Reasoning with Diagrams. Oxford University Press, 1996.
J. Barwise and J. Etchemendy. HyperProof. CSLI Publications, 1994.
M. Bense. Einführung in die informationstheoretische Ästhetik. Rowohlt Taschen-buch Verlag, 1969. (Japanese translation by K. Kusabuka, Keisoshobo, 1997).
E. Hammer. Reasoning with sentences and diagrams. Notre Dame Journal of Formal Logic, 35(1):73–87, 1994.
E. Izuhara, T. Yoshida, and H. Atsumi. Systems of Diagrams-Diagrammatic Thinking and its Representation. Nikkagiren, 1986. (in Japanese).
K. Kiyozaka and H. Sawamura. Considerations on the complexity of visual reasoning with sentences and diagrams. Journal of Japanese Society for Artificial Intelligence, 14(4):646–656, 1999. (in Japanese).
R. B. Nelsen. Proofs Without Words. The Mathematical Association of America., 1993.
T. Nishida and Y. Anzai. Special issue on diagrammatic inference. Journal of Japanese Society for Artificial Intelligence, 9(1):182–215, 1994.
J. Nolt and D. Rohatyn. Theory and Problems of Logic, Schaum’s Outline Series. McGraw-Hill, Inc., 1988.
H. Sawamura and K. Kiyozuka. Considerations on the Complexity and Beauty of Visual Reasoning with Diagrams and Sentences. 2000. (unpublished manuscript).
S.-J. Shin. Situation-theoretic account of valid reasoning with venn diagrams. In [1], pages 81–108.
T. Taniguchi. Philosophical Logic. Gakubunsya, 1979. (in Japanese).
C. Tinelli. Combination methods in automated reasoning. http://acsl.cs.uiuc.edu/combination/.
R. Wesley and J. Moor. Venn-A Philosophy Tutor, Courseware Development Group. Dartmouth College, Kinko’s, 1986.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sawamura, H., Kiyozuka, K. (2000). JVenn: A Visual Reasoning System with Diagrams and Sentences. In: Anderson, M., Cheng, P., Haarslev, V. (eds) Theory and Application of Diagrams. Diagrams 2000. Lecture Notes in Computer Science(), vol 1889. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44590-0_25
Download citation
DOI: https://doi.org/10.1007/3-540-44590-0_25
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67915-8
Online ISBN: 978-3-540-44590-6
eBook Packages: Springer Book Archive