带时态算子和H、L算子的Rough逻辑  

A Rough Logic Model with Temporal Operators and H、L Operators

作　　者：邓大勇[1] 马丽[1] 刘清[1] 

机构地区：[1]南昌大学计算机与信息科学学院,江西南昌330029

出　　处：《南昌水专学报》2003年第1期1-5,共5页Journal of Nanchang College of Water Conservancy and Hydroelectric Power

基　　金：国家自然科学基金资助项目(60173054)

摘　　要：将线性时态逻辑和带H、L算子的Rough逻辑结合起来,提出了带时态算子和H、L算子的Rough逻辑模型,从而使逻辑由一维变成了二维.In this paper we combine tempora l logic with Rough logic with H?L operator,and present a Rough logic model with temporal operators and H?L operators so that logic extends fro m one dimension to two dimen-sions.

关 键 词：ROUGH集 H、L算子 时态逻辑 模态逻辑 

分 类 号：O144.5[理学—数学]