-
人类自省与机器智能，第一部分
计算逻辑有多种形式，就像其他类型的逻辑一样。在本文中，我的重点将是计算逻辑中的溯因逻辑编程(ALP)方法。我认为 ALP 代理框架将 ALP 集成到代理的操作周期中，代表了解释性推理和规范性推理的一个令人信服的模型。
-
人类自省与机器智能，第二部分
可能存在多种解决方案，与一组信念 BBB 结合，使目标 GGG 和观察结果 OOO 都有效。这些解决方案可能会产生不同的结果，智能代理面临的挑战是在可用资源的限制下确定最有效的解决方案。在经典决策理论中，行动的价值取决于其结果的预期收益。同样，在科学哲学中，解释的价值是根据其可能性和解释观察的能力来评估的(它可以解释的观察越多越好)。
-
人类自省与机器智能，第三部分
为了解决危机，请激活警报信号按钮以通知驾驶员。如果火车的任何一段到站，司机都会停下来。如果没有，火车将前往下一站，在那里可以更容易地提供帮助。
-
人类自省与机器智能，第四部分
在人工智能的知识表示领域，人们已经探索了各种逻辑系统，其中子句逻辑通常被定位为传统一阶逻辑(FOL)的替代方案。尽管它很简单，但事实证明，分句逻辑是认知过程建模的有力候选者。
