知识库的一致性与完备性检验

本文讨论了基于知识的系统的知识库的一致性与完备性检验;给出了知识库的一致性与完备性的定义及检验方法;探讨了知识库的各种潜在问题对推理过程及结果的影响.     

基于本体的知识聚合策略

探讨了本体论在知识库管理中的应用和方法,给出了基于本体论知识库元模型结构,阐述了知识库本体的建立和融合过程,并利用有色Petri网对融合工程进行验证.     

粗糙集在新兵思想政治工作专家系统中的应用

根据部队思想政治工作的实际需要，论述了粗糙集理论在新兵思想政治工作专家系统中的应用。介绍了知识库及其管理系统，包括事实库、规则库、措施库和症状库，利用粗糙集理论的方法判断知识的一致性，并对知识库进行重组和简化，以达到消除知识冗余、简化知识库规模的目的。     

一个实用的知识一致性检查系统

讨论了基于规则架＋规则体的知识库中知识的一致性和冗余性检查问题，并给出一个实用的检查方法     

故障诊断专家系统中知识一致性检查算法的研究

知识库是故障诊断专家系统的推理依据,新规则的添加改善了系统的故障诊断能力,同时可能会导致新规则和原知识库中的规则冗余、闭路循环、矛盾等一致性问题,造成系统不稳定,甚至推理错误。本文从知识一致性入手,提出解决新加规则和原有规则的冗余、闭路循环、矛盾的判断算法,并用C 较好的解决了知识一致性检查算法问题。     

基于DL-Safe规则的UML状态图形式化和一致性验证

为了对UML状态图进行形式化验证,将状态图中的语义分为静态语义和动态语义两部分,用描述逻辑知识库表示静态语义,用DL-Safe规则表示动态语义.研究了检查UML状态图一致性的算法,该算法能够用DL-Safe规则对知识库进行推理达到检查状态图一致性的目的,最后分析了算法的可行性.     

基于“规则架+规则体”知识库的一致性与冗余性检查

知识库的组织和维护是大型专家系统和实现知识自动获取的所有专家系统必须解决的问题,介绍了基于“规则架＋规则体”的实用专家系统知识库中不一致与冗余规则（链）的几种可能形式,讨论了知识的一致性与冗余性检查的方法,并给出了详细的算法。     

基于概率与物理特征相结合的退化模型一致检验方法

提出了一种基于概率与物理特征相结合的退化模型一致性检验方法,从退化模型分布形式、空间距离和形状接近程度三方面综合验证模型的一致性。首先,考虑基于似然比检验的数据分布一致性检验,确定仿真数据和验证试验数据具有分布一致性;然后,基于改进的灰色关联分析法对退化模型数值接近性和曲线空间形状相似性进行一致性检验,确定关联度的大小,最终确定模型数值接近性和曲线空间形状相似性;最后根据模型同时满足基于似然比检验的数据同分布一致性检验和基于灰色关联的数值接近性和曲线空间形状相似性一致性检验,认为该模型通过一致性检验;反之,认为不通过一致性检验。以某加速度计为例,验证了所提方法的有效性。     

云南旅游领域知识库的构建

针对领域知识库的构建困难问题,借助于本体论（Ontology）的思想,从大量语料中自动获取领域词汇,提取领域义原,利用知网的概念描述方法来对领域词汇进行描述,从而构建领域知识库。FAQ库查重实例分析表明,领域知识库在领域问题的求解中发挥着重要作用。     

基于变尺度差商比序列统计量的小子样静态一致性检验

针对小子样条件下静态一致性检验问题,介绍了利用次序统计量相关理论进行一致性检验的部分方法,在对此类方法的检验过程进行深入探讨的基础上,借鉴已有的部分研究结论,对利用变尺度差商比序列统计量进行一致性检验的思路和方法进行了改进,改进后的方法适用于任意分布子样,计算过程简便且检验效果良好.     

一种基于有色Petri网的知识库验证方法

以有色Petri网为基础,在经过了必要的功能扩充后,针对知识验证的主要内容,建立了有色Petri网的知识表示模型,提出了一种简洁有效的、基于有色Petri网的知识库验证方法,并给出了相应的判定准则,最后给出了一个说明知识表示模型和知识验证准则的实例。     

基于模糊彩色Petri网的知识表示与获取研究

针对一些复杂专家控制系统的知识不确定性及知识规则数量多的特点,在模糊Petri网和彩色Petri网的基础上,给出了一种基于模糊彩色Petri网（FCPN）的知识表示和知识获取方法。该方法充分利用其图形化的特点将模糊规则库中的不同变量用不同的色彩来区分,每一种色彩用一种标识符号来表示,因此可构成一个更为简明的FCPN图。将其用于列车专家控制系统的不确定性知识的表示及获取,结果表明,基于模糊彩色Petri网的知识表示和获取方法对大型、复杂的专家控制系统是非常有效的。     

一种知识表达Petri网及其特性分析

根据Horn子句的特点,定义了一种新的Petri网形式———HIPN网,给出了基于HIPN网的知识表达方式和从逻辑程序到HIPN模型的转换算法,论证了HIPN网的一些重要特性.基于HIPN模型的逻辑推理过程和现有求解方法相比,可以大幅减少重复推理,有效提高推理效率.     

Control model for reconfigurable assembly systems

This paper proposes knowledge based object-oriented timed colored Petri net, a modeling method for reconfigurable assembly systems. Combining knowledge and object-oriented method into timed colored Petri net, a comprehensive and powerful representation model for control of RAS is obtained. With object-oriented method the whole system can be decomposed into concrete objects explicitly, and their relationships are constructed according to the system assembly requirements. Finally, a simple assembly system modeled by the KTCOPN is presented.     

Petri网的一种硬件实现方法

Petri网是一种信息流模型，广泛应用于离散事件动态系统建模及控制领域．随着CPLD、FP-GA等可编程逻辑器件的出现，为Petri网的硬件实现提供了可能．从Petri网的原理出发，根据库所与变迁的本质特点，提出了一种Petri网硬件实现的框架，并详细阐述了如何用硬件描述语言VHDL实现C／E系统、P／T系统以及T-时延等几种典型的Petri网系统．最后用一个带有时延的P／T系统来验证此种方法的正确性．采用这种方法对离散事件动态系统控制器的设计，以及片上并行控制器、多处理器芯片的设计都具有十分重要的意义．     

一种新型的混合Petri网:步混合Petri网

Petri网是一种图形的和数学的建模工具,适合于许多系统的建模．为了提高Petri网建模能力引入运行步概念,并在连续Petri网的基础上提出一种新型混合Petri网——步混合Petri网,分析该网特点及其运行规则,并用该网分别对数字型PID控制器和模拟型PID控制器进行建模．     

M-Petri网及性能分析

提出了 M- Petri网的概念 ,并讨论了其相容性、守恒性和有界性的判定条件 .     

基于Petri网的知识表示

介绍一种基于Ｐｅｔｒｉ网的知识表示方法。在引入Ｐｅｔｒｉ网的基本知识后，详细讨论了Ｐｅｔｒｉ网表示产生式系统及基于Ｈｏｒｎ逻辑子句的Ｐｅｔｒｉ网表示，提出了用库所表示产生式谓词，用变迁表示规则的Ｐｅｔｒｉ模型。最后讨论了将Ｐｅｔｒｉ网应用于ＯＯＡ（面向对象分析）模型的研究，从而提出一个基于Ｐｅｔｒｉ网的ＯＯＡ模型     

Study on Multi-agent Systems with Colored Petri Nets

The approach to model multi-agent systems with hierarchical colored Petri nets is introduced. In a multi-agent system, every agent is modeled with colored Petri net system, and the colored Petri net system of the multi-agent system is a hierarchical colored Petri net system, such that the agents planning deadlock detection and avoidance, can be analyzed with the Petri net system.