Abstract
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 the difficult cello playing techniques of spiccato and rapid cross strings of the bow movement. Our method has constructed persuasive analogical explanations about how to play them. We have used a model of forced vibration mechanics as the base world for spiccato, and the specification of the skeletal structure of the hand as the basis for the cross string bowing technique. We also applied analogical abduction to show the effectiveness of a metaphorical expression of “eating pancake on the sly” to achieve forte-piano dynamics, and successfully created an analogical explanation of how it works.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Furukawa, K., Inoue, K., Kobayashi, I., Suwa, M.: Discovering knack by abductive reasoning. In: 23rd Congress of JSAI, 1K1-OS8-5 (2009) (in Japanese)
Inoue, K., Furukawa, K., Kobayashi, I., Nabeshima, H.: Discovering rules by meta-level abduction. In: De Raedt, L. (ed.) ILP 2009. LNCS, vol. 5989, pp. 49–64. Springer, Heidelberg (2010)
Defourneaux, G., Peltier, N.: Analogy and abduction in automated deduction. In: Proceedings of 15th International Joint Conference on Artificial Intelligence (IJCAI-97), vol. 1, pp. 216–225 (1997)
Sadohara, K., Haraguchi, M.: Analogical logic program synthesis from examples. In: Lavrač, N., Wrobel, S. (eds.) ECML 1995. LNCS, vol. 912, pp. 232–244. Springer, Heidelberg (1995)
Satoh, K.: Translating case-based reasoning into abductive logic programming. In: Proceedings of 12th European Conference on Artificial Intelligence (ECAI 1996), pp. 142–146 (1996)
Inoue, K.: Linear resolution for consequence finding. Artif. Intell. 56(2/3), 301–353 (1992). (Elsevier)
Nabeshima, H., Iwanuma, K., Inoue, K.: SOLAR: a consequence finding system for advanced reasoning. In: Cialdea Mayer, M., Pirri, F. (eds.) TABLEAUX 2003. LNCS, vol. 2796, pp. 257–263. Springer, Heidelberg (2003)
Muggleton, S., Raedt, L.D.: Inductive logic programming: theory and methods. J. Logic Program. 19/20, 629–679 (1994). (Elsevier)
Haraguchi, M., Arikawa, S.: A formulation of analogical reasoning and its realization. J. Jpn. Soc. Artif. Intell. 1(1), 132–139 (1986). (in Japanese)
Goebel, R.: A sketch of analogy as reasoning with equality hypotheses. In: Jantke, K.P. (ed.) AII 1989. LNCS, vol. 397, pp. 243–253. Springer, Heidelberg (1989)
Haraguchi, M.: Towards a mathematical theory of analogy. Bull. Inform. Cybern. 21(3/4), 29–56 (1985)
Acknowledgement
We express our special thanks to Professor Katsumi Inoue from National Institute of Informatics, Professor Hidetomo Nabeshima from Yamanashi University and Professor Randy Goebel from Alberta University for their suggestions and fruitful discussions on how to incorporate analogy into abduction. This research was conducted in the Grants-in-Aid for Scientific Research Category C: Supports on Skill Discovery by Rule Abduction and Analogy, Grant No. 24500183.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Furukawa, K., Kinjo, K., Ozaki, T., Haraguchi, M. (2014). On Skill Acquisition Support by Analogical Rule Abduction. In: Kawtrakul, A., Laurent, D., Spyratos, N., Tanaka, Y. (eds) Information Search, Integration, and Personalization. ISIP 2013. Communications in Computer and Information Science, vol 421. Springer, Cham. https://doi.org/10.1007/978-3-319-08732-0_6
Download citation
DOI: https://doi.org/10.1007/978-3-319-08732-0_6
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-08731-3
Online ISBN: 978-3-319-08732-0
eBook Packages: Computer ScienceComputer Science (R0)