Xref: utzoo comp.ai:8593 comp.ai.edu:173 Path: utzoo!attcan!uunet!wuarchive!zaphod.mps.ohio-state.edu!uwm.edu!bbn.com!nic!bunny!newshost!bs30 From: bs30@sirius.gte.com (Bernard Silver) Newsgroups: comp.ai,comp.ai.edu Subject: Re: Bundy's PRESS system Message-ID: Date: 31 Jan 91 16:31:35 GMT References: Sender: news@gte.com Followup-To: comp.ai Organization: GTE Laboratories Incorporated Lines: 31 In-reply-to: richard@cs.mu.OZ.AU's message of 31 Jan 91 03:58:56 GMT In Message-ID: richard@cs.mu.OZ.AU (Richard Hagen) writes: > I'm interested in the analysis of explanations, and a friend of mine > mentioned that he had seen a paper about a system by Alan Bundy called > PRESS that might interest me. Unfortunately he couldn't supply me with > any details of where he saw it or what it did. PRESS was a system for solving symbolic equations of British upper high school level (e.g. cos(x)+ cos(2.x) + cos(3.x) = 0). The major references are "Using meta-level inference for selective application of multiple rewrite rules in algebraic manipulation" by Bundy and Welham, Artificial Intelligence 16(2), 1981, pages 189-212, and "Solving Symbolic Equations with PRESS", by Sterling, Bundy, Byrd, O'Keefe and Silver", Journal of Symbolic Computation, Volume 7, 1989. However, PRESS had little to do with the analysis of explanations! I wrote a learning version of PRESS, called LP, that did analyse examples to produce explanations, (which is closer but not very). References there are: "Precondition Analysis: Learning Control Information" by Silver, in Machine Learning, An Artificial Intelligence Approach, Volume 2 (Michalski, Carbonell and Mitchell editors), 1986, and "Meta-Level Inference", by Silver, North Holland, 1986. (Studies in Computer Science and Artificial Intelligence Number 1) -- Bernard Silver GTE Laboratories bsilver@gte.com (617) 466-2663