国家自然科学基金(60173054)
- 作品数：15 被引量：157H指数：4
- 相关作者：刘清刘斓邓大勇邱桃荣费颖更多>>
- 相关机构：南昌大学南昌工程学院重庆邮电学院更多>>
- 发文基金：国家自然科学基金江西省自然科学基金江西省教育厅科学技术研究项目更多>>
- 相关领域：自动化与计算机技术理学电气工程环境科学与工程更多>>
- G-逻辑及其归结推理被引量：41
- 2004年
- 该文提出了一种粒 逻辑 ,简记为G 逻辑 ,并构造了这种逻辑的近似推理系统 ,定义了G 公式、G 子句和G 文字 ,提出了这种逻辑的G 归结方法 .G 归结的完备性定理也被证明了 .这种逻辑公式的结构是有序二元对 ,第一元是断言 ;第二元是对应于这个断言的可定义集或不可定义域集的近似集 .这种逻辑是定义在信息系统IS =(U ,A)上 ,所以其公式中的个体变量被赋予U上的实体 .公式中的命题或谓词被解释为属性集A上的属性 ,因此命题或谓词的意义集是U上的一个子集、属性及其意义集一起构成的二元对 ,被称做一个基本粒 (granule) .而这种基本粒被当做这种逻辑中的一个G 原子 ,用G 逻辑联结词组合这些G 原子便得到这种逻辑中的G 公式 .公式的可满足性是其相应断言的意义集不空 .当这种公式的定义域集不可定义时 ,则可将它移到其定义域集的Rough下和上近似集上去讨论 .G 逻辑的提出为经典逻辑的应用开辟了新途径 ,也为处理非规范知识提供了较好的理论工具 .G 逻辑的运算涉及整体到局部的分解和局部到整体的合并 ,以此提供了AI中问题求解的新思路 .G 逻辑也是Rough逻辑的新扩充 ,其真值概念及其运算都不同于经典逻辑 ,也不同于其它非标准逻辑 .这种逻辑中的演算既是逻辑的 ,又是集合论的 .于是当处理真值及其运算时适合?
- 刘清黄兆华
- 关键词：信息粒粒计算
- 粒计算研究现状及基于Rough逻辑语义的粒计算研究被引量：31
- 2008年
- 综述了粒计算的提出背景、研究现状及其发展趋势,也给出了作者的评论;论述了粒计算应用的广泛性,包括AI中的图像检索、医学诊疗系统、连续数学中的积分学及其它许多逻辑推理等方面的应用.讨论了粒计算将有希望成为处理信息和研究其它学科的理论工具和方法学.讨论了粒计算中基于Rough逻辑语义的粒及其相关性质,建立了这种粒的演绎推理.提出了基于Rough逻辑语义的粒归结原理和归结策略,包括λ-归结策略和锁归结策略.证明了这种粒归结的完全性.基于Rough逻辑语义的粒在AI的问题求解、专家系统以及机器定理证明中都将成为一种新的研究思想和新的理论工具.最后,提出了这种基于Rough逻辑语义的粒计算研究前景.
- 刘清孙辉王洪发
- 关键词：粒计算
- 带时态算子和H、L算子的Rough逻辑
- 2003年
- 将线性时态逻辑和带H、L算子的Rough逻辑结合起来,提出了带时态算子和H、L算子的Rough逻辑模型,从而使逻辑由一维变成了二维.
- 邓大勇马丽刘清
- 关键词：ROUGH集时态逻辑模态逻辑
- 粒结构关联度算法在专业辅助选择系统中的应用
- 2009年
- 本科生入学后均有具体专业的二次选择的机会。建立一套面向大学二年级本科生院内具体专业方向的二次选择的科学辅助评价系统软件,辅助他们较科学地选择正确的专业方向,具有重要的实际意义。该系统广泛研究当代相关的评测理论并且结合本专业特点,建立了一套面向计算机专业大学生的评价体系。针对上述评价体系信息系统,提出了将信息粒度思想与关联规则算法相结合的粒结构关联度算法。基于上述理论研究,研发和实现了一套二次专业方向辅助选择系统。实际应用表明,该系统具有新颖性、可用性和较好的应用价值。
- 徐健锋刘斓方茁刘清
- 关键词：信息粒关联规则
- 基于粒计算的数据分片算法被引量：4
- 2007年
- 提出了一种基于粒计算的数据分片模型及算法,该算法在优先考虑数据本地化的基础上,可动态调整全集划分的粗细,将全集划分的数据分片的数量调整到一个比较合理的状态,既能减少网络流量、降低整个分布式系统开销,同时又控制了数据分片数量,减少了数据连接工作量,从而提高系统效率。
- 吴润秀吴水秀刘清
- 关键词：粒计算数据分片数据分布
- A Granular Computing Approach to Knowledge Discovery in Relational Databases被引量：3
- 2009年
- QIU Tao-RongLIU QingHUANG Hou-Kuan
- 关键词：关系数据库自动化系统计算方法
- 基于偏序关系的Rough集模型及其应用被引量：2
- 2006年
- 在标准Rough集理论的指导下,利用偏序关系性质构造了不同分类,并以此为基础探讨了上、下近似集,从而构建了基于偏序关系的Rough集模型。新模型将Rough集理论的应用范围由等价关系扩展到偏序关系。为了更好地增强模型的实用性和灵活性,一方面从程度、精度、概率等角度出发分别对其进行了扩展,另一方面引入依赖度使其适用于研究各种非严格的偏序关系。给出了实例分析,并结合现实生活中的现象阐述了模型的应用价值。
- 费颖王黔英周辉袁芳章胜江
- 关键词：ROUGH集偏序关系依赖度
- 粒及粒计算在逻辑推理中的应用被引量：84
- 2004年
- 讨论了信息粒的结构及其实例 基于Rough集方法定义了决策规则粒 ,构造了决策规则粒库 ,它被用作逻辑推理 定义了粒语言 ,描述了这种语言的语法、语义、粒语句的运算法则和粒之相关的几个性质 定义了粒之间的相互包含(inclusion)和相似 (closeness) 基于这些概念 ,构造了一种逻辑推理的新模型 这种推理模式的特点在于它既是逻辑的又是集合论的 所谓逻辑的就是说推理是遵循一种逻辑运算 ;所谓集合论的是指这种推理可利用对应于这种逻辑公式的意义集的运算进行推理 。
- 刘清刘群
- 关键词：信息粒粒计算
- 带Rough相等关系词的Rough逻辑系统及其推理被引量：10
- 2003年
- 以公式的定义域集的下和上近似分别相等方法 ,定义了两个Rough逻辑公式Rough相等 ,并以此定义了Rough相等关系词“ =R” ,它不仅比等值词“ ”运算有更多的直观性 ,而且既考虑了可定义的公式 ,也包含了那些在边界线上不可定义或可能可定义的公式 .所以 ,经典逻辑中的隐含式 φ→ ψ被移至Rough逻辑中应当解释为R (d(φ) ) R (d(ψ) )∧R (d(φ) ) R (d(ψ) ) .经典逻辑中的等值式 φ ψ被移至Rough逻辑中应当解释为R (d(φ) ) =R (d(ψ) )∧R (d(φ) ) =R (d(ψ) ) ,其中d(F)是公式F的定义区域 ,它可能是可定义集 ,也可能是不可定义集或Rough集 .这是Rough逻辑与经典逻辑或其它非标准逻辑的重要区别之一 ,将这种Rough相等词“ =R”引入Rough逻辑中 ,因而得到了一些相关的性质和相关的推理规则 .文中建立了带Rough相等关系词“ =R”的Rough逻辑推理系统 。
- 刘清郑非江娟刘斓
- 关键词：知识表示人工智能粗糙集理论
- 覆盖Rough集及其隶属函数
- 2002年
- 从覆盖的角度重新定义了Rough集,并用一种新的、从邻域的角度重新定义了隶属函数,得到了与Pawlak与Rough集隶属函数的一些不同的性质,而且隶属函数的意义也与Pawlak的Rough集隶属函数的意义有所不同.
- 邓大勇黄田耕刘清
- 关键词：ROUGH集隶属函数
