Path: utzoo!attcan!uunet!tut.cis.ohio-state.edu!pt.cs.cmu.edu!o.gp.cs.cmu.edu!valdes
From: valdes+@cs.cmu.edu (Raul Valdes-Perez)
Newsgroups: comp.lang.lisp
Subject: Re: Is this the end of the lisp wave?
Message-ID: <1991Jan14.040307.23404@cs.cmu.edu>
Date: 14 Jan 91 04:03:07 GMT
References: <2456@paradigm.com> <22573@well.sf.ca.us> <96861@aerospace.AERO.ORG> <5256@idunno.Princeton.EDU> <4178@syma.sussex.ac.uk>
Sender: netnews@cs.cmu.edu (USENET News Group Software)
Organization: School of Computer Science, Carnegie Mellon
Lines: 15

In article <4178@syma.sussex.ac.uk> aarons@syma.sussex.ac.uk (Aaron Sloman) writes:
>All the people I talked to in the AI field in the early days were
>very clear that there was a difference between what they were trying
>to implement and how they were implementing it, although it was
>agreed that sometimes making the distinction was not easy (hence the
>occasional confused person who called a program a theory).

Could Prof. Sloman make clear why computer programs do not merit the status
of theory?  Would he accept a system of differential or difference equations
as a theory?
--
Raul E. Valdes-Perez			valdes@cs.cmu.edu
School of Computer Science		(412) 268-7698
Carnegie Mellon University
Pittsburgh, PA 15213