偏好语境下的序逻辑

Ordering logic in the context of preference

为了解决偏好逻辑语境中的先后关系问题,需要引入集合论中的序关系的概念,从而构成序逻辑.采用状态消减、关系变化和关系分割的方法,给出了序逻辑的公开宣告、字典序更新和偏好更新三个动态行动,更多的行动可以采用类似的方法进行分析,最基本的观点就是对基础语言的解释.序逻辑在动态偏好逻辑中具有重要的作用和意义.

In order to solve the ordering relationship problem in the context of preference logic,the concept of ordering in set theory has been introduced to form a system of axiom order logic in this study.Three basic actions including public announcement,lexicographic upgrade and preference upgrade are created using state elimination,relation change and link cutting.More actions could be analyzed in a similar fashion while a basic view is to interpret basic language.Ordering logic plays an important role in dynamic preference logic.