Koji Mineshima

Learn More
We present a higher-order inference system based on a formal compositional semantics and the wide-coverage CCG parser. We develop an improved method to bridge between the parser and semantic composition. The system is evaluated on the FraCaS test suite. In contrast to the widely held view that higher-order logic is unsuitable for efficient logical(More)
Proof-theory has traditionally been developed based on linguistic (symbolic) representations of logical proofs. Recently, however, logical reasoning based on diagrammatic or graphical representations has been investigated by logicians. Euler diagrams were introduced in the 18th century by Euler [1768]. But it is quite recent (more precisely, in the 1990s)(More)
This paper explores the question of what makes diagrammatic representations effective for human logical reasoning, focusing on how Euler diagrams support syllogistic reasoning. It is widely held that diagrammatic representations aid intuitive understanding of logical reasoning. In the psychological literature, however, it is still controversial whether and(More)
This paper introduces a hierarchy of Euler and Venn diagrammatic reasoning systems in terms of their expressive powers in topological-relation-based formalization. At the bottom of the hierarchy is the Euler diagrammatic system introduced in Mineshima-Okada-Sato-Takemura [13, 12], which is expressive enough to characterize syllogistic reasoning in terms of(More)
Internal syntactic operations on diagrams play a key role in accounting for efficacy of diagram use in reasoning. However, it is often held that in the case of complex deductive reasoning, diagrams can serve merely as an auxiliary source of information in interpreting sentences or constructing models. Based on experiments comparing subjects’ performances in(More)
In the context of the cognitive study of diagrammatic representations for deductive reasoning, the availability of syntactic manipulation of diagrams has played a key role in accounting for their efficacy. Currently, however, little has been known about the interface between such syntactic or proof-theoretical aspects and the corresponding semantic or(More)