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

We propose 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, we present and discuss definitions of an abductive problem and an abductive solution in terms of an agentʼs informat...

Full description

Saved in:
Bibliographic Details
Published in:Journal of applied logic 2013-12, Vol.11 (4), p.505-522
Main Authors: Velázquez-Quesada, Fernando R., Soler-Toscano, Fernando, Nepomuceno-Fernández, Ángel
Format: Article
Language:English
Subjects:
Abductive reasoning
Dynamic epistemic logic
Dynamic mechanical properties
Dynamic tests
Dynamics
Epistemic actions
Logic
Mathematical models
Plausibility models
Reasoning
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:We propose 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, we present and discuss definitions of an abductive problem and an abductive solution in terms of an agentʼs information, that is, in terms of knowledge and beliefs. The discussion is then formalised by ‘implementing’ our definitions in a dynamic epistemic logic framework, where the properties of these definitions are studied, an epistemic action that represents 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 modelled within this approach.
ISSN:1570-8683
1570-8691
DOI:10.1016/j.jal.2013.07.002