知识推理描述语言MLND的归约实现模型RMND

本文主要描述采用归约式计算机体系结构来支持知识推理描述语言MLND中函数式和逻辑式风格结合的程序设计,内容包括MLND的概要,基语言设计,系统运行和功效分析等。     

模糊Petri网及知识表示

在建造专家系统中虽然有很多种知识表示方法，但都有不尽人意的地方，本文试图用一种新的方法－Ｐｅｔｒｉ网模型来表示知识。本文给出了Ｆｕｚｚｚｙ Ｐｅｔｒｉ网和广义Ｆｕｚｚｙ Ｐｅｔｒｉ网两种模型，并给出了相应的推理算法，一旦专家知识用Ｐｅｔｒｉ网表示后，根据Ｐｅｔｒｉ网固有的特性，我们就能处理专家系统中并行推理、无回溯推理，反向推理等问题。     

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

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

KNOWLEDGE REPRESENTATION FOR LEADERSHIP STORIES

Leadership requires making decisions and implementing the results by influencing those being lead. The Personal Access to Leadership project, PAL, is constructing tools to assist leaders in creative ways and assisting the development of leaders. The tools are knowledge-based systems employing shallow understanding of the domain. The approaches used provide guidance, but do not generate solutions. One aspect that continues under exploration in PAL is the use of stories for training and guiding leaders. In order to make such support systems work, a representation is needed to enable locating useful stories related to the task of a leader. This article defines a model for story representation for the PAL tools, called the PAL tool IdeaLab. The IdeaLab is the tool to which stories are being added, as a help system to support and extend the user's thinking.     

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

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

知识推理描述语言NUML的设计,实现及应用

知识推理描述语言ＮＵＭＬ用于描述多智能实体系统中协调地问题求解过程，它是一种具有良好数学基础的多风范语言，以智能代理为其基本程序结构，提供元级推理的描述能力。     

CHUNKING MECHANISM FOR A KNOWLEDGE REPRESENTATION SYSTEM

A chunking mechanism to be used as a multipurpose device in a knowledge representation system is presented. The most relevant characteristics of this system are outlined in order to present the theoretical framework in which chunking has been developed. Uses of chunking as a learning mechanism and as a working memory are described.     

SOME PROCEDURES FOR SELECTING FUZZY SET-THEORETIC OPERATORS

Abstract

We investigate the definition of the “and” operation in multivalued logic and decision making. A set of basic properties are suggested. Rules for selecting an appropriate operator are given. A general class of connectives is also suggested.     

概念图知识表示方法的研究

本文简要介绍了一种新的知识表示方法－概念图;详细论述了概念图知识表示的机器内部实现方法以及在推理过程中如何实现概念图之间的匹配。     

ON KNOWLEDGE REPRESENTATION FOR INFERENCES IN CAST METHOD BANKS

This article explains why aspects of knowledge representation must be considered in the context of computer aided systems theory (CAST). CAST method banks support human experts during the process of problem solving. They should be understood as decision support systems, as assistants of their human expert users. One key to making this approach work is the communication between the expert and the system. The assistant should provide systematical and goal-directive information about the current problem state for the human expert. Another, even more important requirement is the assistant's knowledge about all available methods at a certain problem-solving state and their expected impact on the further problem-solving process. Knowledge representation denotes how the problem domain is represented within the support system and how it is used. We investigate different forms of knowledge representations and summarize criteria for the applicability of different forms of knowledge representations in CAST systems.     

模糊知识数据库数据模型及其实现技术

本文提出一种能处理模糊知识的知识数据库数据模型，详细介绍了其模糊知识表示，模糊关系代数及不精确推理的实现策略。     

一个基于分布推理的知识库

随着知识处理量的增大，分布式知识库成了一个很重要的发展方向。本文提出了一个基于分布推理的知识库模型，这个模型允许用户充分利用分布在各处的知识求解问题作查询，并提出了一个优化的问题求解的推理机制。     

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

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

产生式知识的有序二叉决策图表示及其推理

为了更完整地表示产生式规则构成的知识库及更有效地进行知识推理,给出了基于有序二叉决策图OBDD(Ordered Binary Decision Diagram)的产生式知识表示模型.在此基础上实现了基于OBDD的知识推理规则及相关算法,并结合实例对OBDD模型及其推理规则的可行性进行了分析.     

商业MIS框架生成系统的知识表示研究

商业ＭＩＳ框架生成专家系统（ＦＧＳＭ）包含的领域知识多而染。为了简明有效地组织表达知识，文中介绍了ＦＧＳＭ中知识的分类，并详细地讨论了每类知识的具体表示方法。系统运行表明，系统中的知识易于扩展和修改，具有较强的知识组织、表达和更新能力，提高了推理效率。     

PERSPECTIVES IN KNOWLEDGE REPRESENTATION

In this paper we discuss recent developments in the research on knowledge representation, focusing on hybrid formalisms, nonmonotonic reasoning, and formalisms for reasoning about knowledge and reasoning in a multiagent scenario.     

NOTE ON THE ARITHMETIC RULE BY ZADEH FOR FUZZY CONDITIONAL INFERENCE

Abstract

This paper shows that Zadeh's arithmetic rule for fuzzy conditional propositions “If x is A then y is B” and “If x is A then y is B else y is C” can infer quite reasonable consequences in a fuzzy conditional inference if new compositions of “max-[Odot] composition” and “max- composition” are used in the compositional rule of inference, though, as was pointed out before, this arithmetic rule cannot get suitable consequences in the compositional rule of inference which uses max-min composition. Moreover, it is shown that the arithmetic rule satisfies a syllogism under these two compositions.