Xref: utzoo comp.ai:5359 comp.lang.lisp:2615 sci.math.symbolic:1080 Path: utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!uwm.edu!uakari.primate.wisc.edu!brutus.cs.uiuc.edu!apple!fox!portal!cup.portal.com!Nagle From: Nagle@cup.portal.com (John - Nagle) Newsgroups: comp.ai,comp.lang.lisp,sci.math.symbolic Subject: Re: Request for Empirical Discovery Programs Message-ID: <25623@cup.portal.com> Date: 5 Jan 90 07:41:47 GMT References: <1990Jan1.190646.18598@ux1.cso.uiuc.edu> Organization: The Portal System (TM) Lines: 12 Presumably you are familiar with AM and Eurisko. A recent article on this subject is Lenat's "Why AM and Eurisko Appear To Work" in Huberman's "Computational Ecology", which is a little outside the mainstream AI literature and worth checking out. This isn't a field in which much work has been done recently. There were a few easy hits in the early days, but it proved very difficult to advance much beyond the level seen in AM/Eurisko. But Lenat, who is at the MCC in Austin, is still trying. John Nagle