偏好逻辑中的单调性与持续性

许多人工智能逻辑的一个重要特征是它们的非单调性。这意味着向前提添加公式会使某些结论失效。然而，可能存在一些公式，它们总是可以安全地添加到前提中而不破坏任何结论：我们称它们尊重单调性。此外，可能存在一些公式，当它们作为结论时，向前提添加任何公式都不能使其失效：我们称它们为保守的。我们研究了偏好逻辑的这两类公式，并表明它们与真值沿（偏好）序保持不变的公式密切相关。我们将考虑一些偏好逻辑进行说明，并为其证明语法刻画结果。本文的结果可能会提高偏好逻辑定理证明器的效率。