Tim@upenn.CSNET (Tim Finin) (05/08/86)
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.