基于案例的增值税纳税申报系统设计

将基于案例的推理(CBR)方法应用于增值税纳税申报系统的设计中。设计了系统的总体结构图与功能模块图,并介绍了案例库的组织与索引的建立、案例匹配与学习方法。     

基于关系数据库的专家系统设计

利用一种将人工智能、关系数据库技术、确定性理论相结合的方法,设计构造专家系统的整体框架.在系统实现中,采用基于关系型数据库和C-F模型进行知识库的设计,用正反向混合推理控制策略进行不确定性推理.     

某型飞机环控系统故障诊断系统设计

针对飞机环控系统故障的复杂性与不确定性以及单一故障诊断方法存在的缺陷,设计了融合案例推理(CBR)和规则推理(RBR)的某型飞机环控系统故障诊断系统。提出了以CBR为前导,RBR为后置补充的故障推理模式,并在此基础上对案例特征权值、相似度计算以及规则知识表示进行优化设计,提高了系统诊断的效率和准确率。     

基于关系数据库的专家系统设计

利用一种将人工智能、关系数据库技术、确定性理论相结合的方法，设计构造专家系统的整体框架。在系统实现中，采用基于关系型数据库和C-F模型进行知识库的设计，用正反向混合推理控制策略进行不确定性推理。     

汽车发动机故障诊断专家系统的设计

主要研究发动机故障诊断专家系统的体系构成、故障诊断专家系统知识的表示策略及知识库的设计,其中知识库的设计是该系统设计最重要的工作。知识库的设计方法是先将故障诊断的知识抽象成概念,然后用关系数据库来存储这些知识,在此基础上构建一个专家系统。采用一个好的推理,可以保障系统的诊断质量。合理的知识库设计和有效的推理方法使得该系统效果较好。     

技术设计的系统功能推理与本体论研究

技术设计是为实现技术功能F建立起具有物理结构S的技术人工物描述Ds.帕尔、贝茨、罗伯特、克里斯汀等学者以物质、能量和信息作为基础概念提出技术设计的系统"功能模型",基于技术设计的功能流动,最终获得技术人工物的恰当描述.技术设计的功能推理要能说明技术设计的功能描述到最恰当的技术人工物描述整个过程,还需要增加情境、边界要素.物质、能量、信息、情境、边界共同构成技术设计系统的五个基本要素,通过功能基础流动转译,最终形成有效且高效的恰当技术人工物描述.这反映了技术设计"本体论"的非充分决定性标准、实现限制标准、情境限制和边界限制四个标准,完整阐明技术设计的本体论状况.     

基于IDSS的枣树病虫害防治系统设计

阐述了基于IDSS的枣树病虫害防治系统的功能结构,重点介绍了系统知识库的建立和推理机的设计.并在Windows 2000下利用编程技术、人工智能技术和数据库技术实现了系统的设计.系统的运行说明了该系统具有实用方便、稳定可靠的特点,可以准确地对枣树的病虫害进行预测,并给出诊断结果.     

基于事例推理的夹具设计研究与应用

根据基于事例的设计方法,提出采用工序件的特征信息和夹具的结构特征信息来描述夹具的相似性,并建立了包括这2方面主要特征信息为基础的事例索引码,设计了事例库的结构形式,创建了层次化的事例组织方式;同时,提出了基于知识引导的夹具事例检索算法,以及事例的修改和采用同族事例码进行相似事例的存贮,形成了基于事例推理的夹具设计.所开发的原型系统在型号工程夹具设计等项目的设计过程中得到了应用,并取得了令人满意的使用效果.     

基于案例的推理:智能授导系统研究的新方法

传统的智能授导系统研究方法是以学习者个体数据作为决策依据,以基于规则的推理作为推理方法,这样的系统面临着学习者个体数据不易测定、决策规则难以描述、系统无法自我完善三条困境.基于案例的摊理方法恰好规避了规则获取和描述的困难,结合群体数据和个体数据作为推理依据,实现了自我完善的推理智能.作为智能授导系统新的研究方法,基于案例的推理具有广阔的应用前景.     

具有智能推理决策的三维虚拟教师的研究

针对目前网络学习中存在的缺陷,提出具有智能推理决策的三维虚拟教师的设计,构建一个智能的虚拟教师系统,对虚拟教师系统的智能推理决策机制进行深入研究。     

“合情推理”辨析

波利亚的"合情推理"模式引进我国数学课程标准后,就成了我国数学教育研究的关键词。然而,"合情推理"的科学性尚需考证:(1)它的中文意义不明确;(2)它不满足推理模式的客观性要求,存在明显的缺陷;(3)过分强调"合情推理模式"则是过分强调归纳推理和演绎推理的区别,容易割裂它们之间的关系。     

回溯推理新探

回溯推理是一种独立于演绎、归纳的推理类型，但有学者对此提出异议。为了论证该推理独立存在的合理性，本文揭示了该推理的逻辑特征，给出其定义，在此基础上分析了几种典型的推理模式，并将其定位于一种基本型；从哲学、心理学和逻辑学等学科的不同视角提供了理论支持证据；以科学发现、医疗诊断和刑事侦察等不同方面的应用实例提供了经验支持证据；在系统T′内作出了该推理逻辑形式的有效性判定。     

回溯推理独立存在的合理性问题探微

回溯推理是一种独立于演绎、归纳的推理类型,但有学者对此提出非难。回溯推理独立存在的合理性,在国内外学术界关于该推理的几种典型模式中,从哲学、逻辑学、心理学的不同视角提供了理论支持证据。科学发现、医疗诊断和刑事侦察等在实践上提供了经验支持证据。     

自然推理方法的改进

根据综合推理的优点,提出自然稚理方法的改进,设制了新的证明格式。改进后的方法优点有二：第一,证明过程中,前题和结论非常靠紧,假设较易引入;第二,并列推理,逻辑线路清晰易懂。     

含有预设的推理与推理的有效性

推理的全部前提可以看作这一推理的预设。日常的具体推理往往是省略的推理，有些前提并未明确给出，在这种情况下，对预设作全面的分析就尤为重要。与此相关，考察经典逻辑和模态逻辑中的某些推理规则，讨论这些推理规则在日常推理中的有效性问题，是十分必要的。     

回溯推理的另类研究

回溯推理可分为一般回溯推理和特殊回溯推理，一般回溯推理是或然性推理，特殊回溯推理是必然性推理，回溯推理是一种独特的推理形式，在一定程度上丰富了推理的内容。     

前提肯定法的几种推论方式

前提肯定法的推论方式主要有类比推论方式、完整模拟的推论方式和非完整模拟的推论方式 ,这三种推论方式的共同特点 ,都是承认和使用对方已经确定的前提 ,并由此去推论出对自己更为有利结论的推论方式。不过细分起来 ,它们之间也存在着一些差别和不同之处     

二难推理新探

现行普通逻辑教材关于二难推理的内容有两个问题值得商榷：一是把二难推理形式局限于充分条件假言二难推理，而将必要条件假言二难推理排除在外；二是对二难推理规则的提法似有不足。二难推理的全部正确推理形式应是八个，而不是四个。二难推理的规则仅仅是保证推理形式有效的规则，并不涉及前提内容的真实与否。深入探讨二难推理的形式和规则，不仅具有一定的理论意义，而且有规范实际思维、防止逻辑错误的实际意义。     

实质法律推理与司法公正

实质法律推理,是指法官根据立法者制定法律规范的价值理由和案件事实的实质内容而进行价值评价、或在相互冲突而又都有一定道理的利益间进行实质权衡的推理。它分为归纳推理、类比推理、当然推理和直觉推理等种类,具有理论性、实践性、正当性和职业性的特征,都可能进一步实现和促进司法公正。但由于我国是成文法系国家,在司法实践活动中仍然要慎用法律实质推理。     

自发特质推理研究的回顾与展望

自发特质雅理是指个体在没有特定目的甚至在完全没有意识到的情况下，根据他人的行为信息推论其人格特质、形成印象的过程。国外对自发特质推理现象的理论解释有直觉模型和过程模型，用语义启动和图形启动两种范型加以研究，结果显示，知觉者的练习、年龄、意识目的、人格特点及被知觉者的特点都会影响自发特质推理。自发特质推理的研究在人格评价、职业面试等方面有广阔的应用前景。