#### Filter Results:

- Full text PDF available (21)

#### Publication Year

2007

2017

- This year (3)
- Last 5 years (21)
- Last 10 years (32)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Data Set Used

#### Key Phrases

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)

- Koji Mineshima, Mitsuhiro Okada, Yuri Sato, Ryo Takemura
- Diagrams
- 2008

- Koji Mineshima, Mitsuhiro Okada, Ryo Takemura
- Journal of Logic, Language and Information
- 2012

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)

- Yuri Sato, Koji Mineshima
- Journal of Logic, Language and Information
- 2015

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)

- Yuri Sato, Koji Mineshima, Ryo Takemura
- Diagrams
- 2010

- Koji Mineshima, Mitsuhiro Okada, Ryo Takemura
- Diagrams
- 2010

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)

- Yuri Sato, Koji Mineshima
- Diagrams
- 2012

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)

- Yuri Sato, Koji Mineshima, Ryo Takemura
- CogSci
- 2011

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)