基于有序二叉决策图的装配序列符号表示方法

通过建立装配状态的二进制编码和装配操作的布尔特征函数,给出了装配序列描述的有序二叉决策图(OBDD)方法;建立了从装配序列的与或图模型到OBDD模型的转换规则;并对装配序列表示的与或图模型和OBDD模型进行了存储效率比较.实验结果表明:OBDD方法具有较好的存储性能,可以改善复杂装配体的装配序列表示的存储效率,适合于复杂装配体的可行装配序列的描述.     

二叉决策图在逻辑综合中的应用

二叉决策图(BDDs)是布尔函数的一个表示方法,最近它被广泛应用于逻辑综合、布尔电路的模拟和测试等领域.在这些应用中,有些基本问题需要解决,其中包括电路图到决策图的转换.本文提出一个转换的方法.文中分两步叙述,首先是对无扇出电路的转换,然后是对有扇出电路的转换,最后把两者结合为一个通用算法.     

二叉决策图在逻辑综合中的应用

二叉决策图（BDDs）是布尔函数的一个表示方法，最近它被广泛于逻辑综合、布尔电路的模拟和测试等领域。在这些应用中，有些基本问题需要解决，其中包括电路图到决策图的转换。本文提出一个转换的方法。文中分两步叙述，首先是对无扇出电路的转换，然后是对有扇出电路的转换，最后把两者结合为一个通用算法。     

用Petri网表示产生式知识

本文用Ｐ／Ｔ网，Ｐｒ／Ｔ网及其扩展对基于Ｈｏｒｎ子句的产生式知识进行了模拟，给出了将产生式知识换为Ｐｅｔｒｉ网的算法，并用Ｐｅｔｒｉ网对推理进行了探讨，试解了若干实例。     

基于有序二叉决策图的路径规划可行性研究

对全局环境未知且存在障碍物情况下的移动机器人路径规划问题进行了研究.借助有序二又决策图的原理,首次采用有序二叉决策图数据结构来表示机器人工作空间中的信息环境模型,并对它们进行了二进制编码,建立一个有效紧凑的OBDD环境模型.利用该OBDD模型能自动规划了免碰撞路径,获取一条从起始状态(包括位置及姿态)到达目标状态的安全、高效的无碰路径.实验仿真结果表明,所提出的方法是正确和有效的.     

基于二叉决策图的网络可达性计算

针对现有攻击图生成方法中普遍通过网络扫描获得网络可达性信息存在信息不完整、耗时长、产生网络干扰等不足,提出一种基于二叉决策图的网络可达性计算方法。该方法利用二叉决策图建模防火墙规则,通过高效的集合运算计算网络可达性。真实环境检测和模拟实验均表明该方法具有精确、耗时短、无网络干扰等优点,适用于大规模网络可达性的计算,推动了攻击图在大规模网络中的应用。     

基于产生式规则的乔灌木识别推理算法研究

为提升公众林业知识水平,促进树种知识的推广,以北京市乔灌木枝叶检索表中的枝叶检索知识为基础,采集乔灌木枝叶特征图片、树种知识及树种图片,使用产生式规则表示法对枝叶检索知识进行表达和组织,构建了枝叶检索知识的链式双亲表示模型,建立了乔灌木识别知识库,设计了乔灌木识别推理算法。在此基础上,研建了北京市乔灌木识别专家系统,实现了专家知识的存储、乔灌木识别推理算法以及乔灌木树种的识别。运行实例表明,采用产生式规则知识表示法构建的乔灌木识别推理算法,能够实现乔灌木树种的准确识别。     

基于二叉知识树推理的可扩展智能排课系统

针对高等院校整体教学资源条件下的复杂多约束、多目标组合优化排课问题,提出了一种基于二叉树知识推理的可扩展智能排课算法并进行系统研发.结合实际教学过程中涉及的课程、时间、专业、教室、教师和可信度模型进行定义,构建了智能排课模型,设计了系统结构和排课算法.原型系统利用不确定性推理巧妙地解决了排课过程中棘手的软约束问题,并将...     

网络可靠性分析中自顶向下的二叉决策图构造研究

采用边界分区标识网络的思想,实现基于边界分区的自顶向下K端可靠度二叉决策图(BDD)构建算法。针对BDD构建过程中存在的节点冗余问题,提出无效边冗余消除和K点非连通冗余消除2种处理技术。在规则网络和实际工程中的实验结果表明,利用无效边冗余消除和K点非连通消除技术后的BDD改进算法,在不影响算法时间性能的情况下,可大幅缩减BDD尺度,提升K端网络可靠度分析算法性能,适用于大规模的网络可靠度分析。     

模糊空间Petri网的规则表示及动态推理

为便于表示模糊空间Petri网的状态变迁规则,根据空间关联影响区域分布现实特点,提出了空间模糊Petri网中的状态关联影响规则、变迁关联影响规则和多阈值激活规则。依据模糊产生式规则的特点,详细描述了10种具体的推理规则和表示组件,并以实例加以说明。在此基础上,结合模糊空间Petri网的特点提出了动态推理过程算法,可以实现各种空间状态规则因子的转化。动态推理的过程不仅可以获取某种“结果”,而且可以挖掘基于空间位置关联的中间状态及引起中间状态变化的事件,可以有效地指导风险过程预测和控制。     

一种类比知识表示与逻辑描述

本文叙述了一个以情境为单位基于情境间的整体部分关系的类比知识表示系统，给出了描述这种知识结构的内涵命题逻辑的语法，语义和公理系统，用实例说明了情境的联接不是逻辑与关系。     

MAS中基于Ontology的知识表示与推理研究

采用基于Ontology的知识表示方法,解决多Agent的知识表示和共享问题,实现知识的自动推理和获取,实现多Agent之间语义理解,体现Agent的智能特征.在多Agent原型旅游系统中,采用OWL描述Ontology定义相关领域的知识表示与推理,为Agent之间的学习、协商,进一步交互通信打下基础.     

关系知识表达模式及在专家系统中的应用

采用关系模式表达知识，可以利用当前流行的关系数据库管理系统（ＲＤＢＭＳ），将专家系统与ＲＤＢＭＳ上建立的管理信息系统，决策支持系统，办公自动化系统等有机结合，有利于知识的管理、存储和利用。并可在大量的管理信息，决策支持信息以及办公自动化信息中发现知识，使信息与知识共享。本文研究用关系模式表达知识的方法，并在一分类专家系统中利用ＲＤＢＭＳ强大的数据处理能力实现知识推理。     

金融投资决策中的模糊知识及其不同否定的表示与推理

基于一种带有矛盾否定、对立否定和中介否定的新模糊集FScom,研究了在一个金融投资决策实例中的应用.其中,对于模糊知识的不同否定,引入模糊集合～<'+>A和～<'->A,并采用距离比率函数思想定义了模糊集的隶属函数,给出了模糊集合FScom定义中λ值以及模糊产生式规则中周值τ的一种确定方法,讨论了实例中的模糊知识及其三种不同否定的推理算法与实现.     

HYPERTEXT-BASED REPRESENTATION OF KNOWLEDGE AND REASONING FOR USER GUIDANCE IN DIAGNOSIS OF COMPLEX SYSTEMS

ABSTRACT

The development of a hypertext-based diagnosis system requires, on one hand, adapted tools for a task oriented navigation across the documents, and on the other hand, context sensitive browsing capability of the knowledge base. This paper presents a system that possesses both properties. It is based on a formal model ontology for representing a diagnostic domain, a computational scheme to implement and use the ontology, and a human-machine interface to provide users with an efficient access to objects, methods, and relations described in the ontology. We use an example based on the diagnosis of vibrations of rotating machines throughout the paper to illustrate the approach. The example has been built and implemented according to the norm (AFNOR 1998), which defines the protocol and the evaluation procedure of vibration from signals measured and recorded on the rotating machines.     

FUNCTIONAL REPRESENTATION AND REASONING FOR REFLECTIVE SYSTEMS

Functional models have been extensively investigated in the context of several problemsolving tasks such as device diagnosis and design. In this paper, we view problem solvers themselves as devices, and use structure-behavior-function models to represent how they work. The model representing the functioning of a problem solver explicitly specifies how the knowledge and reasoning of the problem solver result in the achievement of its goals. Then, we employ these models for performance-driven reflective learning. We view performance-driven learning as the task of redesigning the knowledge and reasoning of the problem solver to improve its performance. We use the model of the problem solver to monitor its reasoning. Assign blame when it fails, and appropriately redesign its knowledge and reasoning. This paper focuses on the model-based redesign of a path planner's task structure. It illustrates the modelbased reflection using examples from an operational system called the Autognostic system.     

一种广义综合知识表示方法及其应用

知识发现技术能发现数据中有用的模式和知识,但如何和专家系统有效集成仍然尚未得到解决.本文从知识表示的角度探讨二者集成,提出一种面向知识发现的广义综合知识表示方法.该方法能有效表示包括关联、分类、序贯、神经网络、基于案例推理等在内的多种知识类型,同时该方法将知识发现方法表示在其内部,从而有利于自动知识获取的实现.在此基础上提出一种新型专家系统原型.该原型从语义、机制和接口三个层次集成知识发现技术,可以有效进行自动知识获取.     

广义规则表示及其推理算法

一般的知识规则表示法,既没有考虑前提条件对结论的不平等性,又没有考虑时间对结论成立的影响,而这些问题对某些领域是非常重要的.另一方面,在不精确推理中,以往的系统都推到终结点之后,才根据阈值判定此结论是否成立,因而影响了推理速度,为此,本文在实践的基础上,提出了“重要度”、“时间因子”及“分层阈值”等概念和它们的算法及推理算法.     

综合知识表示模型MAS的属性文法推理机制

根据文献［２］中提出了的基于属性文法和语义网络的综合知识表示模型ＭＡＳ，本文提出了关于实现该ＭＡＳ推理机制的基本算法，并且通过实例对该算法进行了说明，最后，证明了基于ＭＡＳ模板的属性文法是Ｌ－ＡＧ和ＩＭＡＳ的解是完全的结论。     

试探性知识的表示及其解题算法

知识表示是研究工程规范管理系统首要解决的问题，本文提出用状态知识元与决策表相结合来表示试探性工程规范知识，并介绍了基于这一结构的推理方法。