Journal of Applied Logic
Journal of Applied Logic
复制标题
应用逻辑杂志
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
Ángel Nepomuceno
中科院分区：
文献类型：
--
作者：
Fernando R. Velázquez;∗. FernandoSoler;Ángel Nepomuceno
我们提出了一个溯因推理解决它作为一个认知过程，涉及代理的信息和修改此信息的行动的研究。更确切地说，我们提出并讨论了溯因问题的定义和溯因解决方案的代理人的信息，也就是说，在知识和信念。讨论，然后正式通过“实施”我们的定义在一个动态的认知逻辑框架，这些定义的性质进行了研究，介绍了一个认知行动，代表应用溯因步骤，并提供了一个说明性的例子。溯因推理的一些最有趣的属性（Peirce所强调的）被证明是更好地模拟这种方法。© 2013 Elsevier B.V.保留所有权利。
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. © 2013 Elsevier B.V. All rights reserved.