基于改进主观Bayes方法的不确定推理模型设计

通过分析主观Bayes方法与专家系统中不确定推理的研究现状,提出了一种加入可信度的主观Bayes方法模型.该方法消除了可信度CF和规则成立的充分性量度LS之间可能存在的不一致性,减少了后验概率对先验概率的依赖,并在森林病虫害专家系统中进行应用实现.     

命题逻辑与数学证明方法（Ⅲ）

简单地讨论了命题逻辑,用命题逻辑全面地研究了推理格式和数学证明方法,形成一个完整的系统.内容包括反证法推理格式、反证法、数学证明方法总结.     

推理小游戏

张山、李斯和王武学习成绩都非常优秀．每个人都恰有3个擅长科目。     

知识库中假言推理命题的Fuzzy表达及其求值

本文给出了另一类近似推理命题——假言命题的Fuzzy表达及其求值算法,并提出语言真值的“动词化”设想。作者认为在专家系统中采用语言真值的“动词化”方法可能更有效。     

包含度及其在人工智能中的应用

不确定性推理是人工智能中的关键问题。在总结各种不确定性推理方法的基础上，引进了包含度的概念，并给出了包含度的几种生成方法，指出了包含度在专家系统的检索与推理中的应用。     

大坝变形分析的模糊似然推理方法

作为模糊似然推理方法的扩展，在多输入因子情况下，推演出水位、温度、时效因子交替固定或变化而似然推理大坝位移的规则，并以刘家峡大坝的水平位移为例，导出了模糊演算预测模型。     

ZYES专家咨询系统的不精确推理模型

ＺＹＥＳ是为株州冶炼厂铅烧结生产而设计的专家系统，该系统于１９９３年初完成，并投入运行。在该系统中，使用了一种新的不精确推理模型。本文介绍了该模型对证据不确定性和知识不确定性的描述方法，以及命题不确定值的更新算法等。     

高中2年级学生数学推理能力的实验研究

本实验随机选取82名高中2年级学生作为样本,用编制的6个测验,在给定的时间内让学生完成,然后对所得数据用双向随机区组设计方差分析的方法进行处理。结果表明,在所测的6个方面,受试之间数学推理能力存在着显著的个别差异。     

基于物理过程描述的诊断推理

本文提出了一种基于对复杂系统中各种相关过程描述的诊断知识模型.该模型具有如下几个方面的特点:a.它是一种基于复杂系统中各种相关的物理过程描述的较深程度的知识模型;b.它是基于约束传播原理,采用定性推理和定量计算两种方式,实现对各子系统的正常与异常行为的描述;c.它本身包含了复杂系统中多种因果关系知识.文中以发动机化油器为具体诊断对象,讨论了该模型的实现与应用中的有关问题.     

论CAPP的创成模式

本文论述了系统运用成组技术原理，提出了检索，创成综合模式。其特点是按相似零件组编组工序、工步词典，以工序工步词典为索引建立相应的工艺决策规则。在系统软件实现方面，运用编译原理、构造词法、语法分析器，对规则或知识进行预处理，形成特定的语法结构，使知识库与推理机相互独立。