.png){kind=icon}
返回
Computing with speculations
.png){kind=icon}
PRE
AI
DOI：10.1007/s00500-026-11377-w.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
近年来，Enric Trillas提出了一种关于常识推理基本逻辑的新颖替代方法，该方法基于以下理念：为使自动化推理具有创造力，标准归纳和溯因操作必须辅以猜测或推测。本文在回顾Trillas的骨架形式模型后，展示了一些交互式示例，以可视化“基于推测的计算”中涉及的部分概念，随后讨论并提出了如何在真实计算环境中实现推测以克服某些技术障碍的建议。这些示例旨在为实验性探究做出贡献，其实际实现应基于所描述的计算学习途径。总体目标是引入（尽管是原型形式）一个自然推理的理论框架，并为其演化提供工具，与其他类似努力相结合，最终形成完整的自然计算系统。
Keyword:
Natural computing
Speculations
Logical commonsense reasoning
Deduction
期刊
IF:
2.5
论文数:
1.0W
被引数:
2.1W
.png){kind=icon}
查看更多内容