Abstract
This chapter studies abductive reasoning as an epistemic process that involves both an agent’s information and the actions that modify it. More precisely, it proposes and discusses definitions of an abductive problem and an abductive solution in terms of an agent’s information (in particular, her knowledge and beliefs) and the epistemic actions that affect it (in particular, observation and belief revision). The discussion is formalized within tools from dynamic epistemic logic, studying the properties of the given definitions, introducing an epistemic action representing the application of an abductive step, and providing illustrative examples. Two particular cases are explored: abduction for non-ideal (i.e., nonlogically omniscient) agents and abduction in multiagent scenarios.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Ågotnes, T., & Wáng, Y. N. (2021). Somebody knows. In M. Bienvenu, G. Lakemeyer, & E. Erdem (Eds.), Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, 3–12 Nov 2021 (pp. 2–11).
Alchourrón, C., Gärdenfors, P., & Makinson, D. (1985). On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic, 50(2), 510–530.
Aliseda, A. (2000). Abduction as epistemic change: A Peircean model in artificial intelligence. In Flach and Kakas (2000) (pp. 45–58).
Aliseda, A. (2003). Mathematical reasoning vs. abductive reasoning: A structural approach. Synthese, 134(1–2), 25–44.
Aliseda, A. (2006). Abductive Reasoning. Logical Investigations into Discovery and Explanation (Synthese Library Series, Vol. 330). Springer.
Baltag, A., & Smets, S. (2008). A qualitative theory of dynamic interactive belief revision. In G. Bonanno, W. van der Hoek, & M. Wooldridge (Eds.), Logic and the Foundations of Game and Decision Theory (LOFT7) (Texts in Logic and Games, Vol. 3, pp. 13–60). Amsterdam University Press.
Baltag, A., & Smets, S. (2009). Learning by questions and answers: From belief-revision cycles to doxastic fixed points. In H. Ono, M. Kanazawa, & R. de Queiroz (Eds.), Logic, Language, Information and Computation (Lecture Notes in Computer Science, Vol. 5514, pp. 124–139). Berlin/Heidelberg: Springer.
Blackburn, P., de Rijke, M., & Venema, Y. (2001). Modal Logic. (Cambridge Tracts in Theoretical Computer Science, Vol. 53). Cambridge, UK: Cambridge University Press.
Boutilier, C., & Becher, V. (1995). Abduction as belief revision. Artificial Intelligence, 77(1), 43–94.
Douven, I. (2021). Abduction. In E. N. Zalta (Ed.), The Stanford Encyclopedia of Philosophy (Summer 2021 edition). Metaphysics Research Lab, Stanford University.
Fagin, R., & Halpern, J. Y. (1988). Belief, awareness, and limited reasoning. Artificial Intelligence, 34(1), 39–76.
Fagin, R., Halpern, J. Y., Moses, Y., & Vardi, M. Y. (1995). Reasoning About Knowledge. The MIT Press.
Flach, P. A., & Kakas, A. C. (Eds.). (2000). Abduction and Induction: Essays on Their Relation and Integration (Applied Logic Series, Vol. 18). Kluwer Academic Publishers.
Gerbrandy, J., & Groeneveld, W. (1997). Reasoning about information change. Journal of Logic, Language, and Information, 6(2), 147–196.
Grossi, D., & Velázquez-Quesada, F. R. (2015). Syntactic awareness in logical dynamics. Synthese, 192(12), 4071–4105.
Hansson, S. O. (2017). Logic of belief revision. In E. N. Zalta (Ed.), The Stanford Encyclopedia of Philosophy (Winter 2017 edition). Metaphysics Research Lab, Stanford University.
Harman, G. (1965). The inference to the best explanation. The Philosophical Review, 74(1), 88–95.
Hartshorne, C., & Weiss, P. (Eds.). (1935). Charles Sanders Peirce. The Collected Papers. Volume 5: Pragmatism and Pramaticism. Harvard University Press.
Hill, B. (2010). Awareness dynamics. Journal of Philosophical Logic, 39(2), 113–137.
Hintikka, J. (1962). Knowledge and Belief: An Introduction to the Logic of the Two Notions. Cornell University Press.
Hintikka, J. (1998). What is abduction? The fundamental problem of contemporary epistemology. Transactions of the Charles S. Peirce Society, 34(3), 503–533.
Jago, M. (2006). Rule-based and resource-bounded: A new look at epistemic logic. In T. Ågotnes & N. Alechina (Eds.), Proceedings of the Workshop on Logics for Resource-Bounded Agents, Organized as Part of the 18th European Summer School on Logic, Language and Information (ESSLLI) (pp. 63–77).
Kakas, A. C., Kowalski, R. A., & Toni, F. (1992). Abductive logic programming. Journal of Logic and Computation, 2(6), 719–770.
Klarman, S. (2008). Abox abduction in description logic. ILLC Master of Logic Thesis Series MoL-2008-03.
Levesque, H. J. (1984). A logic of implicit and explicit belief. In R. J. Brachman (Ed.), Proceedings of AAAI-84 (pp. 198–202). AAAI Press.
Levesque, H. J. (1989). A knowledge-level account of abduction. In N. S. Sridharan (Ed.), IJCAI (pp. 1061–1067). Morgan Kaufmann.
Lipton, P. (2004). Inference to the Best Explanation. Routledge. First edition: 1991.
Lobo, J., & Uzcátegui, C. (1997). Abductive consequence relations. Artificial Intelligence, 89 (1–2), 149–171.
Lorini, E., & Castelfranchi, C. (2007). The cognitive structure of surprise: Looking for basic principles. Topoi, 26(1), 133–149.
Magnani, L. (2001). Abduction, Reason, and Science: Processes of Discovery and Explanation. Springer.
Magnani, L. (2009). Abductive Cognition: The Epistemological and Eco-Cognitive Dimensions of Hypothetical Reasoning (Cognitive Systems Monographs, Vol. 3). Springer.
Mayer, M. C., & Pirri, F. (1993). First order abduction via tableau and sequent calculi. Logic Journal of the IGPL, 1(1), 99–117.
Mayer, M. C., & Pirri, F. (1995). Propositional abduction in modal logic. Logic Journal of the IGPL, 3(6), 907–919.
Nepomuceno-Fernández, Á., Soler-Toscano, F., & Velázquez-Quesada, F. R. (2017). Abductive reasoning in dynamic epistemic logic. In L. Magnani & T. Bertolotti (Eds.), Handbook of Model-Based Science (pp. 269–293). Springer.
Park, W. (2015). On classifying abduction. Journal of Applied Logic, 13(3), 215–238.
Plaza, J. A. (1989). Logics of public communications. In M. L. Emrich, M. S. Pfeifer, M. Hadzikadic, & Z. W. Ras (Eds.), Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems (pp. 201–216). Oak Ridge National Laboratory, ORNL/DSRD-24.
Quilici-Gonzalez, M. E., & Haselager, W. P. F. G. (2005). Creativity: Surprise and abductive reasoning. Semiotica, 153(1–4), 325–342.
Reyes-Cabello, A. L., Aliseda, A., & Nepomuceno-Fernández, Á. (2006). Towards abductive reasoning in first-order logic. Logic Journal of the IGPL, 14(2), 287–304.
Rott, H. (2009). Shifting priorities: Simple representations for twenty-seven iterated theory change operators. In D. Makinson, J. Malinowski, & H. Wansing (Eds.), Towards Mathematical Philosophy (Trends in Logic, Vol. 28, pp. 269–296). Springer.
Soler-Toscano, F., Fernández-Duque, D., & Nepomuceno-Fernández, Á. (2012). A modal framework for modeling abductive reasoning. Logic Journal of the IGPL, 20(2), 438–444.
Soler-Toscano, F., & Velázquez-Quesada, F. R. (2014). Generation and selection of abductive explanations for non-omniscient agents. Journal of Logic, Language and Information, 23(2), 141–168.
van Benthem, J. (2007). Dynamic logic for belief revision. Journal of Applied Non-Classical Logics, 17(2), 129–155.
van Benthem, J. (2009). Abduction at the interface of logic and philosophy of science. Theoria, 22(3), 271–273.
van Benthem, J. (2011). Logical Dynamics of Information and Interaction. Cambridge University Press.
van Benthem, J., & Velázquez-Quesada, F. R. (2010). The dynamics of awareness. Synthese (Knowledge, Rationality and Action), 177(0), 5–27.
van Ditmarsch, H. (2005). Prolegomena to dynamic logic for belief revision. Synthese, 147(2), 229–275.
van Ditmarsch, H., van der Hoek, W., & Kooi, B. (2007). Dynamic Epistemic Logic (Synthese Library Series, Vol. 337). Springer.
Vardi, M. Y. (1986). On epistemic logic and logical omniscience. In J. Y. Halpern (Ed.), TARK (pp. 293–305). Morgan Kaufmann Publishers Inc.
Velázquez-Quesada, F. R. (2014). Dynamic epistemic logic for implicit and explicit beliefs. Journal of Logic, Language and Information, 23(2), 107–140.
Walliser, B., Zwirn, D., & Zwirn, H. (2004). Abductive logics in a belief revision framework. Journal of Logic, Language and Information, 14(1), 87–117.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 Springer Nature Switzerland AG
About this entry
Cite this entry
Nepomuceno-Fernández, A., Soler-Toscano, F., Velázquez-Quesada, F.R. (2023). Abduction from a Dynamic Epistemic Perspective: Non-omniscient Agents and Multiagent Settings. In: Magnani, L. (eds) Handbook of Abductive Cognition. Springer, Cham. https://doi.org/10.1007/978-3-031-10135-9_25
Download citation
DOI: https://doi.org/10.1007/978-3-031-10135-9_25
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-10134-2
Online ISBN: 978-3-031-10135-9
eBook Packages: Intelligent Technologies and RoboticsReference Module Computer Science and Engineering