An epistemic and dynamic approach to abductive reasoning: Abductive problem and abductive solution |
| |
Authors: | Fernando R Velázquez-Quesada Fernando Soler-Toscano Ángel Nepomuceno-Fernández |
| |
Institution: | Grupo de Lógica, Lenguaje e Información, Universidad de Sevilla, Spain;ColumbiaUniversity |
| |
Abstract: | 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. |
| |
Keywords: | Abductive reasoning Dynamic epistemic logic Plausibility models Epistemic actions |
本文献已被 ScienceDirect 等数据库收录! |
|