Implementing Logics in Diagrams

Keith Stenning and J. Oberlander

We have been developing a general cognitive theory of graphics from this starting point. Our aim in this paper is to lay out the outlines of our theory so that it can be compared and contrasted with other approaches at this workshop. We will give a brief exposition of the logical treatment and then illustrate the theory in the domain of an Euler’s Circles based system for solving syllogisms.

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.