# Generation and Selection of Abductive Explanations for Non-Omniscient Agents

@article{SolerToscano2014GenerationAS, 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}, year={2014}, volume={23}, pages={141-168} }

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…

## 5 Citations

Abductive Reasoning in Dynamic Epistemic Logic

- Philosophy
- 2017

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

- Computer ScienceArXiv
- 2019

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

- Philosophy
- 2020

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

- Philosophy
- 2014

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

- Philosophy
- 2014

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…

## References

SHOWING 1-10 OF 44 REFERENCES

Abduction for (Non-Omniscient) Agents

- PhilosophyMALLOW
- 2010

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.

An epistemic and dynamic approach to abductive reasoning: Abductive problem and abductive solution

- PhilosophyJ. Appl. Log.
- 2013

The dynamics of awareness

- Computer ScienceSynthese
- 2010

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.

Dynamic epistemic logic for implicit and explicit beliefs

- Philosophy
- 2010

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

- PhilosophyAdvances in Modal Logic
- 2010

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

- Education
- 2001

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

- Philosophy, Computer ScienceSynthese
- 2007

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

- Philosophy, Computer Science
- 2007

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.