A Logical Approach to Reasoning by Analogy
Todd R. Davies, Stuart Russell · 1987
1 Introduction to the Problem In this paper we consider the conditions under whichpropositions inferred by analogy are true or sound. As such, we are concerned with normative criteria for analog-ical transfer rather than a descriptive or heuristic theory. The goal is to provide a reliable, programmable strategythat will enable a system to draw conclusions by analogy only when it should.Reasoning by analogy may be defined as the process of inferring that a conclusion property Q holds of a partic-ular situation or object T (the target) from the fact that T shares a property or set of properties P with anothersituation/object