| 基于扩展命题模态逻辑的决策信息系统表示 |
| |
| 引用本文： | 张晓如,张再跃.基于扩展命题模态逻辑的决策信息系统表示[J].江苏科技大学学报(社会科学版),2011,25(1):68-73. |
| |
| 作者姓名： | 张晓如 张再跃 |
| |
| 作者单位： | 江苏科技大学,计算机科学与工程学院,江苏,镇江,212003 |
| |
| 基金项目： | 国家自然科学基金资助项日，中国科学院计算技术研究所智能信息处理国家重点实验室开放课题基金 |
| |
| 摘 要： | 针对基于粗糙集理论的决策信息系统的特点,引入属性常量作为基本符号,对命题模态逻辑进行扩展,给出了扩展命题模态逻辑形式系统及其相关语义描述,说明每个基于粗糙集理论的决策信息系统均可通过扩展命题模态逻辑语义来表示.本文证明了基于扩展命题模态逻辑语义的决策信息系统表示定理,并给出了语义模型中对象的逻辑描述,特别是对基于等价关...
|
| 关 键 词： | 模态逻辑 扩展命题模态逻辑 Kripke语义 粗糙集 决策信息系统 |
Representation of the decision information system based on semantics of extended propositional modal logic |
| |
| Zhang Xiaoru,Zhang Zaiyue.Representation of the decision information system based on semantics of extended propositional modal logic[J].Journal of Jiangsu University of Science and Technology:Natural Science Edition,2011,25(1):68-73. |
| |
| Authors: | Zhang Xiaoru Zhang Zaiyue |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
