Return-Path: Delivery-Date: Received: from antares.mcs.anl.gov (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.4) outside ac.uk; Tue, 13 Apr 1993 16:57:54 +0100 Received: by antares.mcs.anl.gov id AA12105 (5.65c/IDA-1.4.4 for qed-outgoing); Tue, 13 Apr 1993 10:25:55 -0500 Received: from lutra.mcs.anl.gov by antares.mcs.anl.gov with SMTP id AA12095 (5.65c/IDA-1.4.4 for ); Tue, 13 Apr 1993 10:25:53 -0500 From: Bill McCune Received: by lutra.mcs.anl.gov (4.1/GeneV4) id AA01463; Tue, 13 Apr 93 10:25:52 CDT Date: Tue, 13 Apr 93 10:25:52 CDT Message-Id: <9304131525.AA01463@lutra.mcs.anl.gov> To: qed@gov.anl.mcs Subject: response to Meglicki Sender: qed-owner@gov.anl.mcs Precedence: bulk (I'm sorry about my previous, misdirected message.) Zdzislaw Gustav Meglicki writes: > The three issues mentioned above: knowledge data base, user interface, > and language seem to me to be quite fundamental to the project. I hope that there will be many implementations associated with QED, with different types of knowledge bases, different user interfaces, and written in different programming languages. Of course there will have to be (at some level) a common language for formulas, proofs, etc., but that seems like a small issue once the base logic is fixed. It seems to me that the fundamental issues are the goals of the project and the base logic. Bill McCune --------------------------------------------------------------------- | William W. McCune | e-mail: mccune@mcs.anl.gov | | MCS-221 | phone: (708) 252-3065 | | Argonne National Laboratory | FAX: (708) 252-5986 | | Argonne, IL 60439-4844 | | | U.S.A. | | ---------------------------------------------------------------------