基于Rough集的模态语义数据分析

1.引言知识的表示与管理一直是当今人工智能领域的研究热点课题,而逻辑表示是人工智能中使用最早的表示模式之一,特别是模态逻辑的研究越来越得到人们的重视。模态逻辑中加入了“必然”和“可能”两种模态算子,从而对命题演算给出了恰当的非真值系统,使其从纯粹逻辑领域走向应用领域。虽然用模态表示的知识模式具有很好的优点,如证明过程的推理规则有效,具有很好的理解形式语义的能力,但是其最大的、难以克服的缺点是表示和处理的分离,如何用可操作的方     

对规划理论研究现状的分析

1 引言现在不少人工智能(AI)研究者认为定义人工智能的一种方法就是将它看作是以构建具有智能行为的agent为目标的研究领域。从这种观点看,“agent”实际上就是人工智能的核心。自从80年代后期以来,关于agent理论及应用的研究取得了很大发展,目前agent是主流计算机科学,包括数据通讯、并行系统、机器人、用户接口设计等等的研究人员所讨论的一个主题。构建agent的经典方法是将它们看作特殊类型的基于知识的系统,这就是通常的符号方法,而相应的a-gent则被称为慎思的agent。一个慎思的agent包含对环境的确切描述的符号模型,并且其决策(例如应采取什么行动)都是基于模式识别或符号处理,通过逻辑推     

机场机位自动分配系统知识库的研究与设计

在机场机位自动分配系统中引入知识库，可以提高系统的灵活性和通用性。该文针对机场机位分配系统的实际要求，从知识的组成出发，给出了一种基于关系型数据库的通用知识库结构设计，同时用拆分规则的形式化方法表示知识，从而使得该系统能够完善地表达事实规则体系知识，并且使得推理的过程变得简单高效。     

面向机械设计的知识获取环境

在开发机械设计专家系统时，需要有效的知识获取环境，本文介绍了一个针对机械设计知识的特点所研制的面向机械设计领域的知识获取环境ＭＤＫＡＳ，其内容包括：知识表示和获取，知识库的组织，维护，管理及各种辅助模块，该系统在微机上用ＧＣＬＩＳＰ实现，经过运行使用，效果良好。     

一种基于粗糙集的诊断型知识发现方法

知识获取是开发专家系统的瓶颈，传统的病害知识获取通常需要一个较长的过程．针对这一问题，本文给出了粗糙集理论和基于规则的作物病害知识之间的关系，即在油菜植病专家知识获取过程中的应用，建立了基于RHINOS 诊断模型的油菜病害的排除规则、包含规则和病害映像，阐述了可能性规则定义，并给出了基于规则描述的自动归纳推理方法，包括全搜索过程、后处理过程、统计测试的评估以及交叉验证和鞋带方法等．实验结果表明，粗糙集不仅是一个很好的知识获取的框架，而且能正确的归纳推理植物病害的规则．这对诊断型专家系统的开发可起到一个很好的辅助作用，在智能化农业信息系统中有着广泛的应用前景．     

基于框架知识表示的专家系统工具FBEST

本文介绍一个基于框架知识表示的专家系统通用工具FBEST,它以框架为基本单元,将一阶谓词逻辑、过程、语义网络等与框架结合起来,用于描述一个独立概念,概念的属性描述不仅可以是代表属性语义的符号,而且还可以是代表关系的函数或过程,并将一个概念的所有属性集约于同一结构。本文首先介绍FBEST用于描述事实、推理知识、元知识,然后介绍FBEST所提供的推理机制,包括继承性推理、正向推理及问题归约法,最后介绍了FBEST所提供的人机接口。     

模态逻辑公理的粗糙真语义分析

粗糙真是Pawlak粗糙逻辑的5个逻辑值之一,介于真与假之间．通过对论域U^n上所有近似空间相互关系的讨论,构造了一类代数结构——格,这类格形成了特殊的克里普克语义模型．其目的就是要在这种模型中,对模态逻辑形式推理系统的公理进行语义分析．这种分析不限于真与假的二值讨论,而主要对粗糙真进行重点研究．最终的结果表明模态逻辑形式系统的公理在这类特殊语义模型中基本部粗糙真有效．从而也得到了利用某些公理进行粗糙真形式推理的可靠性．     

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

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

基于知识的肺癌早期细胞诊断系统

介绍了一个基于知识的肺癌早期细胞病理诊断系统，着重理讨论了该系统中的知识表示形式及与之相配合的基于确定性模式的不确定性方法。该系统能自动从细胞图象中提取出必需的特征事实，并模仿病理专家的诊断逻辑，自动揄出最终结果。     

法律知识的因果表达和非单调推理模型

1 引言计算机在法律业务上的辅助应用总的来说可分为两类;计算机辅助法律条文查询系统和面向案例的计算机辅助法律分析与解释系统.计算机辅助法律条文查询系统的目标是建立一个丰富的法律条文和案例库,并对它们进行分类,建立索引,通过智能搜索引擎供法律专业人员和普通人查询有关法律条文或案例。法律文件繁复、浩大,依赖人脑记忆可靠性差,手工查找则费工费时,计算机正可以发挥其记忆量、查找迅速等特点。所以这方面的应用是比较成功的,例如北京大学开发的法律查询系统。一个面向案例的计算机辅助法律分析与解释系统能够根据系统中已有的法律知识(包括法律条文和案例)对实际案例进行分析和解释,并提出建设性的法律建议或结论以供人们参考。与计算机辅助法律条文查询系统相比,计算机辅助法律分析与解释系统需要运用法律知识进行推理,实际上是一个专家咨询系统。建立合理有效的法律知识的表达方法与推理机制是构造一个法律专家咨询系统的关键,这项任务是非常困难的。因为法律知识不仅仅是指成文的法律条文,还应该包括大量的法律解释、判例、不成文的法律规定等等,     

机会发现在多智能体系统中的形式化描述方法

针对多智能体系统(MAS)中执行决策的非确定性问题,研究结合时态/模态逻辑及机会发现理论,引入基于Kripke结构的复合逻辑 ,用于Agent的知识系统(全局知识、局部知识)及机会发现的形式化描述,为实现动态并发环境中MAS的系统协作行为建模及自动决策推理提供依据。给出 的结构及语义,证明了 的可判定性,且计算可在多项式级时间复杂度内实现。     

Logic of knowledge and discovery via interacting agents - Decision algorithm for true and satisfiable statements

In this paper we study logical properties of the operation chance discovery (CD) via structures based on special Kripke/Hintikka models. These models use as bases partially ordered sets of indexes (indexes of steps in a computation, or ones indicating time points in a time flow), and clusters of states associated to each index. The language chosen to build the logical formulas includes modal/temporal operations, operations for the agents’ knowledge, local and global operations for CD, operation of local common knowledge, and an operation for chance of discovery via agents’ interactions. We introduce and study a logic (of knowledge and discovery via interaction of agents), LDK_a, which is defined by semantics, as the set of all formulas that are valid in all suggested models. The paper provides an algorithm to recognize logical laws (and satisfiable formulas) of LDK_a. The algorithm replaces a formula with a rule in a special, so-called reduced normal form, and, then it verifies the validity of this rule in specific models of exponential size in the size of the rule. We show that the problem of computing the true logical laws of LDK_a is decidable.     

The problem of missing data in geoscience databases

SQL is the (more or less) standardised language that is used by the majority of commercial database management systems. However, it is seriously flawed, as has been documented in detail by Date, Darwen, Pascal, and others. One of the most serious problems with SQL is the way it handles missing data. It uses a special value ‘NULL’ to represent data items whose value is not known. This can have a variety of meanings in different circumstances (such as ‘inapplicable’ or ‘unknown’). The SQL language also allows an ‘unknown’ truth value in logical expressions. The resulting incomplete three-valued logic leads to inconsistencies in data handling within relational database management systems. Relational database theorists advocate that a strict two-valued logic (true/false) be used instead, with prohibition of the use of NULL, and justify this stance by assertion that it is a true representation of the ‘real world’. Nevertheless, in real geoscience data there is a complete gradation between exact values and missing data: for example, geochemical analyses are inexact (and the uncertainty should be recorded); the precision of numeric or textual data may also be expressed qualitatively by terms such as ‘approximately’ or ‘possibly’. Furthermore, some data are by their nature incomplete: for example, where samples could not be collected or measurements could not be taken because of inaccessibility.It is proposed in this paper that the best way to handle such data sets is to replace the closed-world assumption and its concomitant strict two-valued logic, upon which the present relational database model is based, by the open-world assumption which allows for other logical values in addition to the extremes of ‘true’ and ‘false’. Possible frameworks for such a system are explored, and could use Codd's ‘marks’, Darwen's approach (recording the status of information known about each data item), or other approaches such as fuzzy logic.     

基于电涡流传感器的硬币辨伪系统的设计

根据壹元真、假硬币不同的物理特性和电涡流传感器的性能特点,针对壹元硬币,提出一种基于电涡流传感器的简易辨伪系统。其主要通过硬币的材质和厚度辨认真假,当不同性质的硬币通过时,传感器的电感不同,则被测信号的频率不同。实验结果表明,该系统可以实现真、假硬币的快速鉴别、真硬币的个数显示和假币报警等功能,且电路简单。     

次协调的模态逻辑

将次协调模糊推理方法推广到模态逻辑,提出次协调的模态逻辑,其逻辑推理关系是次协调模糊蕴含的模态推广,既可处理不一致信息,又可表示多世界模型.给出了次协调模态逻辑的正确而且完备的Gentzen型推理系统.     

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

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

一种基于PROLOG的ES建造工具库的研究与实现

本文描述了一种基于ＰＲＯＬＯＧ的专家系统建造工具库ＰＴＥＳ的实验系统。ＰＴＥＳ是用ＰＲＯＬＯＧ编写的，该系统根据支持基于规则的知识表示及近似推理对ＰＲＯＬＯＧ的知识处理能力进行了扩充。ＰＴＥＳ的推理机制使用了可能性能逻辑及模糊集合理论作为其逻辑基础，并以一种形式化的方法提供了处理非确定事实及非确定规则的能力。     

REASONING WITH BACKGROUND KNOWLEDGE–A THREE-LEVEL THEORY

We address the problem of reasoning in cases when knowledge bases containing background knowledge are understood not as sets of formulas (rules and facts) but as collections of partially ordered theories. In our system, the usual, two-part logical structures, consisting of a metalevel and an object level, are augmented by a third level–a referential level. The referential level is a partially ordered collection of theories; it encodes background knowledge. As usual, current situations are described on the object level, and the metalevel is a place for rules that can eliminate some of the models permitted by the object level and the referential level. As a logic of reasoning the system generalizes the standard model of a rational agent: deducing actions and deriving new information about the world from a logical theory–its knowledge base. It is a natural logical system in which priorities on the possible readings of predicates, not special rules of inference, are the main source of nonmonotonicity. We introduce a theory forming operator PT(x) to exploit the priorities, and we investigate its basic logical properties. Then we show how such a system can be augmented by metarules. Although this paper concentrates on basic logical properties of the new theory, this formalism has already been applied to model a number of natural language phenomena such as the notion of text coherence, Gricean maxims, vagueness, and a few others. The paper also briefly compares it with the model of background knowledge of CYC, as proposed by Lenat and Guha.     

基于模态缺省理论的多Agent系统的知识更新

基于模态缺省理论，建立多Agent系统的模态缺省逻辑，给出了每个主体 对应的模态缺省理论 的新知识和知识冲突的概念及其意义，主要讨论在多Agent环境下，当一个Agent的知识不足以完成推理时，可以从其它Agent处获得新的知识，从而对自身的信念集进行更新。当Wi发生变化(如遇到新的知识或出现与原信念集冲突的知识)时扩充Ei的性质和变化规律，提出了获取新扩充的较简单的求解方法，并证明了相关的定理，给出了多Agent系统的关于知识的一个动态描述过程。