Abduction

Akinori Abe

I have been reserching for Abduction. This might be my life work...

Peirce characterized abduction as follows [Peirce55]:

The surprising fact, C, is observed;
But if A were true, C would be a matter of course,
Hence, there is reason to suspect that A is true.

Peirce also wrote that

abduction is an operation for adopting an explanatory hypothesis, which is subject to certain conditions, and that in pure abduction, there can never be justification for accepting the hypothesis, other than through interrogation.

In AI, if we make use of the framework of logic, a sort of justification will be made by generating and testing candidate hypotheses to find acceptable hypotheses. Therefore, in simple words, abduction can be formalized as an explanation of an observation. It generates or adopts consistent hypotheses to explain an observation. Furthermore, abduction can be formalized as prediction because hypotheses generation and testing can be seen as a prediction of the causation of an observation.
As you know, Peirce's philosophy will be a start point for all researchers in abduction. A lot of abduction system have been porposed in the recent 10 years. One of the most famous abduction system is Theorist [Poole 1987]. And of late, ALP by Kakas [Kakas 1992] is also famous.
Their works inspired me a lot!!!

My research interests in abduction are....

References:

[Abe 2003] Abe A.: The role of abduction in Chance Discovery, New Generation Computing, Vol.21, No.1, pp. 61-71 (2003)
[Abe 2003b] Abe A.: Abduction and Analogy in Chance Discovery, in Chance Discovery (Osawa Y. and McBurney P. eds.), Chap. 16, pp. 231-248, Springer Verlag (2003)
[Abe et al. 2006] Abe A., Ozaku H.I., Kuwahara N., and Kogure K.: Scenario-base Construction for Abductive Nursing Risk Management, Proc. of IPUM2006, pp. 206--213 (2006)
[Abe et al. 2006a] Abe A., Ozaku H.I., Kuwahara N., and Kogure K.: What Should be Abducible in Abductive Nursing Risk Management?, Proc. of KES2006 (LNAI4253), Vol III, pp. 22--29 (2006)
[Abe et al. 2006b] Abe A., Ozaku H.I., Kuwahara N., and Kogure K.: Relation between Abductive and Inductive Nursing Risk Managements, Proc. of RM2006 (JSAI2006), pp. 121--132 (2006)
[Abe et al. 2006c] Abe A., Ozaku H.I., Kuwahara N., and Kogure K.: Cooperation between Abductive and Inductive Nursing Risk Management, Proc. of RM2006 (ICDM2006), pp. 705--708 (2006)
[Abe et al. 2006d] Abe A., Ozaku H.I., Kuwahara N., and Kogure K.: Relation between Abductive and Inductive Types of Nursing Risk Management, Post-proc. of JSAI2006 (LNAI 4834), pp. 387--400 (2007)
[Abe and Kogure 2006] Abe A. and Kogure K.: E-Nightingale: Crisis detection in nursing activities, in Chance Discoveries in Real World Decision Making (Ohsawa Y. and Tsumoto S. Eds.), Data-based Interaction of Human intelligence and Artificial Intelligence Series: Studies in Computational Intelligence, Chap. 15, pp. 357--371, Vol. 30, 2007, XIV, 404 (2006)
[Abe et al. 2007] Abe A., Ozaku H.I., Kuwahara N., and Kogure K.: Scenario Violation in Nursing Activities --- Nursing Risk Management from the viewpoint of Chance Discovery, Soft Computing Journal, Springer, Vol. 11, No. 8, pp. 799--809 (2007)
[Abe et al. 2007b] Abe A., Ozaku H.I., Kuwahara N., and Kogure K.: Relation between Abductive and Inductive Types of Nursing Risk Management, Post-proc. of JSAI2006 (LNAI 4834), pp. 387--400 (2007)
[Abe 2008] Abe A.: Relationship between Human and Computational Abduction Proc. of SMC2008, pp. 318--323 (2008)
[Abe 2009]Abe A.: Cognitive Chance Discovery, in Universal Access in Human-Computer Interaction --- Addressing Diversity (Stephanidis eds.), UAHCI 2009, Held as Part of HCI International 2009, Proceedings, Part I (LNCS5614), pp. 315--323, Springer-Verlag (2009)
[Abe et al. 2010]Abe A., Ohsawa Y., Kuwahara N., Ozaku I.H., Sagara K., Kogure K.: Scenario Violation as Gaps between Activity Patterns, New Mathematics and Natural Computation, Vol. 6, No. 2, pp. 193--208 (2010)
[Ohsawa, Abe, Nakamura 2010]Ohsawa Y., Abe A., and Nakamura J.: Chance Discovery as Analogy based Value Sensing, International Journal of Organizational and Collective Intelligence, Vol. 1, No. 1, pp. 44--57 (2010)
[Abe 2010]Abe A.: Abduction dealing with potential values, Proc. SMC2010, pp. 1279--1285 (2010)
[Abe, 2012]Abe A.: Cognitive Chance Discovery: from abduction to affordance, in Philosophy and Cognitive Science (Magnani L. and Li L. eds), SAPERE 2, pp. 155--172, Springer Verlag (2012)
[Kakas 1992] Kakas A. C., Kowalski R. A. and Toni F.: Abductive Logic Programming, J. of Logic and Computation, vol. 2, No. 6, pp. 719--770 (1992).
[Peirce55] Peirce C. S.: Abduction and Induction, chap. 11, Philosophical Writings of Peirce, Dover (1955).
[Poole 1987] Poole D., Aleliunas R., Goebel R.: Theorist: A Logical Reasoning System for Defaults and Diagnosis, The Knowledge Frontier: Essays in the Representation of Knowledge (N.J.Cercone, G.MaCalla Eds.), Springer-Verlag (1987).