Toward a Theory of Representation Design

Title: en_US Toward a Theory of Representation Design
Creator: en_US Baalen, Jeffrey Van
Date: 2004-10-20T20:00:12Z
Date Available: 2004-10-20T20:00:12Z
Date Issued: en_US 1989-05-01
Identifier: en_US AITR-1128
uri: http://hdl.handle.net/1721.1/6824
Abstract: en_US 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 translation of a problem, requests additional information if necessary, decides what to represent and how, designs representations capturing the constraints of the problem, and creates and executes a LISP program that uses those representations to produce a solution. Even though these problems are typically difficult for theorem provers to solve, the LISP program that uses the designed representations is very efficient.
Extent: en_US 219 p.; 24550805 bytes; 9478311 bytes
Format: application/postscript; application/pdf
Language: en_US
Relation: en_US AITR-1128
Subject: en_US knowledge representation; en_US knowledge-based systems