Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!allegra!princeton!caip!sri-spam!mordor!styx!G.CS.CMU.EDU!Mark.Derthick
From: Mark.Derthick@G.CS.CMU.EDU
Newsgroups: mod.ai
Subject: Seminar - Connectionist Knowledge Representation System (CMU)
Message-ID: <8606161904.AA07841@ucbvax.Berkeley.EDU>
Date: Wed, 11-Jun-86 01:17:06 EDT
Article-I.D.: ucbvax.8606161904.AA07841
Posted: Wed Jun 11 01:17:06 1986
Date-Received: Wed, 18-Jun-86 03:07:49 EDT
Sender: daemon@styx.UUCP
Organization: The ARPA Internet
Lines: 14
Approved: ailist@sri-ai.arpa

I will present my thesis proposal, "A Connectionist Knowledge Representation
System," 2pm Wednesday, June 18, in 5409.


I propose to develop a knowledge representation system that is functionally
similar to KL2, but implemented on a parallel, non-symbolic architecture.
Answering queries is carried out by a Boltzmann Machine
network in which concepts, roles, and individuals are represented by
patterns of activity of very simple processing units.  By choosing good
representations, a small network suffices to capture the knowledge as
pairwise interactions among the units in the network.  A single parallel
constraint satisfaction search accomplishes the answering process.  I will
prove that for any definable knowledge base, the network constructed will
answer queries as specified by the formal knowledge level semantics.