Generation and Selection of Abductive Explanations for Non-Omniscient Agents

  title={Generation and Selection of Abductive Explanations for Non-Omniscient Agents},
  author={Fernando Soler-Toscano and Fernando R. Vel{\'a}zquez-Quesada},
  journal={Journal of Logic, Language and Information},
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… 
Abductive Reasoning in Dynamic Epistemic Logic
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
Which is the least complex explanation? Abduction and complexity
The algorithmic complexity measure K(s) is introduced and an application is introduced to the selection of the best abductive explanation, in the context of dynamic epistemic logic (DEL).
Minimal abductive solutions with explicit justification
This approach makes structurally explicit the solution to an abductive problem (as it has a syntactic nature) and gives a precise meaning to the notion of evidence.
Reasoning Processes as Epistemic Dynamics
This work proposes an understanding of deductive, default and abductive reasoning as different instances of the same phenomenon: epistemic dynamics. It discusses the main intuitions behind each one
The fundamental problem of contemporary epistemology
Hintikka has said that abduction is the fundamental problem of contemporary epistemology. He proposes four theses (Kapitan-Hintikka) to characterize the concept of abduction, a form of inference


Abduction for (Non-Omniscient) Agents
This work proposes a study of abductive reasoning from an epistemic and dynamic perspective, making special emphasis on non-ideal agents and the different kinds of abduction problems and abductive solutions that arise when agents whose information is not closed under logical consequence and agents whose reasoning abilities are not complete.
Abduction as Belief Revision
The dynamics of awareness
This paper uses a static base from the existing awareness literature, extending it into a dynamic system that includes traditional acts of observation, but also adding and dropping formulas from the current ‘awareness’ set, and gives a completeness theorem, and shows how this dynamics updates explicit knowledge.
Belief, Awareness, and Limited Reasoning.
Dynamic epistemic logic for implicit and explicit beliefs
This work proposes a combination of existing works in order to represent implicit and explicit beliefs, and discusses the action of inference on beliefs, analyzing its differences with respect to inference on knowledge and proposing a rich system for its representation.
Moorean Phenomena in Epistemic Logic
It is shown that in logics of knowledge and belief for a single agent and for an introspective agent, Moorean phenomena are the source of all self-refutation and the Cartesian formulas are exactly the formulas that are not eventually self- Refuting and that not all learnable formulas are successful.
The Basic Dynamic Doxastic Logic of AGM
As pointed out by Hans Rott and others, there are two ways of reading AGM, the theory of Alchourron, Gardenfors and Makinson presented in a classic paper that has come to be regarded as the fons et
Logics of public communications
Extensions of the logic S5 which can deal with public communications are defined and some completeness, decidability and interpretability results are proved and a general method is formulated that solves certain kind of problems involving public communications.
Dynamic Epistemic Logic
This book provides various logics to support formal specifications of multi-agent systems, including proof systems, and discusses various results on the expressive power of the logics presented.