This paper describes our development of analogical abduction as an extension to our work
on meta level abductive reasoning for rule abduction and predicate invention. Previously,
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 with transitive rules. Here we extend
our formalism of the meta level abductive reasoning, by adding rules to conduct analogical
inference. We have applied our analogical abduction method to the problem of explaining …

… Therefore the abduction should abduce a connection rule, not a fact.  Meta-level …
Why Analogy Needed?  The rule abduction can abduce missing links but cannot give
interpretation to the abduced rules.  In case of predicate invention, the meaning (make_all_
fingers_flexible) of the invented predicate (X) is not given by …