RUSSELL@SUMEX-AIM.ARPA (Stuart Russell) (03/13/86)
A Theory of Analogical Reasoning
Professor Setsuo Arikawa
Kyushu University, Japan
Professor Arikawa's visit to Stanford on Tuesday March 18th will include
a talk given by him on analogical reasoning, which will be at 1pm
in Room 352, Margaret Jacks Hall. As we have the room only until 2pm, prompt
arrival would be appreciated so that we can start on time.
Analogical reaoning is considered as a deduction with a function which
transforms logical rules between two or more systems according as some
analogies. This method realizes the analogical reasoning in the framework
of conventional deductive reasoning systems.
When knowledge is given by sets of Horn clauses, the theory is constructed
as follows:
1) The concept of partial identity between the minimal (Herbrand) models is
definded,
2) conditions which guarantee the partial identity(EPIC) are given,
3) transformation between rules is redifined as the partial identity between
the minimal models, and thus
4) giving semantical consistency to this theory.
This work is partially supported by the Fifth Generation Computer Project in
Japan.
-------