Groupoid C-代数中的三角子代数的表示

研究了ｇｒｏｕｐｏｉｄＣ＊－代数中三角子代数的表示，这些表示是ｇｒｏｕｐｏｉｄＣ＊－代数的＊表示的约束，且把ｇｒｏｕｐｏｉｄＣ＊－代数中的Ｃａｒｔａｎ子代数映成Ｂ（Ｈ）中的一个ｍａｓａ中的弱稠子集．     

二值神经网络的推理和矛盾分析

由节点和约束组成的约束满足网络(Constraint satisfaction networks,简称CSNs)能够描述许多问题,在AI中具有十分重要的地位.神经网络(Neural networks,简称NNs)能够被看作CSNs,而且被认为是适合于求解约束满足问题,因此NNs中必然有一个相应的逻辑理论.本文通过对比CSNs提出了弱推理理论和矛盾分析法,以研究二值神经网络的定性逻辑行为.文中用神经元(称为判决元)表示判决,连接表示判决元之间的柔性约束并执行     

因素空间理论与知识表示的数学框架（Ⅰ）──因素空间的公理化定义与描述架

系统地研究因素空间理论及其在知识表示中的应用。介绍因素空间理论的基本思想，修改了原有的因素空间的公理化定义，提出了表达概念的基本工具－－描述架，为建立知识表示的数学框架奠定了基础。     

一种电机设计领域的知识模型

在分析电机设计特点的基础上，提出了一种电机设计领域知识模型。该模型能在同一级上描述定性与定量知识，适合于描述电机设计领域知识。该模型具有结构上的层次性和描述上的相对封闭性，可以保证知识表达的清晰、直观以及系统推理的高效率。同时，文中也给出了模型的推理与控制策略。最后，文章给出了按上述模型建立的异步电动机电磁设计中有关效率目标参数专家决策经验的知识表示实例。     

Liouvile可积发展方程族的换位表示

文中研究了由谱问题所产生的Ｌｉｏｕｖｉｌｅ可积发展方程族。通过一个改进的算子方程的算子解给出了其Ｌａｘ换位表示的结构，同时研究了一些换位表示的应用     

浮选厂自学习咨询控制专家系统知识库设计

分析了影响浮选厂生产过程各因素的因果关系．根据浮选知识的特性提出了规则／框架表示法，设计了相应的知识库．该方法能自然、完整地表示浮选过程的知识，又便于知识库的维护     

基于模糊Petri网络的分布式知识表示方法

从模糊产生式系统出发，引入模糊Ｐｅｔｒｉ络（ＦＰＮ）的定义，进而给出了模糊产生式规则的各类型的ＦＰＮ表示模型，在此基础上提出了一种基于ＦＰＮ的交互式推理方法。该方法为模糊知识的表示提供了一种有效方法。     

计算等谱可积方族Lax表示的新框架

建立了计算等谱可积方程族的Ｌａｘ表示的一个新框架．作为例子，分别求出了ＫｄＶ型ＴＣ型等谱方程族Ｌａｘ表示的统一显式．     

因素空间理论与知识表示的数学框架(Ⅱ)──因素的充分性与概念的秩

系统地研究因素空间理论及其在知识表示中的应用．首先介绍因素的投影和柱体扩张；然后讨论因素在表达概念时的充分性并给出刻画因素充分性的等价条件；最后基于因素的充分性定义了概念的秩，它是表达概念的一种内在的量，在知识表示中起着基础性的作用．     

基于面向对象技术的知识表示模式

该文提出了一种基于面向对象技术的知识表示模式，采用结构对象类来表示知识单元，定义组合运算作为对象间的操作机制，并结合实例具体说明了该表示技术。