科学发现的本质及其逻辑机制的再发现

不管对科学发现进行语义分析，还是对科学发现活动本身进行历史探究，我们都会发现，科学发现除了具有社会、历史和心理上的属性外，它在本质上乃是新假说的产生、选择、修正、接受和解释的逻辑过程，其逻辑机制正是皮尔士与汉森等所倡导的溯因推理。而且，现代认知科学的新成果促进了溯因推理形式的不断完善，人们意识到在新假说产生与选择中背景理论与背景知识的重要作用，创新了溯因推理的推理形式，令人满意地回答了溯因推理何以能够以及如何能够成为科学发现的逻辑的问题。     

基于D-S证据推理的车辆导航系统地图匹配算法

研究地图匹配算法中的匹配道路的选择问题,提出基于D-S证据推理理论的地图匹配算法.根据D-S证据推理的基本原理,结合车辆行驶情况,给出当前时刻车辆位置信息和方向信息的基本概率分布函数的设计方法.按照D-S合成公式,对位置和方向信息进行融合,并根据融合结果选择匹配道路.在设计方法中,引入位置信息和方向信息的可靠性参数.仿真结果表明,该方法是行之有效的,通过适当地调整可靠性参数的值,就能识别出车辆所在的道路.     

基于事例推理的注塑模成本评估系统

探讨了利用基于事例的推理技术来评估注塑模的制造成本。讨论了事例的索引、检索、改写、学习机制和神经网络的应用。提出了考虑模具的制造成本、税收、管理费、设计费等各个方面的综合成本模型，此模型可用于模具的报价。     

次BL代数的推理系统

基于Esko Turnner对BL代数的系统研究，引入了次BL代数的概念，并给出了次BL代数的实例，在次BL代数中建立了一种广泛的推理系统，研究表明，R0代数、Lukasiewicz结构、Goedel结构等均可纳入次BL代数理论之中。     

粗糙集在决策系统中的应用

介绍了粗糙集理论实现数据分类和规则推理的基本原理，对关系数据库中的二维决策表提出了一个问题解决模型，并在同时满足支持度和可信度的基础上对规则进行筛选，提高了决策的准确性和合理性。     

注塑模模架设计KBE系统及其智能关键技术

结合当前工程设计领域 KBE技术的发展和模架设计的数据流图 ,给出了注塑模模架设计KBE系统的基本框架 ,并对其关键技术进行了分析 :模架设计知识采用框架 -规则的方法表示 ,并给出了推理的流程图 ,通过面向子目标的方法提高了 KBE系统的知识表示和推理能力 ;将事例推理的方法结合在 KBE系统中 ,提高了系统对以往成功事例的参考能力 ;利用神经网络的自学习能力 ,解决了模架中镶块和前后模设计的计算问题 .通过实际的应用 ,该系统能够有效地提高模具企业的模具设计和分析能力     

基于VC和VIP的面向对象知识表示

知识表示是人工智能研究的基本问题之一。通过在 Visual C+ +的类中引入Visual Prolog的推理机制提出了一种基于 VC和 VIP的面向对象知识表示方法 ,完善了 Visual C+ +对象的推理功能 ,进一步增强了面向对象的知识表示能力以及 VisualProlog的接口和计算能力 ,并通过实验验证了方法的性能     

基于事例的自适应关联规则挖掘模型的研究

认为传统的关联规则挖掘模型主要是针对结构化数据 ,其可信度和支持度不能随环境的变化自适应调节 ,即缺乏自适应性 ,而现实中还存在大量非结构化的数据 .针对传统发现模型的不足提出了一个基于事例的自适应关联规则发现模型 ,它不仅可以处理对非结构化数据的数据挖掘 ,而且还可以随着环境的变化自适应调节支持度和可信度 .     

实质蕴涵刻画推理的思考

用实质蕴涵刻画推理,尽管它不具有内容相关性和独立性,造成了反直观的“怪论”,但它概括了“如果,那么”这类联结词各种用法中的共性,在日常用法中有其经验根据,具有广泛的适用性和使用的方便性。相对逻辑学家己提出的各种刻画推理的蕴涵理论,用实质蕴涵刻画推理是比较好的推理理论。     

评利奥塔"知识的合法性"理论

利奥塔认为,后现代社会出现了知识的合法性危机。事实上,“知识的合法性”理论虽然在反对整体论、普遍性等方面有偏颇之处,但该理论对知识的商品化和话语的权力化的反思以及所提倡的宽容精神和游戏理论对于我国的文化建构和建立国际间合理的交往规则均有一定的启发作用。