JVenn: A Visual Reasoning System with Diagrams and Sentences

  • Authors:

  • Hajime Sawamura;Kensuke Kiyozuka

  • Affiliations:

  • -;-

  • Venue:
  • Diagrams '00 Proceedings of the First International Conference on Theory and Application of Diagrams
  • Year:
  • 2000

Quantified Score

Hi-index 0.00

Visualization

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.