程度上下近似算子的逻辑差运算模型

基于程度的逻辑差需求,提出了程度上下近似算子的逻辑差运算模型.在该模型中,研究了程度上下近似算子的逻辑差运算的本质、基本结构与性质,提出了宏观算法与结构算法,进行了算法分析与比较,得到了结构算法比宏观算法更具优势的结论.最后用实例对程度上下近似算子的逻辑差运算模型及其算法进行了说明.程度上下近似算子的逻辑差运算模型,对粗糙集模型的理论发展与量化应用具有意义.     

挖掘新理论 拓展新应用——哈尔滨工程大学莫宏伟教授之人工智能研究

时至今日．互联网信息技术革命对生产力的带动作用已渐趋强弩之末．下一次生产力飞跃的突破口在哪里？越来越多的科学家都把希望寄托于人工智能，他们认为人工智能将带来一次史无前例的技术革命。     

人工智能技术在电气自动化控制中的应用

随着现代社会科学技术与经济的不断飞速发展,越来越多的先进科学技术开始应用到生产生活中。在电气自动化控制中引进人工智能技术对于电气设备的设计与应用起到了很大的促进作用。电气自动化控制技术能够使生产、流通、交换、分配等关键操作环节实现自动化,这就大大的节省了人力资本投入,极大地提高了运作效率。本文就人工智能技术在电气自动化控制中的主要应用进行细致的分析和阐述,以供大家交流和学习。     

融合人工智能的图书馆资源建设问题反思

以乐山师范学院为例,应用人工智能的方法研究了图书馆资源建设利用现状和存在的问题,并采用机器学习理论对乐山师范学院图书馆读者伸长特性构建模型,为高校图书馆的管理和建设提供指导。     

减速器设计专家系统中知识库的构造

本文首先简单介绍了通用减速器设计专家系统——ICADGR的结构,然后着重讨论了该系统知识库(包括领域知识库和元知识库)的构造。最后指出知识、特别是其中的无知识(meta-knowledge),在问题求解和人类知识活动中的核心作用。     

Horn子句逻辑程序的Petri网模型

Horn 子句逻辑程序 H 可以逻辑等价地转化为 Petri 网模型 M,在 M 中从初始标识 N_0到目标变迁/g(?)形成的发射序列对应着求解 H 的调用序列,在 M 中存在变迁不变式 X≥(?),并且 X(tg)≠0是 H 有解的充要条件。     

专家系统规则启发式划分和并行推理

本文提出了一个启发式规则划分办法并分析了并行规则推理的代价,设规则集合被划分为π=(π_1,π_2,…,π_k),则对于任何一个规则R_i∈π_i,在π_(i-1)中至少有某个R_i,R_i与R_i在某种代换下相关,如果串行推理对规则进行一次遍历所费时间代价为C,对于同样规则划分π进行多处理机或进程并行推理一遍遍历代价至多为C′,C′≤(k/~#R)C。其中~#R是规则集合R的基数,同时给出一个实例和推理代价的实验数据。     

模糊缺省推理的理论和方法研究

在一种含有补余律的模糊抽象代数系统（即ＦｕｚｚｙＢｏｏｌｅ代数）上，利用模糊逻辑公式与布尔函数的相互转换性，构造了具有模糊非单调推理能力的推理机制；从可应用性出发对模糊缺省规则进行了深入的讨论。该推理机制不仅增加了在量的描述方面的知识表达能力，而且在一定程度上解决了扩张存在性问题，提高了推理的效率。     

计算机人工生命

计算机人工生命ＡｒｔｉｆｉｃｉａｌＬｉｆｅ￥／／胡瑞安，胡纪阳，徐树公（中科院计算所ＣＡＤ开放实验室，华中理工大学武汉４２００７４）一、什么是人工生命人下牛命（ＡｒｔｉｆｉｃｉａｌＬｉｆｅ，简称Ａ—Ｌｉｆｅ）是８Ｏ年代后期国外开始兴起的新的学科领域，...