Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.3 4.3bsd-beta 6/6/85; site ucbvax.BERKELEY.EDU
Path: utzoo!decvax!bellcore!ulysses!ucbvax!upenn.CSNET!Tim
From: Tim@upenn.CSNET (Tim Finin)
Newsgroups: mod.ai
Subject: Seminar - Analogical Reasoning (UPenn)
Message-ID: <8605120529.AA17948@ucbvax.Berkeley.EDU>
Date: Thu, 8-May-86 14:57:00 EDT
Article-I.D.: ucbvax.8605120529.AA17948
Posted: Thu May  8 14:57:00 1986
Date-Received: Mon, 12-May-86 21:52:54 EDT
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The ARPA Internet
Lines: 18
Approved: ailist@sri-ai.arpa


                   CIS Colloquium - University of Pennsylvania
                    3:00pm Friday, May 9 -  216 Moore School

                             ANALOGICAL REASONING
                                Stuart Russell
                              Stanford University

I  show  the  need  for  the  application  of  domain  knowledge  in analogical
reasoning, and propose that this knowledge must take the form of a new class of
rule   called   a  "determination".  By  giving  determinations  a  first-order
definition, they can be used to make valid analogical inferences which  may  be
implemented  within  a  logic programming system.  In such a system, analogical
reasoning can be more efficient  than  rule-based  reasoning  for  some  tasks.
Determinations  appear to be a common form of regularity in the world, and form
a natural stage in the acquisition of knowledge. The overall approach taken  in
this  work  can  be  extended to the general problem of the use of knowledge in
induction.