Toward a Theory of Representation Design

This research is concerned with designing representations for analytical reasoning problems (of the sort found on the GRE and LSAT). These problems test the ability to draw logical conclusions. A computer program was developed that takes as input a straightforward predicate calculus translatio...

Full description

Bibliographic Details
Main Author: Baalen, Jeffrey Van
Language:en_US
Published: 2004
Subjects:
Online Access:http://hdl.handle.net/1721.1/6824