Abstract
In this paper, we report our attempt to realize analogical abduction as an extension of our work on meta level abductive framework for rule abduction and predicate invention. In our previous work, we gave a set of axioms to state the object level causalities in terms of first-order-logic (FOL) clauses, which represent direct and indirect causalities by transitive rules. Here we extend our formalism of the meta level abductive reasoning by adding rules to conduct analogical inference. We apply our analogical abduction method to the problem of explaining the difficult cello playing techniques of spiccato, rapid cross strings of the bow movement and one-bow staccato. Our method constructs persuasive analogical explanations about how to play them. We use a model of forced vibration mechanics as the base world for spiccato, the specification of the skeletal structure of the hand as the basis for the cross string bowing technique and behavioral similarity for one-bow staccato, respectively. These experimental studies suggest effectiveness of our approach to realize skill acquisition support by giving persuasive explanations of knacks provided by experts through analogical abduction.
