Re: The "Minsky bottleneck" ...and a solution?
fritz@rodin.wustl.edu (Fritz Lehmann)
Date: Fri, 22 Jul 94 02:52:11 CDT
From: fritz@rodin.wustl.edu (Fritz Lehmann)
Message-id: <9407220752.AA03329@rodin.wustl.edu>
Newsgroups: comp.ai,sci.logic
Subject: Re: The "Minsky bottleneck" ...and a solution?
References: <30ci0m$6hl@Mercury.mcs.com> <30hira$nid@mercury.mcs.com> <30i4ho$hff@bigfoot.wustl.edu> <30lmvv$3a7@hitchcock.dfki.uni-sb.de>
Organization: Center for Optimization and Semantic Control, Washington University
Apparently-To: pratt@cs.stanford.edu
Apparently-To: schmidt@mpi-sb.mpg.de
Apparently-To: cbrink@ucthpx.uct.ac.za
Apparently-To: srkb@cs.umbc.edu
Apparently-To: interlingua@isi.edu
Apparently-To: cg@cs.umn.edu
Sender: owner-srkb@cs.umbc.edu
Precedence: bulk
Renate Schmidt wrote:
-----begin quote-----
monograph by Tarski and Givant (1987), for an overview see Givant
(1991). This, in essence, is the setting in which Tarski formalises set
theory, number theory and all of `classical mathematics'. (Note, QRA is
closely related to the class of heterogeneous relation algebras of
Schmidt and Stroehlein (1993) and the class of fork algebras that
emerged in South America.)
-----end quote------
Eh? What exactly is a "fork algebra"? Is it connected
to knowledge representation? (the way you and Brink
connected Boolean Modules and Peirce Algebras to KL-ONE?)
Yours truly, Fritz Lehmann
GRANDAI Software, 4282 Sandburg Way, Irvine, CA 92715, U.S.A.
Tel:(714)-733-0566 Fax:(714)-733-0506 fritz@rodin.wustl.edu
=============================================================