基于案例的推理技术在自动答疑系统中的应用

自动答疑系统是人们从网络获取信息的重要辅助工具。将基于案例的推理技术引入传统的自动答疑系统，并结合用户交互机制，提出了一种基于案例推理的交互式自动答疑引擎。该引擎通过对问题关键字的描述来触发案例，并根据它们与问题的关联程度进行排序；同时，利用交互机制从用户端获得反馈并及时有效地对关键字的权重进行修正，提高了答疑的准确性。此外，对传统二层案例结构进行了三层扩展，提高了系统的可扩展性和易维护性。     

案例推理和规则推理相结合的农业专家系统的研制

简要介绍了基于规则推理建立传统专家系统中遇到的一些问题，同时对基于案例推理的方法进行简单描述，提出了将两者相结合的农业专家系统，设计了该专家系统的整体结构图和工作流程，并对实现系统的部分关键技术进行探讨和构想；最后以马铃薯病害决策为例介绍了系统的工作步骤，验证了以此提高求解问题的可靠性，增强了系统在实际应用中的适用性。     

T^＊系统的半对偶形式系统ST^—＊

研究了模糊命题演算的形式演绎系统T^*和修正的Kleene逻辑系统W^-,W,Wk及R0－代数,给出了T^* 系统的半对偶形式系统ST^－＊;与交推理规则相对应,引入并推理规则,证明了T^*系统和ST^-*系统的等价性。为形式演绎系统的研究和应用提供了一个有益的途径。     

一种新的基于假设的自然推理系统

本文在介绍自动定理证明的历史和分析自然推理研究的现有成果的基础上,提出了用以实现启发式自然推理系统HNDS的确定性推理算法。并设计了用作推理基本手段的假设机制。本系统采用知识库系统的软件结构,面向标准形式的命题逻辑和一阶谓词逻辑,对系统定理能给出清晰的类人证文过程。HNDS系统基于的推理算法理论上是合理的和完备的,这主要因为系统结合了自然推理与消解原理,并首创了量词逐层Skolem化的策略。     

基于模糊神经推理的人脸识别算法研究

提出了一种基于模糊神经推理的人脸识别算法,并对该系统的性能进行了分析研究.文中特征提取模块采用了基于子图分割的奇异值分解算法,并在此基础上以ORL数据库为实验数据,研究了不同子图分割方式对模糊神经推理系统的性能影响,并验证了本文算法的有效性.     

智能化系统的有机组合推理及优化

智能化系统中推理是其中的重要组成部分，推理算法决定了系统智能化水平的高低。针对智能化系统的推理，利用专家系统推理、模糊逻辑推理、神经网络推理的互补性，提出了由专家系统、模糊逻辑、神经网络有机结合构成的组合推理及优化的技术，充分发挥各个推理的优势和克服单一推理的不足。采用公用专家知识库供各个推理的有机组合和并行运行，利用优化算法优化各个推理结果，可实现知识的共享、推理算法的有机融合及组合推理的优化，同时解决组合推理的推理冲突并提高组合推理的效率。分析及应用结果表明，有机的组合推理与优化能有效地应用于工程实际，有利于提高智能化系统的推理水平。     

基于范例推理的研究

范例推理系统在人工智能研究中起着很重要的作用。对范例推理结构进行了研究,阐述了这些范例推理结构相应的功能,并把数据挖掘中的一些算法应用在案例推理中,使案例推理趋向智能化。     

回转类零件CAPP实用工具系统研究与实践

论述了基于知识与实例的回转类零件ＣＡＰＰ实用工具系统的体系结构，信息与知识的获取，表达和管理，以及工艺决策推理控制策略。     

一种基于模糊集的混合空间推理方法

基于模糊集合理论, 提出一种将定性空间推理与定量空间推理相结合进行混合空间推理的方法. 将对象间的空间关系解释为表达有关对象空间信息语言变量的限制, 引入语言变量表达定性空间关系; 把语言变量与模糊集合关联起来, 获得定量空间信息; 通过将语言值映射为模糊集合, 以及将模糊集合的元素映射为语言限制词, 实现了定性空间信息和定量空间信息间的转换. 此外, 还给出了与Allen提出的二元基 本关系关联的模糊关系, 并得到了基于模糊关系的Allen推理算法, 从而实现了空间关系间 的推理.     

L~*系统的半对偶形式系统S“非汉字符号”~*

研究了模糊命题演算的形式演绎系统L 和修正的Kleene逻辑系统 W ,W ,Wk 及R0 代数 .给出了L 系统的半对偶形式系统SL- ;与交推理规则相对应 ,引入并推理规则 ,证明了L 系统和SL- 系统的等价性 .为形式演绎系统的研究和应用提供了一个有益的途径     

P-反演半群上由超迹决定的最小强P-同余

P-反演半群类是十分重要的一类与正则半群有较密切联系的半群类.关于该类半群的结构及同余受到国内外众多半群工作者的广泛关注.研究了P-正则半群的强P-同余格中一类极小的同余,引入了特征子半群及超迹的概念,借助于同余理论刻画了P-反演半群S(P)上的强P-同余.确定了与给定同余有相同超迹的最小强P-同余,并给出了由超迹决定的最小强P-同余的一种具体表示.这些结果推广了正则半群上的相应结果.     

BL命题逻辑系统的强同余关系及演绎系统

通过在BL命题逻辑系统的公式集F(S)中提出演绎系统的概念, 并引入强同余关系, 讨论BL系统中演绎系统和强同余关系之间的联系, 给出二者之间相互转换的方法, 并得到了二者之间相互转换的还原性.     

超混沌耦合发电机系统的混沌同步及其电路实现

在三维耦合发电机系统的基础上增加一维状态,构建了一个新的四维超混沌耦合发电机系统,简要分析了该系统的平衡点、吸引子的相图、Lyapunov指数和Lyapunov维数等特性,设计了相应的电子电路,实验结果进一步证实了该系统是一个新的超混沌系统,不同于原有的三维耦合发电机系统;基于Lyapunov稳定性理论,设计了非线性同步控制器,从理论上构建了两种同步误差系统的Lyapunov函数,证明了新的超混沌系统的自同步以及与超混沌Lorenz系统的异结构同步,最后通过数值模拟验证了所提出方案的有效性.     

基于规则的专家系统诊断问题求解的一种模型

本文试图通过引进外推推理来克服基于规则的专家系统的不足,并为演绎推理和外推推理寻求一种一致的解释和理论基础.在讨论了规则的因果模型解释后,本文提出了诊断问题求解的最佳蕴含模型和基于该模型的循环生成-测试的推理方法.     

HTML的语句格式与超文本文件设计

本文分析了ＨＴＭＬ语言的基本标记和辅助标记的意义，具体讨论了ＨＴＭＬ与服务器文件、部分文件、在线图象文件、外部图象、声音、动画文件以及与Ｊａｖａ文件的链接语句格式，以实例说明了编写超大型文本文件的方式，指出了ＨＴＭＬ的发展新技术。     

L~*系统的一种弱完全对偶形式系统WCL

研究了模糊命题演算的一种形式演绎系统 L* 和修正的 Kleene逻辑系统 W-,W,Wk 及 R0-代数 ,给出了 L* 系统的一种弱完全对偶形式系统 WCL-* ,并证明了二者之间的等价性 ,为形式演绎系统的研究和应用提供了一个有益的途径     

局部有限 BL-代数的素逆演绎系统及性质

在BL-代数中引入逆演绎系统及素逆演绎系统的概念,并在局部有限BL-代数中研究了素逆演绎系统的基本性质及逆演绎系统和通常理想之间的关系;其次,讨论了BL-代数中逆演绎系统和同余关系之间相互决定的关系;最后,证明了由素逆演绎系统诱导的商代数为线性BL-代数,进而证明了在局部有限BL-代数中一个逆演绎系统是素逆演绎系统当且仅当由其诱导的商代数是线性的BL-代数。     

一类三次极小代数超曲面推广

构造了一个三次齐次多项式,然后再证明这个齐次多项式是一个三次代数极小超曲面.     

K 阶整系数线性微分方程解的超级和零点

研究了几类K阶整系数线性微分方程解的超级、零点收敛指数和零点超收敛指数。得到一些精确的结果．