Generation and Selection of Abductive Explanations for Non-Omniscient Agents

Among the non-monotonic reasoning processes, abduction is one of the most important. Usually described as the process of looking for explanations, it has been recognized as one of the most commonly used in our daily activities. Still, the traditional definitions of an abductive problem and an abductive solution mention only theories and formulas, leaving agency out of the picture. Our work proposes a study of abductive reasoning from an epistemic and dynamic perspective. In the first part we explore syntactic definitions of both an abductive problem in terms of an agent’s information and an abductive solution in terms of the actions that modify the agent’s information. We look at diverse kinds of agents, including not only omniscient ones but also those whose information is not closed under logical consequence and those whose reasoning abilities are not complete. In the second part, we look at an existing logical framework whose semantic model allows us to interpret the previously stated formulas, and we define two actions that represent forms of abductive reasoning.

[1]  F. R. Velazquez Quesada,et al.  Dynamic epistemic logic for implicit and explicit beliefs , 2010 .

[2]  Ángel Nepomuceno-Fernández,et al.  An epistemic and dynamic approach to abductive reasoning: selecting the best explanation , 2013, Log. J. IGPL.

[3]  Johan van Benthem,et al.  The dynamics of awareness , 2010, Synthese.

[4]  P. T. Geach,et al.  KNOWLEDGE AND BELIEF: An Introduction to the Logic of the Two Notions , 1963 .

[5]  Adam J. Grove,et al.  Two modellings for theory change , 1988, J. Philos. Log..

[6]  Fernando Soler-Toscano,et al.  Abduction for (Non-Omniscient) Agents , 2010, MALLOW.

[7]  Hector J. Levesque,et al.  A Logic of Implicit and Explicit Belief , 1984, AAAI.

[8]  Davide Grossi,et al.  Twelve Angry Men: A Study on the Fine-Grain of Announcements , 2009, LORI.

[9]  Sarit Kraus,et al.  Knowledge, Belief and Time , 1986, Theor. Comput. Sci..

[10]  Craig Boutilier,et al.  Toward a Logic for Qualitative Decision Theory , 1994, KR.

[11]  Moshe Y. Vardi,et al.  On Epistemic Logic and Logical Omniscience. , 1988 .

[12]  Craig Boutilier,et al.  Abduction as Belief Revision , 1995, Artif. Intell..

[13]  Peter Lipton,et al.  Inference to the best explanation , 1993 .

[14]  W. Hoek,et al.  Dynamic Epistemic Logic , 2007 .

[15]  Sarit Kraus,et al.  Knowledge, Belief and Time , 1986, ICALP.

[16]  Johan van Benthem,et al.  Dynamic logic for belief revision , 2007, J. Appl. Non Class. Logics.

[17]  C. Hartshorne,et al.  Collected Papers of Charles Sanders Peirce. Vol. V, Pragmatism and Pragmaticism , 1936 .

[18]  Jelle Gerbrandy,et al.  Dynamic epistemic logic , 1998 .

[19]  M. de Rijke,et al.  Logic, Language and Computation , 1997 .

[20]  Jan A. Plaza,et al.  Logics of public communications , 2007, Synthese.

[21]  Alejandro Ramírez Figueroa.  Abductive Reasoning. Logical Investigations into Discovery and Explanation , 2009 .

[22]  Ronald Fagin,et al.  Belief, Awareness, and Limited Reasoning. , 1987, Artif. Intell..

[23]  Jaakko Hintikka,et al.  What is Abduction? The Fundamental Problem of Contemporary Epistemology , 1999 .

[24]  K. Segerberg.  The Basic Dynamic Doxastic Logic of AGM , 2001 .

[25]  Charles S. Peirce,et al.  Collected Papers of C. S. Peirce. Vol. V. Pragmatism and Pragmaticism , 1937 .

[26]  H. V. Ditmarsch.  Prolegomena to Dynamic Logic for Belief Revision , 2005 .

[27]  Johan van Benthem.  Logical Dynamics of Information and Interaction: Preface , 2011 .

[28]  Alexandru Baltag,et al.  A qualitative theory of dynamic interactive belief revision , 2008 .

[29]  Wesley H. Holliday,et al.  Moorean Phenomena in Epistemic Logic , 2010, Advances in Modal Logic.

[30]  Wiebe van der Hoek,et al.  Systems for Knowledge and Belief , 1993, J. Log. Comput..

[31]  Wiebe van der Hoek,et al.  Dynamic Epistemic Logic and Knowledge Puzzles , 2007, ICCS.

[32]  M. Jago.  Rule-based and Resource-bounded: A New Look at Epistemic Logic , 2006 .

[33]  Johan van Benthem,et al.  Logical Dynamics of Information and Interaction: Contents , 2014 .

[34]  Robert Stalnaker.  On Logics of Knowledge and Belief , 2006 .

[35]  David Makinson,et al.  Bridges between Classical and Nonmonotonic Logic , 2003, Log. J. IGPL.

[36]  Mary-Anne Williams,et al.  Frontiers in Belief Revision , 2001 .

[37]  M. de Rijke,et al.  Logic, language and computation, vol. 2 , 1999 .

[38]  Ángel Nepomuceno-Fernández,et al.  An epistemic and dynamic approach to abductive reasoning: Abductive problem and abductive solution , 2013, J. Appl. Log..

[39]  Peter Gärdenfors,et al.  Belief Revision , 1995 .

[40]  Peter Gärdenfors,et al.  Belief Revision: Contents , 1992 .

[41]  Marie-Pierre Gleizes,et al.  Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010), Lyon, France, August 30 - September 2, 2010 , 2010, MALLOW.