Skip to main content
SpringerLink
Log in
Book cover

International Conference on Theory and Application of Diagrams

Diagrams 2000: Theory and Application of Diagrams pp 271–285Cite as

JVenn: A Visual Reasoning System with Diagrams and Sentences

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1889))

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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. G. Allwein and J. Barwise, editors. Logical Reasoning with Diagrams. Oxford University Press, 1996.

    Google Scholar 

  2. J. Barwise and J. Etchemendy. HyperProof. CSLI Publications, 1994.

    Google Scholar 

  3. M. Bense. Einführung in die informationstheoretische Ästhetik. Rowohlt Taschen-buch Verlag, 1969. (Japanese translation by K. Kusabuka, Keisoshobo, 1997).

    Google Scholar 

  4. E. Hammer. Reasoning with sentences and diagrams. Notre Dame Journal of Formal Logic, 35(1):73–87, 1994.

    Article  MATH  MathSciNet  Google Scholar 

  5. E. Izuhara, T. Yoshida, and H. Atsumi. Systems of Diagrams-Diagrammatic Thinking and its Representation. Nikkagiren, 1986. (in Japanese).

    Google Scholar 

  6. 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).

    Google Scholar 

  7. R. B. Nelsen. Proofs Without Words. The Mathematical Association of America., 1993.

    Google Scholar 

  8. T. Nishida and Y. Anzai. Special issue on diagrammatic inference. Journal of Japanese Society for Artificial Intelligence, 9(1):182–215, 1994.

    Google Scholar 

  9. J. Nolt and D. Rohatyn. Theory and Problems of Logic, Schaum’s Outline Series. McGraw-Hill, Inc., 1988.

    Google Scholar 

  10. H. Sawamura and K. Kiyozuka. Considerations on the Complexity and Beauty of Visual Reasoning with Diagrams and Sentences. 2000. (unpublished manuscript).

    Google Scholar 

  11. S.-J. Shin. Situation-theoretic account of valid reasoning with venn diagrams. In [1], pages 81–108.

    Google Scholar 

  12. T. Taniguchi. Philosophical Logic. Gakubunsya, 1979. (in Japanese).

    Google Scholar 

  13. C. Tinelli. Combination methods in automated reasoning. http://acsl.cs.uiuc.edu/combination/.

  14. R. Wesley and J. Moor. Venn-A Philosophy Tutor, Courseware Development Group. Dartmouth College, Kinko’s, 1986.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Information Engineering and Graduate School of Science and Engineering, Niigata University, 8050 Ninocho, Ikarashi, Niigata, 950-2181, Japan

    Hajime Sawamura & Kensuke Kiyozuka

Authors
  1. Hajime Sawamura
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Kensuke Kiyozuka
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Hartford, Dana Hall 230, 200 Bloomfield Avenue, West Hartford, Connecticut, 06117, USA

    Michael Anderson

  2. School of Psychology ESRC Centre for Research in Development, Instruction and Training, University of Nottingham, University Park, Nottingham, NG7 2RD, UK

    Peter Cheng

  3. Computer Science Department, University of Hamburg, Vogt-Koelln-Str. 30, 22527, Hamburg, Germany

    Volker Haarslev

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation