暂无评论
论文研究-决策支持系统中的不精确推理研究.pdf,
系统Hα是一个带有参数的系统，将参数α赋予不同的值，将会得到不同的多值逻辑系统。论文研究了多值逻辑系统Hα中的子代数理论，讨论了该系统子代数的特征及相关性质，为系统Hα的进一步研究奠定了基础。
针对基于信息熵和基于欧氏距离的免疫算法存在的不足，提出了一种改进的免疫算法。该算法重新定义了浓度的计算方法，提出一种新的保持抗体群多样性的策略，在将其应用在中国旅行商问题（CTSP）的求解中，具体针对
基于本体的语义推理实例研究，岳笑峥，，作为下一代Web基础的本体正在被越来越多的人关注，本文首先介绍了本体的概念、描述语言及构建方法，然后在热门的本体编辑器Protégé
为解决自动信任协商过程中协商策略的效率问题，提出了一种采用基于案例推理技术的自动信任协商策略。可管理性概念的基础上，设计出可管理的协商策略，优化了协商处理能力。该策略具有较小的网络开销，较高的安全性等
如何将智能方法和智能技术与案例推理集成来提高案例推理的性能是专家系统研发的一个重要课题。随着计算机科学的飞速发展，智能方法与智能技术与案例推理的集成呈现了新特点。针对近几年案例推理与智能方法和智能技术
对RoughSet理论中属性域约简、决策表及Rough算子等问题进行了研究，分析了RoughSet理论与模糊集理论及证据理论的关系，着重对基于RoughSet理论的推理机制进行了研究。
推理方式及其分类 模式匹配及其变量代换 自然演绎推理基础 谓词公式化为子句集的方法 归结演绎推理 海伯伦理论 鲁宾逊归结原理 归结反演 基于归结反演的问题求解 归结反演策略 与/或形正向演绎推理 与/
首先引入直觉模糊集下的模糊蕴涵算子运算方法，设计应用直觉模糊蕴涵算子的直觉模糊推理机模型的设计，阐述模型的运行机理，通过实例验证直觉模糊推理机模型的有效性和正确性。提出选择模糊蕴涵算子的贴近度法，在具
提出通过测试来证明安全协议的方法。以NS和NSL协议为例，首先将协议形式化为事件序列，协议的性质可以表示为序列上的性质。协议的完整运行可以系统地生成，因此，协议的性质可以系统地测试。形式化和测试在函数
暂无评论