位置：成果数据库 > 期刊 > 期刊详情页
算子Rough逻辑及其归结原理
  • ISSN号：0254-4164
  • 期刊名称：《计算机学报》
  • 时间：0
  • 分类：TP301[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术]
  • 作者机构：南昌大学计算机科学与工程系,南昌330029
  • 相关基金：国家自然科学基金!69773001;江苏省自然科学基金!961111
作者： 刘清
关键词： ROUGH集, 算子Rough逻辑, 归结原理, 计算机
中文摘要：

本文基于Rough集理论定义了算子η及其合成运算，并用它作用于Rough逻辑公式，从而得到了带算子的Rough逻辑．讨论了这种逻辑公式的真值、语义模型、性质、归结原理及完备性定理和它的证明．

同期刊论文项目
算子Rough逻辑及其在数据发掘上应用的研究
期刊论文 3
同项目期刊论文
从Rough集的发展前景看粒计算的研究趋势
基于Rough集的模态逻辑及其近似推理
期刊信息
  • 《计算机学报》
  • 北大核心期刊（2011版）
  • 主管单位:中国科学院
  • 主办单位:中国计算机学会 中国科学院计算技术研究所
  • 主编：孙凝晖
  • 地址：北京中关村科学院南路6号
  • 邮编：100190
  • 邮箱：cjc@ict.ac.cn
  • 电话：010-62620695
  • 国际标准刊号：ISSN：0254-4164
  • 国内统一刊号：ISSN：11-1826/TP
  • 邮发代号:2-833
  • 获奖情况:
  • 中国期刊方阵“双效”期刊
  • 国内外数据库收录:
  • 美国数学评论（网络版）,荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:48433