新报告:“逻辑不确定性下的推理问题”

||论文

推理在陆今天我们发布了Nate Soares和Benja Fallenstein的新技术报告。在逻辑不确定性下推理的问题“如果你想讨论这篇论文,请讨论吧。在这里

文摘:

一个逻辑上不确定的推理者能够进行推理,好像他们既知道编程语言又知道程序,而不知道程序的输出。大多数实际推理都涉及到一定的逻辑不确定性,但目前还没有令人满意的逻辑不确定性推理理论。为了开发构建高可靠的人工推理器所必需的工具,需要一个更好的逻辑不确定性推理理论。本文介绍了这一课题,讨论了一些历史成果,并描述了一些有待解决的问题。

这是六份描述和激励人心的新主要报告中的第三份MIRI目前的研究议程亚博体育官网在高水平上。