Representational change is integral to reasoning.
Representational change is integral to reasoning.
复制标题
DOI：
10.1098/rsta.2022.0052
复制
发表时间：
2023-07-24
期刊：
影响因子：
5
通讯作者：
Li, Xue
中科院分区：
文献类型：
--
作者：
Bundy, Alan;Li, Xue
推理是从旧知识中推导出新知识。推理者必须同时代表旧知识和新知识。随着推理的进行，这种表示将会改变。这种变化不仅仅是新知识的增加。我们声称，作为推理过程的副作用，旧知识的表示也会经常发生变化。例如，旧知识可能包含错误、不够详细或需要引入新概念。推理引发的表象变化是人类推理的一个共同特征，但在认知科学和人工智能中都被忽视了。我们的目标是纠正这一点。我们通过分析伊姆雷·拉卡托斯对数学方法论演化的理性重构来例证这一主张。然后我们描述了溯因、信念修正和概念改变（ABC）理论修复系统，它可以自动化这种表征改变。我们进一步声称 ABC 系统具有广泛的应用范围，可以成功修复错误的表示。本文是讨论会议问题“认知人工智能”的一部分。
Reasoning is the derivation of new knowledge from old. The reasoner must represent both the old and new knowledge. This representation will change as reasoning proceeds. This change will not just be the addition of the new knowledge. We claim that the representation of the old knowledge will also often change as a side effect of the reasoning process. For instance, the old knowledge may contain errors, be insufficiently detailed or require new concepts to be introduced. Representational change triggered by reasoning is a common feature of human reasoning but it has been neglected both in Cognitive Science and Artificial Intelligence. We aim to put that right. We exemplify this claim by analysing Imre Lakatos’s rational reconstruction of the evolution of mathematical methodology. We then describe the abduction, belief revision and conceptual change (ABC) theory repair system, which can automate such representational change. We further claim that the ABC system has a diverse range of applications to successfully repair faulty representations. This article is part of a discussion meeting issue ‘Cognitive artificial intelligence’.
影响因子：
14.4
作者：
KOWALSKI, R;KUEHNER, D
通讯作者：
KUEHNER, D
影响因子：
2.5
作者：
ROBINSON, JA
通讯作者：
ROBINSON, JA
影响因子：
8.2
作者：
Misyak, Jennifer;Noguchi, Takao;Chater, Nick
通讯作者：
Chater, Nick