决策逻辑的图论模型  

The Graphical Semantics of Decision Logic

作　　者：曹发生[1] 张家锋[1] 黄飞丹[1] 聂登国[1] 

机构地区：[1]毕节学院理学院逻辑与文化研究中心,贵州毕节551700

出　　处：《毕节学院学报（综合版）》2014年第8期8-12,共5页Journal of Bijie University

基　　金：贵州省科技厅;毕节市科技局;毕节学院科技联合基金资助项目基于格值逻辑的自动推理方法研究成果之一;项目编号:黔科合J字LKB[2012]02号;量子自动机的状态复杂性成果之一;项目编号:黔科合J字LKB[2012]10号;轻量级描述逻辑的保守扩充成果之一;项目编号:黔科合J字LKB[2013]23号

摘　　要：通过定义二部图上的几个操作运算,利用图论理论提出决策逻辑的一种模型,并证明了它和框架语义模型的等价性。最后研究了决策逻辑系统的粗糙性的语义。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.

关 键 词：决策逻辑 粗糙集 语义 

分 类 号：B81[哲学宗教—逻辑学]