基本信息

---

下载

文档摘要

---

探索贪婪缺省逻辑：理论、特性与应用新视角

一、引言

1.1研究背景与动机

在人类的认知与推理过程中，我们常常面临知识不完全的困境。经典逻辑，如命题逻辑和一阶逻辑，具有单调性，即所得结论不会超出前提的范围，且结论会随着前提的增加而单调递增，无论前提里增加多少新信息或新知识，原来的结论都不会改变。例如，在经典逻辑中，若已知“所有鸟都会飞”以及“喜鹊是鸟”，那么可以得出“喜鹊会飞”的结论，且后续增加任何与该前提不冲突的信息，此结论都保持不变。

然而，在现实世界里，情况却复杂得多。我们的推理往往涉及大多数情况下为真但并非总是为真的事实。以“鸟通常会飞”为例，在经典逻辑中若表达为“所