Proceedings of the ESSLLI-2000 Student Session
- Publication date
- Publisher
Abstract
We draw attention to the fact that Barwise and Etchemendy's logic teaching program, Hyperproof, does not distinguish Visual Reasoning from CaseBased Reasoning. We indicate how this may be a problem when Hyperproof is used for cognitive research, and propose to solve the problem by using a similar system based on Peirce's Existential Graphs. We present a prototype of this system, called the EGG (Existential Graphs GUI)