一个带有事务管理的动态偏好逻辑

• 作 者: 郭美云 熊作军
• 机 构: 西南大学逻辑与智能研究中心
• 出 处: 逻辑学研究
• 发表日期: 2011年1期
• 关键词: 逻辑系统 事务管理 动态化 偏好 显性化 完全性
• 基金项目: This paper was done during his visit of the first author to the Institute of Logic, Language and Computation（ILLC）, he would like to thank the hospitality of the staffs in ILLC, especially his host Pr

问题对偏好的变化会有影响。本文在偏好逻辑的背景下考虑事务管理并提出了一个新的带有事务管理的动态偏好逻辑。我们的逻辑表明它能把其他情况均同的偏好（ceteris paribus preference）与普通的偏好联系起来并将其动态化和显性化。并且，通过引入混合逻辑使得我们能在同一层次谈论命题和对象之间的偏好，除提问这个行动之外，我们还在逻辑系统的动态部分考虑了解决、建议和软公开宣告等行动。在对这四种行动的不同影响进行比较后，我们证明了这个动态系统的完全性。