| 决策逻辑的图论模型 |
| |
| 引用本文： | 曹发生,张家锋,黄飞丹,聂登国.决策逻辑的图论模型[J].毕节师范高等专科学校学报,2014(8):8-12. |
| |
| 作者姓名： | 曹发生 张家锋 黄飞丹 聂登国 |
| |
| 作者单位： | 毕节学院逻辑与文化研究中心,贵州毕节551700 |
| |
| 基金项目： | 贵州省科技厅、毕节市科技局、毕节学院科技联合基金资助项目基于格值逻辑的自动推理方法研究成果之一,项目编号：黔科合J字LKB[2012]02号; 量子自动机的状态复杂性成果之一,项目编号：黔科合J字LKB[2012]10号; 轻量级描述逻辑的保守扩充成果之一,项目编号：黔科合J字LKB[2013]23号 |
| |
| 摘 要： | 通过定义二部图上的几个操作运算,利用图论理论提出决策逻辑的一种模型,并证明了它和框架语义模型的等价性。最后研究了决策逻辑系统的粗糙性的语义。
|
| 关 键 词： | 决策逻辑 粗糙集 语义 |
The Graphical Semantics of Decision Logic |
| |
| CAO Fa-sheng,ZHANG Jiaf-eng,HUANG Fei-dan,NIE Deng-guo.The Graphical Semantics of Decision Logic[J].Journal of Bijie Teachers College,2014(8):8-12. |
| |
| Authors: | CAO Fa-sheng ZHANG Jiaf-eng HUANG Fei-dan NIE Deng-guo |
| |
| Institution: | ( Center for Logic, Language and Cognition, School of Science, Bijie Uniersity, Bijie, Guizhou 551700, China) |
| |
| Abstract: | Based on graph,we present a semantics of decision logic by defining operator on bipartite graph, then verify the equivalence of the semantics and frame semantics. Finally, we study the rough semantics of decision logic. |
| |
| Keywords: | Decision Logic Rough Set Semantics |
| 本文献已被 维普 等数据库收录！ |
|
