Top

Published in:

2017 | OriginalPaper | Chapter

13. Abductive Reasoning in Dynamic Epistemic Logic

Authors : Angel Nepomuceno-Fernández, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada

Published in: Springer Handbook of Model-Based Science

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

Abstract

This chapter proposes a study of abductive reasoning addressing it as an epistemic process that involves both an agent’s information and the actions that modify this information. More precisely, this proposal presents and discusses definitions of an abductive problem and an abductive solution in terms of an agent’s information (her knowledge and beliefs) and the involved epistemic actions (observation and belief revision). The discussion is then formalized with tools from dynamic epistemic logic; under such framework, the properties of the given definitions are studied, an epistemic action representing the application of an abductive step is introduced, and an illustrative example is provided. A number of the most interesting properties of abductive reasoning (those highlighted by Peirce) are shown to be better modeled within this approach.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

previous chapter Modeling Hypothetical Reasoning by Formal Logics

next chapter Argumentation and Abduction in Dialogical Logic

A. Aliseda: Abductive Reasoning. Logical Investigations into Discovery and Explanation, Synthese Library, Vol. 330 (Springer, Dordrecht 2006)MATH

A.C. Kakas, R.A. Kowalski, F. Toni: Abductive logic programming, J. Logic Comput. 2(6), 719–770 (1992)MathSciNetCrossRefMATH

M.C. Mayer, F. Pirri: First order abduction via tableau and sequent calculi, Log. J. IGPL 1(1), 99–117 (1993)MathSciNetCrossRefMATH

M.C. Mayer, F. Pirri: Propositional abduction in modal logic, Logic J. IGPL 3(6), 907–919 (1995)MathSciNetCrossRefMATH

A.L. Reyes-Cabello, A. Aliseda, Á. Nepomnceno-Fernández: Towards abductive reasoning in first-order logic, Logic J. IGPL 14(2), 287–304 (2006)MathSciNetCrossRefMATH

S. Klarman, U. Eudriss, S. Schlobar: ABox abduction in the description logic ACC, J. Autom. Reason. 46, 43–80 (2011)CrossRef

J. Lobo, C. Uzcátegui: Abductive consequence relations, Artif. Intell. 89(1/2), 149–171 (1997)MathSciNetCrossRefMATH

A. Aliseda: Mathematical reasoning vs. abductive reasoning: A structural approach, Synthese 134(1/2), 25–44 (2003)MathSciNetCrossRefMATH

B. Walliser, D. Zwirn, H. Zwirn: Abductive logics in a belief revision framework, J. Log, Lang. Info. 14(1), 87–117 (2004)CrossRefMATH

10.

H.J. Levesque: A knowledge-level account of abduction, Proc. 11th Intl. Joint Conf. on Artif. Intell., ed. by N.S. Sridharan (Morgan Kaufmann, Burlington 1989), pp. 1061–1067, Detroit 1989

11.

C. Boutilier, V. Becher: Abduction as belief revision, Artif. Intell. 77(1), 43–94 (1995)MathSciNetCrossRefMATH

12.

A. Aliseda: Abduction as epistemic change: A Peircean model in artificial intelligence. In: Abduction and Induction: Essays on Their Relation and Integration, Applied Logic, ed. by P.A. Flach, A.C. Kakas (Kluwer, Dordrecht 2000) pp. 45–58CrossRef

13.

L. Magnani: Abductive Cognition: The Epistemological and Eco-Cognitive Dimensions of Hypothetical Reasoning, Cognitive Systems Monographs, Vol. 3 (Springer, Heidelberg 2009)MATH

14.

D. Gabbay, J. Woods (Eds.): The Reach of Abduction: Insight and Trial, A Practical Logic of Cognitive Systems, Vol. 2 (Elsevier, Amsterdam 2005)MATH

15.

J. Woods: Cognitive economics and the logic of abduction, Rev. Symb. Log. 5(1), 148–161 (2012)MathSciNetCrossRefMATH

16.

J. Hintikka: Knowledge and Belief: An Introduction to the Logic of the Two Notions (Cornell Univ. Press, Ithaca 1962)

17.

R. Fagin, J.Y. Halpern, Y. Moses, M.Y. Vardi: Reasoning About Knowledge (MIT Press, Cambridge 1995)MATH

18.

H. van Ditmarsch, W. van der Hoek, B. Kooi: Dynamic Epistemic Logic, Synthese Library, Vol. 337 (Springer, Dordrecht 2007)CrossRefMATH

19.

J. van Benthem: Logical Dynamics of Information and Interaction (Cambridge Univ. Press, Cambridge 2011)CrossRefMATH

20.

P.A. Flach, A.C. Kakas: Abduction and Induction: Essays on their Relation and Integration, Applied Logic (Kluwer, Dordrecht 2000)CrossRefMATH

21.

F. Soler-Toscano, D. Fernández-Duque, Á. Nepomuceno-Fernández: A modal framework for modeling abductive reasoning, Log. J. IGPL 20(2), 438–444 (2012)MathSciNetCrossRefMATH

22.

M.E. Quilici-Gonzalez, W.F.G. Haselager: Creativity: Surprise and abductive reasoning, Semiotica 153(1–4), 325–342 (2005)

23.

J. van Benthem, F.R. Velázquez-Quesada: The dynamics of awareness, Synthese (Knowl., Rationality and Action) 177, 5–27 (2010)MATH

24.

B. Hill: Awareness dynamics, J. Phil. Log. 39(2), 113–137 (2010)MathSciNetCrossRefMATH

25.

F.R. Velázquez-Quesada, F. Soler-Toscano, Á. Nepomuceno-Fernández: An epistemic and dynamic approach to abductive reasoning: Abductive problem and abductive solution, J. Appl. Log. 11(4), 505–522 (2013)MathSciNetCrossRefMATH

26.

Á. Nepomuceno-Fernández, F. Soler-Toscano, F.R. Velázquez-Quesada: An epistemic and dynamic approach to abductive reasoning: Selecting the best explanation, Log. J. IGPL 21(6), 943–961 (2013)MathSciNetCrossRefMATH

27.

F. Soler-Toscano, F.R. Velázquez-Quesada: A dynamic-epistemic approach to abductive reasoning. In: Logic of Knowledge. Theory and Applications, Dialogues and the Games of Logic. A Philosophical Perspective, Vol. 3, ed. by C. Barés Gómez, S. Magnier, F.J. Salguero (College Publications, London 2012) pp. 47–78

28.

C.S. Peirce: The Essential Peirce. Selected Philosophical Writings (1893–1913), Vol. 2 (Indiana Univ., Bloomington, Indianapolis 1998), ed. by N. HouserMATH

29.

C.S. Peirce: The Essential Peirce. Selected Philosophical Writings (1867–1893), Vol. 1 (Indiana Univ., Bloomington, Indianapolis 1992), ed. by N. Houser, C. KloeselMATH

30.

E. Lorini, C. Castelfranchi: The cognitive structure of surprise: Looking for basic principles, Topoi 26(1), 133–149 (2007)MathSciNetCrossRefMATH

31.

G.H. Harman: The inference to the best explanation, Phil. Rev. 74(1), 88–95 (1965)CrossRef

32.

P. Lipton: Inference to the Best Explanation (Routledge, London, New York 2004)

33.

J. Hintikka: What is abduction? The fundamental problem of contemporary epistemology, Trans. C.S. Peirce Soc. 34(3), 503–533 (1998)

34.

A. Baltag, S. Smets: A qualitative theory of dynamic interactive belief revision. In: Logic and the Foundations of Game and Decision Theory (LOFT7), Texts in Logic and Games, Vol. 3, ed. by G. Bonanno, W. van der Hoek, M. Wooldridge (Amsterdam Univ. Press, Amsterdam 2008) pp. 13–60

35.

F.R. Velázquez-Quesada: Dynamic epistemic logic for implicit and explicit beliefs, J. Log. Lang. Info. 23(2), 107–140 (2014)MathSciNetCrossRefMATH

36.

C. Boutilier: Unifying default reasoning and belief revision in a modal framework, Artif. Intell. 68(1), 33–85 (1994)MathSciNetCrossRefMATH

37.

R. Stalnaker: On logics of knowledge and belief, Phil. Stud. 128(1), 169–199 (2006)MathSciNetCrossRef

38.

J.A. Plaza: Logics of public communications, Proc. 4th Intl. Symp. Methodol. Intell. Sys., ed. by M.L. Emrich, M.S. Pfeifer, M. Hadzikadic, Z.W. Ras (North-Holland, Amsterdam 1989) pp. 201–216

39.

J. Gerbrandy, W. Groeneveld: Reasoning about information change, J. Log, Lang. Info. 6(2), 147–196 (1997)CrossRefMATH

40.

J. van Benthem: Dynamic logic for belief revision, J. Appl. Non-Class. Log. 17(2), 129–155 (2007)MathSciNetCrossRefMATH

41.

H. van Ditmarsch: Prolegomena to dynamic logic for belief revision, Synthese 147(2), 229–275 (2005)MathSciNetCrossRefMATH

42.

A. Baltag, S. Smets: Learning by questions and answers from belief-revision cycles to doxastic fixed points. In: Logic, Language, Information and Computation, ed. by H. Ono, M. Kanazawa, R. de Queiroz (Springer, Berlin, Heidelberg 2009) pp. 124–139CrossRef

43.

W.A. Carnielli: Surviving abduction, Log. J. IGPL 14(2), 237–256 (2006)MathSciNetCrossRefMATH

44.

J. Pearl: Probabilistic Reasoning in Intelligent Systems – Networks of Plausible Inference (Morgan Kaufmann, San Francisco 1989)MATH

45.

D. Poole: Probabilistic horn abduction and bayesian networks, Artif. Intell. 64(1), 81–129 (1993)CrossRefMATH

46.

D. Dubois, A. Gilio, G. Kern-Isberner: Probabilistic abduction without priors, Intl. J. Approx. Reason. 47(3), 333–351 (2008)MathSciNetCrossRefMATH

47.

M. Denecker, D. De Schreye: SLDNFA: An abductive procedure for normal abductive programs, Proc. Intl. Joint Conf. Symp. Log. Program., ed. by K.R. Apt (MIT Press, Washington 1992) pp. 686–700

48.

A.C. Kakas, P. Mancarella: Generalized stable models: A semantics for abduction, Proc. 9th Eur. Conf. Artif. Intell. ECAI '90, ed. by L.C. Aiello (Pitman, Stockholm 1990) pp. 385–391

49.

F. Lin, J.-H. You: Abduction in logic programming: A new definition and an abductive procedure based on rewriting, Proc. 17th Int. Joint Conf. Artif. Intell., IJCAI, ed. by B. Nebel (Morgan Kaufmann, Seattle 2001) pp. 655–666

50.

M.C. Mayer, F. Pirri: Abduction is not deduction-in-reverse, Log. J. IGPL 4(1), 95–108 (1996)MathSciNetCrossRefMATH

51.

P. Gärdenfors, D. Makinson: Nonmonotonic inference based on expectations, Artif. Intell. 65(2), 197–245 (1994)MathSciNetCrossRefMATH

52.

R. Pino-Pérez, C. Uzcátegui: Jumping to explanations versus jumping to conclusions, Artif. Intell. 111(1/2), 131–169 (1999)MathSciNetCrossRefMATH

53.

R. Pino-Pérez, C. Uzcátegui: Preferences and explanations, Artif. Intell. 149(1), 1–30 (2003)MathSciNetCrossRefMATH

54.

D. Makinson: Bridges between classical and nonmonotonic logic, Log. J. IGPL 11(1), 69–96 (2003)MathSciNetCrossRefMATH

55.

J. van Benthem, S. van Otterloo, O. Roy: Preference logic, conditionals and solution concepts in games. In: Modality Matters: Twenty-Five Essays in Honour of Krister Segerberg, Uppsala Philosophical Studies, ed. by H. Lagerlund, S. Lindström, R. Sliwinski (Univ. Uppsala, Upsala 2006) pp. 61–76

56.

P. Girard: Modal Logic for Belief and Preference Change, Ph.D. Thesis (Stanford Univ., Stanford 2008)

57.

J. van Benthem, P. Girard, O. Roy: Everything else being equal: A modal logic for ceteris paribus preferences, J. Phil. Log. 38(1), 83–125 (2009)MathSciNetCrossRefMATH

58.

F. Liu: Reasoning about Preference Dynamics, Synthese Library, Vol. 354 (Springer, Heidelberg 2011)CrossRefMATH

59.

F.R. Velázquez-Quesada: Reasoning processes as epistemic dynamics, Axiomathes 25(1), 41–60 (2015)

60.

F. Soler-Toscano, F.R. Velázquez-Quesada: Generation and selection of abductive explanations for non-omniscient agents, J. Log, Lang. Info. 23(2), 141–168 (2014)CrossRefMATH

61.

F. Soler-Toscano, F.R. Velázquez-Quesada: Abduction for (non-omniscient) agents, Workshop Proc. MALLOW 2010, Vol. 627, ed. by O. Boissier, A. El Fallah Seghrouchni, S. Hassas, N. Maudet (CEUR, Lyon 2010), www.ceur-ws.org/vol-627/lrba_4.pdf

62.

J. van Benthem: Abduction at the interface of logic and philosophy of science, Theoria 22(3), 271–273 (2009)

63.

F.R. Velázquez-Quesada: Explicit and implicit knowledge in neighbourhood models. In: Logic, Rationality, and Interaction -- Proc. 4th Int. Workshop LORI 2013, Hangzhou, Lecture Notes in Computer Science, Vol. 8196, ed. by D. Grossi, O. Roy, H. Huang (Springer, Berlin, Heidelberg 2013) pp. 239–252

Title: Abductive Reasoning in Dynamic Epistemic Logic
Authors: Angel Nepomuceno-Fernández
Fernando Soler-Toscano
Fernando R. Velázquez-Quesada
Publisher: Springer International Publishing
Book: Springer Handbook of Model-Based Science
Print ISBN: 978-3-319-30525-7

Electronic ISBN: 978-3-319-30526-4

Copyright Year: 2017
DOI: https://doi.org/10.1007/978-3-319-30526-4_13

Springer Professional

Abstract

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner