An epistemic and dynamic approach to abductive reasoning: selecting the best explanation

Abstract

Previous works have discussed how to represent abductive reasoning in a dynamic epistemic logic framework. It has been discussed how to define an abductive problem, how to define an abductive solution and what to do with the best solution, once this one has been selected. The present work discusses two possible ways in which the agent can select ‘the best’ explanation.