粒及粒计算在逻辑推理中的应用 被引量：62

1

作者 刘清 刘群 《计算机研究与发展》 EI CSCD 北大核心 2004年第4期546-551,共6页

讨论了信息粒的结构及其实例 基于Rough集方法定义了决策规则粒 ,构造了决策规则粒库 ,它被用作逻辑推理 定义了粒语言 ,描述了这种语言的语法、语义、粒语句的运算法则和粒之相关的几个性质 定义了粒之间的相互包含(inclusion)和相似... 讨论了信息粒的结构及其实例 基于Rough集方法定义了决策规则粒 ,构造了决策规则粒库 ,它被用作逻辑推理 定义了粒语言 ,描述了这种语言的语法、语义、粒语句的运算法则和粒之相关的几个性质 定义了粒之间的相互包含(inclusion)和相似 (closeness) 基于这些概念 ,构造了一种逻辑推理的新模型 这种推理模式的特点在于它既是逻辑的又是集合论的 所谓逻辑的就是说推理是遵循一种逻辑运算 ;所谓集合论的是指这种推理可利用对应于这种逻辑公式的意义集的运算进行推理 。 展开更多

关键词 信息粒 粒语言 粒计算 粒包含 粒相似

在线阅读 下载PDF 职称材料

基于博弈分析的电子商务自动协商系统 被引量：4

2

作者 胡军 曹元大 管春2 《计算机工程》 CAS CSCD 北大核心 2004年第3期56-57,176,共3页

为提高基于拍卖机制的电子商务自动协商系统效率,该文以非合作博弈论为基础提出了基于博弈分析的自动协商Agent模型及基于拍卖机制和博弈分析的自动投标协商算法,实现了一个基于拍卖机制和博弈分析的电子商务自动协商原型系统,并应用在... 为提高基于拍卖机制的电子商务自动协商系统效率,该文以非合作博弈论为基础提出了基于博弈分析的自动协商Agent模型及基于拍卖机制和博弈分析的自动投标协商算法,实现了一个基于拍卖机制和博弈分析的电子商务自动协商原型系统,并应用在一个企业敏捷供应链管理系统中实现自动协商交易。 展开更多

关键词 电子商务 自动协商 博弈分析 智能体

在线阅读 下载PDF 职称材料

基于粒度矩阵的非协调信息系统知识挖掘

3

作者 徐健锋 刘斓 胡然 《计算机工程与科学》 CSCD 北大核心 2010年第11期89-91,123,共4页

非协调信息系统的知识挖掘是传统数据挖掘方法实践的难点和最重要的研究方向之一。本文在经典粗糙集理论的基础上进行粒计算结构的设计与相应的计算模型研究,提出了基于上述理论的粒度矩阵非协调信息系统知识挖掘方法。首先定义了保留... 非协调信息系统的知识挖掘是传统数据挖掘方法实践的难点和最重要的研究方向之一。本文在经典粗糙集理论的基础上进行粒计算结构的设计与相应的计算模型研究,提出了基于上述理论的粒度矩阵非协调信息系统知识挖掘方法。首先定义了保留冗余数据的粒度矩阵、决策规则的协调度算法,以及基于可控协调度的粒度矩阵的可导度计算方法,其次在该研究基础上设计了非协调信息系统的属性约简算法和属性值约简算法。最后的仿真实验和初步的企业应用验证了算法对非协调信息处理的鲁棒性和可用性。本研究为非协调信息系统的知识挖掘提供了一个有效的粒计算模型。 展开更多

关键词 粗糙集 信息粒 粒计算 矩阵

在线阅读 下载PDF 职称材料

Rough逻辑及其在数据约简中的应用 被引量：54

4

作者 刘清 刘少辉 郑非 《软件学报》 EI CSCD 北大核心 2001年第3期415-419,共5页

讨论了被定义在邻域值决策表上的 Rough逻辑及其公式的真值 ,它在数据约简中的应用比 Pawlak定义的决策表上的决策逻辑更加广泛 .目前常用的数据约简方法有 Pawlak的数据分析和 Skowron的分明矩阵法 .前者是非形式的 ,不易机械化 ;而后... 讨论了被定义在邻域值决策表上的 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集 决策逻辑 人工智能

在线阅读 下载PDF 职称材料

Rough集理论:现状与前景 被引量：34

5

作者 刘清 黄兆华 姚力文 《计算机科学》 CSCD 北大核心 1997年第4期1-5,共5页

经典逻辑中只有真、假二值,但实际上有大盆含糊现象存在于宾和假二值之间,因此,长以来许多逻辑学家和哲学家就致力于研究含糊概念。早在1904年谓词逻辑的创始人G.

关键词 ROUGH集理论 计算机理论 人工智能

在线阅读 下载PDF 职称材料

贝叶斯网络在战术态势评估中的应用 被引量：21

6

作者 王三民 王宝树 《系统工程与电子技术》 EI CSCD 北大核心 2004年第11期1620-1623,1679,共5页

首先提出了一种新的战术态势评估的定义,即战术态势评估是对特定战场环境中敌方、我方、中立方所具有的各种战斗力要素的当前状态的描述和未来发展趋势的预测。接着介绍了空-地战中红方飞机与蓝方导弹阵地的对抗场景,在此基础上建立了... 首先提出了一种新的战术态势评估的定义,即战术态势评估是对特定战场环境中敌方、我方、中立方所具有的各种战斗力要素的当前状态的描述和未来发展趋势的预测。接着介绍了空-地战中红方飞机与蓝方导弹阵地的对抗场景,在此基础上建立了红方飞行员通过机载电子装备的状态判断蓝方高射武器的型号和状态的贝叶斯网络,然后运用所建立的网络动态演示了在空-地战中态势评估的内容和结果,最后讨论了在战术态势评估中运用贝叶斯网络的若干问题。 展开更多

关键词 数据融合 态势评估 贝叶斯网络 空-地战

在线阅读 下载PDF 职称材料

基于XML扩展的Agent通信语言实现 被引量：2

7

作者 胡军 章秀英 管春 《南昌大学学报（理科版）》 CAS 北大核心 2005年第5期508-510,共3页

KQML作为一种重要的Agent通信语言,其常用的内容层知识交换语言KIF表示能力存在不足,不能充分表达复杂语义信息。本文提出采用XML扩展KQML通信语言,以增强KQML表达复杂语义的能力,并给出了详细的实现步骤。

关键词 XML KQML AGENT

在线阅读 下载PDF 职称材料

算子Rough逻辑及其归结原理 被引量：9

8

作者 刘清 《计算机学报》 EI CSCD 北大核心 1998年第5期476-480,共5页

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

关键词 ROUGH集 算子Rough逻辑 归结原理 计算机

在线阅读 下载PDF 职称材料

面向对象程序流程框图方法的研究 被引量：2

9

作者 胡军 管春 《南昌大学学报（理科版）》 CAS 北大核心 2002年第3期285-289,共5页

在传统的结构程序设计方法和理论的基础上 ,分析了面向对象程序设计 (OOP)技术的优点和缺点 ,提出了一种面向对象程序流框图的新方法 ,并定义了一套符号体系 ,用以说明面向对象程序结构 ,提高面向对象程序的可读性及可描述性。

关键词 面向对象程序设计 流程框图 结构化程序设计 程序结构 程序设计方法 对象属性

在线阅读 下载PDF 职称材料

求解组合拍卖NP问题的遗传算法 被引量：5

10

作者 管春 胡军 《微计算机信息》 北大核心 2006年第06X期194-195,198,共3页

多智能体系统采用多件物品组合拍卖协商协议能高效地实现组合资源及多任务的分配,但在传统组合拍卖协商协议中拍卖方选择买方以实现最大赢利的过程是一个NP问题,本文提出了利用改进的遗传算法来求解该NP问题的新方法,并应用于一个企业... 多智能体系统采用多件物品组合拍卖协商协议能高效地实现组合资源及多任务的分配,但在传统组合拍卖协商协议中拍卖方选择买方以实现最大赢利的过程是一个NP问题,本文提出了利用改进的遗传算法来求解该NP问题的新方法,并应用于一个企业供应链管理的自动协商交易系统中。实验表明,该算法具有较优的性能。 展开更多

关键词 遗传算法 多件物品组合拍卖 协商协议

在线阅读 下载PDF 职称材料

基于拍卖博弈的电子商务自动协商 被引量：3

11

作者 胡军 管春 《微计算机信息》 北大核心 2006年第10X期117-119,共3页

为提高电子商务自动协商系统效率,本文以拍卖博弈理论为基础,提出并实现了一种基于拍卖博弈的自动协商Agent模型,并在此基础上实现了一个基于拍卖博弈的电子商务自动协商原型系统,应用于一个企业敏捷供应链管理系统中实现自动协商交易。

关键词 电子商务 自动协商 拍卖博弈 智能体

在线阅读 下载PDF 职称材料

基于人工神经网络改进的Delphi法 被引量：3

12

作者 管春 胡军 《微计算机信息》 北大核心 2006年第10X期171-173,共3页

采用传统Delphi方法进行决策、预测时,成员权重主要根据成员的经历、职务、年龄和自我评定等情况来确定,易导致加权平均值及方差计算不准确,影响Delphi法的精度和效率。为提高传统Delphi法的精度和效率,本文在基于BP神经网络的加权平均... 采用传统Delphi方法进行决策、预测时,成员权重主要根据成员的经历、职务、年龄和自我评定等情况来确定,易导致加权平均值及方差计算不准确,影响Delphi法的精度和效率。为提高传统Delphi法的精度和效率,本文在基于BP神经网络的加权平均值计算模型基础上,提出了基于BP神经网络的改进Delphi法。改进的Delphi法使成员权值分配与其决策预测结果直接相关,减少了人为不正确因素对权值分配的影响。该方法已被应用于股票上市公司经营业绩综合评价排序,通过与传统Delphi法应用对比,证实了改进的Delphi法具有较高的计算精度和效率。 展开更多

关键词 DELPHI方法 人工神经网络 计算模型

在线阅读 下载PDF 职称材料

基于Rough集的模态逻辑及其近似推理

13

作者 刘清 《计算机应用与软件》 CSCD 1999年第4期6-13,45,共9页

本文在Rough集上定义模态逻辑。并将这种逻辑的真值解释在Rough集上,使得古典模态逻辑的必然和可能真值统一为Roughly真值。文章还阐述了这种真值在近似推理中的应用。

关键词 ROUGH集 模态逻辑 近似推理 人工智能

在线阅读 下载PDF 职称材料

DOS环境下多定时任务处理的实现 被引量：1

14

作者 李飞龙 《南昌大学学报（理科版）》 CAS 1997年第3期206-211,共6页

讨论在ＤＯＳ环境下多个定时任务处理的实现，给出了扩充定时中断功能的方法，实践证明是可行的。

关键词 DOS 定时任务 中断链接 操作系统

在线阅读 下载PDF 职称材料

基于Java的远程应急群体决策支持系统方案传输系统的实现 被引量：1

15

作者 管春 胡军 《系统工程理论方法应用》 2003年第1期68-71,共4页

针对群体决策支持系统 ( GDSS)传统的群件通信产品速度慢、难以集成的不足 ,借助 Java在网络编程方面的优势 ,提出了基于 Java和 Internet的异地远程应急 GDSS的结构以及基于 Client/Server方式的异地远程应急 GDSS方案传输系统的程序... 针对群体决策支持系统 ( GDSS)传统的群件通信产品速度慢、难以集成的不足 ,借助 Java在网络编程方面的优势 ,提出了基于 Java和 Internet的异地远程应急 GDSS的结构以及基于 Client/Server方式的异地远程应急 GDSS方案传输系统的程序流程图 ,并用 展开更多

关键词 JAVA语言 群体决策支持系统 应急决策 计算机网络技术 通信速度

原文传递