程度推理与程度控制

文章把语言值规则（模糊规则）视为语言值及其程度（隶属度）之间的一种对应关系,提出了程度函数和程度规则的概念,并由此建立了一种称为程度推理和程度控制的推理与控制方法。采用程度推理和程度控制,传统的模糊推理就变为简单的符号推演和函数计算,传统的模糊控制由数值／（语,度）转换、（语,度）变换和（语,度）／数值转换等三步来实现。     

命题逻辑中条件概率真度的相似度及伪距离

通过引入赋值密度函数、边缘密度函数等概念给出了连续值命题逻辑系统中公式条件概率真度的定义,并得到了一些条件概率真度的推理规则;给出了3种相似度的概念,讨论了其性质及关系;定义了3种伪距离,确定了三者之间的比例关系,为推理程度的数值化提供了可靠的依据。     

经典命题逻辑的概率语义及其应用

文中将经典命题逻辑的赋值域由二值({0,1})推广到概率空间,引进了命题公式的概率赋值并建立命题逻辑的概率语义,证明了一个命题公式为重言式当且仅当其在每个概率赋值下的值都等于1.引入了命题公式的概率真度、不确定度、Λ-概率真度、Λ-不确定度等概念,并说明了Λ-概率真度是已有的二值命题逻辑各种真度概念的推广,通过讨论Λ-概率真度的性质,表明Λ-概率真度在全体公式集F(S)上满足Kolmogorov公理.证明在形式推演的一个有效推理中,结论的Λ-不确定度不超过各前提的Λ-不确定度与其必要度的乘积之和.利用公式的Λ-不确定度引进公式间的Λ-相似度和Λ-伪距离,证明了在一定条件下所建立的Λ-伪距离空间没有孤立点且通常的逻辑运算关于Λ-伪距离是连续的.在Λ-伪距离空间中,提出了F(S)上的两种不同近似推理模式,并通过实际应用例子说明所提出的近似推理模式是有效的.     

命题逻辑系统中公式的概率真度理论

通过引入赋值密度函数、边缘密度函数等概念给出了连续值命题逻辑系统中公式概率真度的定义,明确了概率真度在[0,1]中的分布情况,并得到了一些概率真度的推理规则;引入相似度,给出了伪距离的定义,确定了二者之间的关系。     

异构数据交换中关键技术研究

异构数据库间的数据交互日益频繁,可扩展标记语言逐步展现了其在数据存储、数据交换等领域的显著优势,迅速成为数据格式标准.该文阐明了一种基于XML的异构数据交换方法,描述了关系型数据库关系模式到XML Schema模式的转换方法,并建立了数据转换的公共数据模型.     

公式概率真度的相似度及伪距离

通过引入赋值密度函数、边缘密度函数等概念,给出了连续值命题逻辑系统L*中公式概率真度的定义,研究了概率真度的推理规则,在此基础上给出了三种相似度,讨论了其性质及关系,并由此定义了三种伪距离,讨论了逻辑度量空间的结构及性质,为推理程度的数值化提供了依据。     

Gödel命题逻辑中公式概率真度的相似度及伪距离

通过引入赋值密度函数、边缘密度函数等概念,给出了连续值命题逻辑系统G?del中公式概率真度的定义,研究了概率真度的推理规则,在此基础上给出了三种相似度,讨论了其性质及关系,并由此定义了三种伪距离,讨论了逻辑度量空间的结构及其性质,为推理程度的数值化提供了依据。     

Gdel n值命题逻辑中命题的α-真度理论

为了在n值命题逻辑系统中建立一种程度化推理机制,并为其提供一个可能的近似推理框架,利用势为n的均匀概率空间的无穷乘积,在n值G?del命题逻辑系统中引入命题的α-真度概念.证明了一般真度推理规则,给出了判定α-重言式的充分必要条件,并利用命题的α-真度定义了命题间的α-相似度,进而导出命题集上的一种伪距离,使得在n值命题逻辑系统中展开近似推理成为可能.提出的程度化推理方法为近似推理的算法实现奠定了基础,并对知识推理的程度化有所启示.     

G?del n值命题逻辑中命题的α-真度理论

为了在n值命题逻辑系统中建立一种程度化推理机制,并为其提供一个可能的近似推理框架,利用势为n的均匀概率空间的无穷乘积,在n值G?del命题逻辑系统中引入命题的α-真度概念.证明了一般真度推理规则,给出了判定α-重言式的充分必要条件,并利用命题的α-真度定义了命题间的α-相似度,进而导出命题集上的一种伪距离,使得在n值命题逻辑系统中展开近似推理成为可能.提出的程度化推理方法为近似推理的算法实现奠定了基础,并对知识推理的程度化有所启示.     

连续值命题逻辑中公式的概率真度及相似度

通过引入赋值密度函数、边缘密度函数等概念给出了连续值命题逻辑系统中公式概率真度的定义,并得到了一些概率真度的推理规则;引入相似度,给出了伪距离的定义,确定了二者之间的关系.     

多表关联的关联规则提取SQL实现

在文献[1]的基础上，利用关系数据库本身的关系操作，把关联规则的提取扩展到整个数据库的具有关系互联的多表中，从而解决在关系数据库实际应用中需要多个数据表同时配合进行数据挖掘。在多表关联中，采用了标准关系数据库的关系操作，且运用单表的快速关联规则提取算法，因此此算法能够快速地提取整个数据库中的关联规则。     

关系数据库上泛关系查询与中文查询语言的接口

本文初步探讨了实现关系数据库上泛关系查询与自然语言查询接口的一种方法, 文章对其中的若干问题如词典的组织、翻译算法等作了比较详细的讨论并通过实例进行了具体的说明。     

An efficient method for estimating null values in relational databases

Generally, a database system containing null value attributes will not operate properly. This study proposes an efficient and systematic approach for estimating null values in a relational database which utilizes clustering algorithms to cluster data, and a regression coefficient to determine the degree of influence between different attributes. Two databases are used to verify the proposed method: (1) Human resource database; and (2) Waugh's database. Furthermore, the mean of absolute error rate (MAER) and average error are used as evaluation criteria to compare the proposed method with other methods. It demonstrates that the proposed method is superior to existing methods for estimating null values in relational database systems. Jia-Wen Wang was born on September 5, 1978, in Taipei, Taiwan, Republic of China. She received the M.S. degree in information management from the National Yunlin University of Science and Technology, Yunlin, Taiwan, in 2003. Since 2003, she has been a PhD degree student in Information Management Department at the National Yunlin University of Science and Technology. Her current research interests include fuzzy systems, database systems, and artificial intelligence. Ching-Hsue Cheng received the B.S. degree in mathematics from Chinese Military Academy, Taiwan, in 1982, the M.S. degree in applied mathematics from the Chung Yuan Christian University, Taiwan, in 1988, and the Ph.D. degree in system engineering and management from National Defence University, Taiwan, in 1994. Currently, he is a professor of the Department of Information Management, National YunLin University of Technology & Science. His research interests are in decision science, soft computing, software reliability, performance evaluation, and fuzzy time series. He has published more than 120 refereed papers in these areas. He has been a principal investigator and project leader in a number of projects with government, and other research-sponsoring agencies.     

命题逻辑的随机真度理论及其应用

引入命题逻辑公式的基于随机变量序列的随机真度概念,并说明其是已有文献中各种真度概念的共同一般化,证明全体公式的随机真度之集在[0,1]中没有孤立点.利用随机真度定义公式间的随机相似度,进而导出全体公式集上的一种伪距离——随机逻辑伪距离,证明在随机逻辑伪距离空间没有孤立点.指出随机真度是已有文献中各种命题逻辑真度的共同推广.利用概率论中的积分收敛定理,证明一个关于真度的极限定理,该定理沟通了已有各种真度之间的联系.证明随机逻辑伪距离空间中逻辑运算的连续性,并将概率逻辑学基本定理推广到多值命题逻辑.在随机逻辑伪距离空间中提出两种不同类型的近似推理模式.     

分布式数据库中的限定关系代数变换

限定关系代数可用于分布式数据库操作符树的简化。本文详细讨论了限定关系代数变换的规划，并对前人的结论作了分析和改进。     

属性集闭包求解算法的C＋＋实现

在关系数据理论中,属性集闭包的求解不仅是证明Armstrong公理系统的基础,也是关系数据库逻辑模式设计中各种模式分解算法的基础。研究了属性集闭包求解算法的机制,并利用VC＋＋实现了该算法。     

Answers to queries concerning uncertain and imprecise information in fuzzy relational databases

A model of an extended fuzzy relational database was proposed to accommodate uncertain and imprecise information. We use two supplementary measurements, satisfactory degree and extra degree, for determining the quality of answers to Select‐Project‐Join (SPJ) queries. The method of measurement determines how much satisfactory information is provided and how much truth information is required for a query. The answers to the query thus contain sure answers and maybe answers. The core of this study is the detailed discussion on the quality of answers in an extended fuzzy relation to query processing. © 2005 Wiley Periodicals, Inc. Int J Int Syst 20: 647–668, 2005.     

Quantitative logic

In this paper, we introduce the concept of the degree of the truth in the framework of so called many-valued propositional logic systems with the intention of measuring to what extent a given formula is true. Such a concept can indeed induce, in a very natural way, the degree of the similarity as well as to induce a pseudo-metric among formulas as the ‘graded’ version of the notion of the logical equivalence. The basic properties of such induced logic metric space hence are investigated in this paper. We further introduce different concepts of the degree of the divergence and the degree of the consistency in order to grade the extent of the consistency of a logic theory. To the end, all the basic logic notions are graded. Lastly, we propose in this paper three patterns of ‘approximate reasoning’ so far as the many-valued propositional logic systems are concerned. Hence, we can claim that we have laid the foundation for the “quantitative logic”. Since this theory has touched upon several key concepts of similarity, comparison, measurements, etc. in information theory, we are convinced that the theory may have profound impact in contemporary information technology. In addition, quantitative logic can be regarded as a highly representative example of mathematics of uncertainty capable of handling vagueness.     

模糊空值环境下关系数据库的范式理论

文章探讨了模糊空值环境下关系数据库的范式理论,将规范化程度分为:一范式、二范式、三范式、BC范式、四范式、五范式,并对范式之间的关系进行了论证。     

粗糙关系数据库的数学基础

在引入粗糙关系数据库（Rough Relational Database,RRDB）的基本概念基础上,分析得出粗糙关系数据库中使用的几个主要数学理论包括等价关系、分解、位模式、粗糙熵及粗糙集理论,并进一步深入研究了这些理论在RRDB中的相关性质,对它们在粗糙关系数据库中的应用进行了探讨。