用户3016594024177

无论我们用强健的逻辑作为计算机实现 "思维机器 "的基础，还是作为思考人类认知的基础，我们都需要更具体地询问，头脑中的信息如何高尔顿的 "思想......在我的全部意识中 "的概念，正如我们之前引用他

我们正在靠近描述健全逻辑系统的目标，该系统解决了推理的四个挑战。回顾一下，任何这样的系统，如果要对认知进行建模，需要满足两个要求

在在这一节和下一节我将会描述健壮的逻辑。它是一种解决推理问题的方法，解决了所有四种障碍 。它用一种共同的语义阐述学习和推理，保持计算的可行性，并且提供一种有原则的方法为脆性和接地的问题 。