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

摘要

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