人工智能可以让计算机修改以前的结论
为了更好地自动推理，机器应该能够系统地修改它们对世界的看法。 Timotheus Kampik 的论文提出了数学推理方法，这些方法在保持与先前结论的一致性和面对压倒性证据时拒绝那些结论之间取得平衡。
人类在做决定和推理时不断更新自己的世界观。 他们拒绝他们以前认为真实或可取的东西，并用更新的、更有希望的、更有用的观点取而代之。 人工智能一直致力于让机器以同样的方式思考，但更精确。
Timotheus 的论文通过开发推理方法推进了这一研究方向，这些推理方法在保留以前的结论以确保一致性和修改这些结论以纳入新的令人信服的证据之间取得平衡。 为了实现这一目标，他将经济理论中的数学原理应用于形式论证，这是一种基于逻辑的自动推理方法。
来源和详细信息：
https://techxplore.com/news/2022-04-conclusions-ai.html