arXiv:2505.08522v1 宣布类型: 新 摘要: 本文考虑了在命题逻辑中，带有团队语义和依赖原子，也称为命题依赖逻辑环境下，KLM风格的偏好推理的复杂性和性质。显示偏好团队为基础的推理具有累积性，但违反了系统P。我们给出了直观的条件，这些条件完全刻画了那些偏好命题依赖逻辑满足系统P的情况。我们展示了这些刻画，在意外的情况下，并不适用于偏好团队为基础的命题逻辑。此外，我们展示了古典蕴含和依赖逻辑蕴含可以如何用非平凡的偏好模型来表达。最后，我们给出了两种自然表示下的偏好团队为基础的推理的复杂性。这包括关于经典（非团队为基础的）偏好推理的新颖复杂性结果。