| 偏好语境下的序逻辑 |
| |
| 引用本文： | 董英东,张学立,徐扬.偏好语境下的序逻辑[J].辽宁工程技术大学学报(自然科学版),2012,31(3):425-428. |
| |
| 作者姓名： | 董英东 张学立 徐扬 |
| |
| 作者单位： | 1. 毕节学院逻辑与文化研究中心,贵州毕节,551700
2. 西南交通大学智能控制开发中心,四川成都,610031 |
| |
| 基金项目： | 国家自然科学基金资助项目(61175055);毕节学院基金资助项目(20111010) |
| |
| 摘 要： | 为了解决偏好逻辑语境中的先后关系问题,需要引入集合论中的序关系的概念,从而构成序逻辑.采用状态消减、关系变化和关系分割的方法,给出了序逻辑的公开宣告、字典序更新和偏好更新三个动态行动,更多的行动可以采用类似的方法进行分析,最基本的观点就是对基础语言的解释.序逻辑在动态偏好逻辑中具有重要的作用和意义.
|
| 关 键 词： | 公开宣告 字典序更新 偏好更新 归约公理 序逻辑 集合论 模态逻辑 动态行动 |
Ordering logic in the context of preference |
| |
| DONG Yingdong
,
ZHANG Xueli
,
XU Yang.Ordering logic in the context of preference[J].Journal of Liaoning Technical University (Natural Science Edition),2012,31(3):425-428. |
| |
| Authors: | DONG Yingdong ZHANG Xueli XU Yang |
| |
| Institution: | 1.Center of Logic,Language and Cognition,Bijie University,Bijie 551700,China; 2.Intelligent Control Development Center,Southwest Jiaotong University,Chengdu 610031,China) |
| |
| Abstract: | 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. |
| |
| Keywords: | public announcement lexicographic upgrade preference upgrade reduction axioms ordering logic set theory modal logic dynamic action |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
