国家自然科学基金(69773001)
- 作品数：5 被引量：109H指数：3
- 相关作者：刘清郑非刘少辉江娟更多>>
- 相关机构：南昌大学更多>>
- 发文基金：国家自然科学基金江西省自然科学基金更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 相信逻辑公式的影响范围与概率逻辑公式的概率被引量：1
- 2000年
- 影响范围计算 (IncidenceCalculus)理论主要是用来解决纯数值不精确推理中固有的各种难题。它具有纯数值机制所缺乏的许多优点 ,如它能表示命题间的独立性 ,具有真值函数性 ,而数值机制却不具有这些特点。
- 江娟刘清
- 关键词：概率逻辑
- 多Agent系统中基于Rough集的推理被引量：13
- 2000年
- 定义了多 Agent系统中的推理模型 .建立了在该模型下的 Rough集和基于 Rough集方法的 Rough包含计算或称集合连接计算 .在知识发现和数据挖掘中 ,集合之间往往不是给出它们的相等性 ,而是讨论它们之间的Rough包含或连接 .因为在不同的 Agent中集合之间关系的精确和一致解释往往是不容易获得的 .一般说来 ,一条基于决策表上的规则 ,满足前提公式个体的集合包含于满足结论公式个体的集合常常是用一种支持值和信赖系数来说明 Rough包含或连接的程度 .在分布式环境中多 Agent的情况下计算 Rough包含或连接的程度常常要求提供一个多 Agent之间互学习的界面 ,所以定义了一个多 Agent系统下的推理模型或称近似空间 ,它就是被用作互学习和计算的界面 ,因此在界面上定义了一种合成运算和包含程度计算 .从而可以实现在分布式环境下 ,由多 A-gent互相协作完成可定义集合的近似和集合之间的 Rough包含或连接程度的计算 .最后 ,通过实例说明了在分布式环境下 ,多
- 刘清
- 关键词：多AGENT系统ROUGH集人工智能
- Rough逻辑及其在数据约简中的应用被引量：93
- 2001年
- 讨论了被定义在邻域值决策表上的 Rough逻辑及其公式的真值 ,它在数据约简中的应用比 Pawlak定义的决策表上的决策逻辑更加广泛 .目前常用的数据约简方法有 Pawlak的数据分析和 Skowron的分明矩阵法 .前者是非形式的 ,不易机械化 ;而后者虽说直观、易理解 ,但还要求生成一个分明矩阵的中间环节 ,从而造成时空上的不必要的开销 .采取一边从邻域值决策表关于属性值邻域是分明的属性并构成邻域分明合取范式 ,一边做这种逻辑公式的等价变换直接得到邻域值决策表的诸多约简 .由于不用生成分明矩阵的中间环节 ,这样便节省了空间和时间 ,提高了运行效率 .对此 ,对拥有 6个属性 (4个条件和两个决策属性 )以及 10 2个个体的一致决策表或邻域值决策表进行处理并生成了约简的决策规则 .用两种不同方法在 P 2 33/ 6 4 M的微机上用 DELPHI3.0分别对它们进行约简并得到相同的结果 ,采用一边从表中提取公式一边做约简的方法 ,所用时间约 1分 54秒 ;而用分明矩阵法却耗去 1分 55秒 .由于增加了一个数组 (分明矩阵 ) ,便增加了空间复杂度 O(m× n2 ) ,其中 m为属性数 ,n为个体数 ,随着属性数和个体数的增加 ,所占的空间和时间也将急剧增加 .可见 ,从空间和时间消耗上来看 ,这两种方法的优劣是十分明显的 .
- 刘清刘少辉郑非
- 关键词：数据约简ROUGH集决策逻辑人工智能
- 邻域值信息表上的邻域逻辑及其数据推理被引量：16
- 2001年
- 引入了一种基于邻域值信息表的邻域逻辑 ,它是用邻域拓扑内点和邻域拓扑闭包作为逻辑算子的一种逻辑 .其内点和闭包是先经二元关系定义了邻域系统 ,然后用这种邻域系统来定义它 .这种逻辑被定义在信息表上 ,其表上的每个个体关于属性不是取单独一个值 ,而是扩充到取一个值的邻域 .公式的真值被扩充为一个区间或邻域 ,因此讨论一个公式可满足性的三种类型 :邻域内点可满足、邻域闭包可满足和邻域可满足 ,即将公式的真值扩充为多值 ,并讨论了这种真值关于逻辑联结词的运算和公式的语义模型 .最后还给出了这种逻辑的数据推理 .
- 刘清
- 关键词：数据推理专家系统ROUGH集
- 基于Rough集的模态逻辑及其近似推理被引量：3
- 1999年
- 本文在Rough集上定义模态逻辑。并将这种逻辑的真值解释在Rough集上,使得古典模态逻辑的必然和可能真值统一为Roughly真值。文章还阐述了这种真值在近似推理中的应用。
- 刘清
- 关键词：ROUGH集模态逻辑人工智能
