Re: Knowledge Representation Problem
phayes@cs.uiuc.edu (Pat Hayes)
Message-id: <199409281744.AA20764@dante.cs.uiuc.edu>
X-Sender: phayes@dante.cs.uiuc.edu
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Date: Wed, 28 Sep 1994 12:49:17 +0000
To: sowa@ranch.poly.edu (John F. Sowa), cg@cs.umn.edu, interlingua@ISI.EDU,
srkb@cs.umbc.edu
From: phayes@cs.uiuc.edu (Pat Hayes)
Subject: Re: Knowledge Representation Problem
Cc: sowa@ranch.poly.edu
Sender: owner-srkb@cs.umbc.edu
Precedence: bulk
Hi John
Thats a nice problem.
Is the goal to simply produce a rational conceptual organisation sufficient
to help a human programmer implement something, or to formalize the problem
and the relevant background assumptions in enough detail to be able to draw
some valid conclusions about it?
Pat
----------------------------------------------------------------------------
Beckman Institute (217)244 1616 office
405 North Mathews Avenue (217)328 3947 or (415)855 9043 home
Urbana, IL. 61801 (217)244 8371 fax
Phayes@cs.uiuc.edu
----------------------------------------------------------------------------