A generalized time quantifier approach to approximate reasoning

In this paper, a rather expressive fuzzy temporal logic for linear time is introduced. First, this logic is a multivalued generalization (Lukasiewicz style) of a two-valued linear-time temporal logic based on, e.g., the “until” operator. Second, it is obtained by introducing a generalized time quantifier (a generalization of the partition operator investigated by Shen) applied to fuzzy time sets.In this fuzzy temporal logic, generalized compositional rules of inference, suitable for approximate reasoning in a temporal setting, are presented as valid formulas.Some medical examples illustrate our approach.     

基于系统L（X）的几种近似推理

本文在格值命题逻辑系统Ｌ（Ｘ）研究工作的基础上，借助于Ｌ（Ｘ）的语法推演规则，针对四种近似推理模型分别提出了几种近似推理方法。     

Logic of agreement: Foundations,semantic system and proof theory

In this paper a multi-valued propositional logic — logic of agreement — in terms of its model theory and inference system is presented. This formal system is the natural consequence of a new way to approach concepts as commonsense knowledge, uncertainty and approximate reasoning — the point of view of agreement. Particularly, it is discussed a possible extension of the Classical Theory of Sets based on the idea that, instead of trying to conceptualize sets as “fuzzy” or “vague” entities, it is more adequate to define membership as the result of a partial agreement among a group of individual agents. Furthermore, it is shown that the concept of agreement provides a framework for the development of a formal and sound explanation for concepts (e.g. fuzzy sets) which lack formal semantics. According to the definition of agreement, an individual agent agrees or not with the fact that an object possesses a certain property. A clear distinction is then established, between an individual agent — to whom deciding whether an element belongs to a set is just a yes or no matter — and a commonsensical agent — the one who interprets the knowledge shared by a certain group of people. Finally, the logic of agreement is presented and discussed. As it is assumed the existence of several individual agents, the semantic system is based on the perspective that each individual agent defines her/his own conceptualization of reality. So the semantics of the logic of agreement can be seen as being similar to a semantics of possible worlds, one for each individual agent. The proof theory is an extension of a natural deduction system, using supported formulas and incorporating only inference rules. Moreover, the soundness and completeness of the logic of agreement are also presented.     

深入研究模糊逻辑的必要性与紧迫性

因为"取大取小"不是数学计算,所以基于"取大取小"的模糊逻辑不能为数值转换提供算法支撑,使得模糊理论面临无合适模型可用的被动境地.指出,模糊逻辑是逻辑的一个新的近似推理研究方向,它的量化方法是数值计算;目的是支撑隶属度转换,使得由指标隶属度确定的目标隶属度是"真值"在当前条件下的最优近似.模糊逻辑是在隶属度转换条件下对人类近似推理本领规范的一种方法.而进行规范的依据是区分权滤波的冗余理论,实质性计算是由冗余理论导出的、实现隶属度转换的非线性去冗算法;相应的隶属度转换模型是非线性数学模型.     

Knowledge representation and acquisition in expert systems for pattern recognition

A new approach to the design of fuzzy expert systems is proposed. The representation of knowledge and the formation of statements by fuzzy logic tools are discussed in detail. A model of fuzzy inference is described. Primary attention is given to automatic extraction of knowledge (fuzzy inference rules) from a set of precedents. Various performance criteria for rules are introduced, and an algorithm for their generation (the method of effective restrictions) is proposed. An extension of the type of admissible rules by introducing a fuzzy disjunction operation is described. The possibility of optimizing the rules found is explored. The benefits of the approaches proposed are illustrated by experiments.     

Relating and extending semantical approaches to possibilistic reasoning

Two main semantical approaches to possibilistic reasoning with classical propositions have been proposed in the literature. Namely, Dubois-Prade's approach known as possibilistic logic, whose semantics is based on a preference ordering in the set of possible worlds, and Ruspini's approach that we redefine and call similarity logic, which relies on the notion of similarity or resemblance between worlds. In this article we put into relation both approaches, and it is shown that the monotonic fragment of possibilistic logic can be semantically embedded into similarity logic. Furthermore, to extend possibilistic reasoning to deal with fuzzy propositions, a semantical reasoning framework, called fuzzy truth-valued logic, is also introduced and proved to capture the semantics of both possibilistic and similarity logics.     

一阶模糊谓词逻辑公式的解释模型真度理论及其应用

基于一阶模糊谓词逻辑公式的有限和可数解释真度的理论,引入了一阶模糊谓词逻辑公式的解释模型及解释模型真度的概念,并讨论了它们的一系列性质及其在近似推理中的应用.     

一种新的三角模糊数算子在加权模糊推理中的应用

针对基于模糊逻辑的加权模糊推理,Chen Shy i-M ing提出了两种计算合取式前件整体真值的方法。由于所用模糊数算子的影响,两种方法的求取结果在准确性和合理性上都存在一定的缺陷。这种缺陷将直接影响推理的性能。因此,为改善这种缺陷,提高推理性能,本文提出了一种新的三角模糊数算子。它的应用可以提高推理的准确性和合理性。     

基于极大模糊熵原理的模糊推理三I算法

用模糊熵来度量模糊推理结果的模糊程度，并用本文给出的极大模糊熵原理对王国俊先生提出的模糊推理三Ⅰ算法做进一步的解释和改进，提出基于极大模糊熵原理的模糊推理三Ⅰ算法，证明这几种算法在一定条件下是关系再现算法。     

Introducing validity in fuzzy probability for judicial decision-making

Since the Age of Enlightenment, most philosophers have associated reasoning with the rules of probability and logic. This association has been enhanced over the years and now incorporates the theory of fuzzy logic as a complement to the probability theory, leading to the concept of fuzzy probability. Our insight, here, is integrating the concept of validity into the notion of fuzzy probability within an extended fuzzy logic (FLe) framework keeping with the notion of collective intelligence. In this regard, we propose a novel framework of possibility–probability–validity distribution (PPVD). The proposed distribution is applied to a real world setting of actual judicial cases to examine the role of validity measures in automated judicial decision-making within a fuzzy probabilistic framework. We compute valid fuzzy probability of conviction and acquittal based on different factors. This determines a possible overall hypothesis for the decision of a case, which is valid only to a degree. Validity is computed by aggregating validities of all the involved factors that are obtained from a factor vocabulary based on the empirical data. We then map the combined validity based on the Jaccard similarity measure into linguistic forms, so that a human can understand the results. Then PPVDs that are obtained based on the relevant factors in the given case yield the final valid fuzzy probabilities for conviction and acquittal. Finally, the judge has to make a decision; we therefore provide a numerical measure. Our approach supports the proposed hypothesis within the three-dimensional contexts of probability, possibility, and validity to improve the ability to solve problems with incomplete, unreliable, or ambiguous information to deliver a more reliable decision.     

The use of fuzzy sets for resource allocation in an advance request vehicle brokerage system—a case study

Community transport vehicle brokerage operators match the needs of groups without minibuses with the spare capacity of groups which own minibuses. They take bookings in advance, and allocate vehicles without knowing what the total demand will be for travel at a certain time. An approach has been developed which ranks vehicles according to a sequence number which indicates how ‘difficult to book’ they are, and presents the most difficult to book to the broker first, with the intention of maintaining the maximum flexibility in the system. The concept difficult to book is not easy to define exactly. Fuzzy set theory provides a mechanism for dealing with imprecise concepts, and through fuzzy logic for reasoning about such concepts. Fuzzy inferencing systems consist of linguistic variables, fuzzy sets, rules, and methods to combine the sets and produce a final result. Fuzzy logic has been used to provide a means of automating the allocation of sequence numbers to vehicles. Three different approaches to developing the rules for this system have been tested, by simulating bookings, and the one which produced the best results was based on a knowledge acquisition process involving booking staff. This approach resulted in the allocation of the highest number of trips and in leaving the least hours of travel unallocated.     

Fuzzy inequational logic

We present a logic for reasoning about graded inequalities which generalizes the ordinary inequational logic used in universal algebra. The logic deals with atomic predicate formulas of the form of inequalities between terms and formalizes their semantic entailment and provability in graded setting which allows to draw partially true conclusions from partially true assumptions. We follow the Pavelka approach and define general degrees of semantic entailment and provability using complete residuated lattices as structures of truth degrees. We prove the logic is Pavelka-style complete. Furthermore, we present a logic for reasoning about graded if–then rules which is obtained as particular case of the general result.     

Formalization of implication based fuzzy reasoning method

Fuzzy reasoning includes a number of important inference methods for addressing uncertainty. This line of fuzzy reasoning forms a common logical foundation in various fields, such as fuzzy logic control and artificial intelligence. The full implication triple I method (a method only based on implication, TI method for short) for fuzzy reasoning is proposed in 1999 to improve the popular CRI method (a hybrid method based on implication and composition). The current paper delves further into the TI method, and a sound logical foundation is set for the TI method based on the monoidal t-norm based logical system MTL.     

Array approach to fuzzy logic

Promising results from applying an array-based approach to two-valued logic suggests its application to fuzzy logic. The idea is to limit the domain of truth-values to a discrete, finite domain, such that a logical relationship can be evaluated by an exhaustive test of all possible combinations of truth-values. The paper presents a study of the topic from an engineer's viewpoint. As an example 31 logical sentences valid in two-valued logic were tested in three-valued logic using the nested interactive array language, Nial. Out of these, 24 turned out to be valid in a three-valued extension based on the well-known S^* implication operator, also called “Gödel's implication operator”. Applications to automated approximate reasoning and fuzzy control are also illustrated.     

Solving the multiobjective possibilistic linear programming problem

In conventional multiobjective decision making problems, the estimation of the parameters of the model is often a problematic task. Normally they are either given by the decision maker (DM), who has imprecise information and/or expresses his considerations subjectively, or by statistical inference from past data and their stability is doubtful. Therefore, it is reasonable to construct a model reflecting imprecise data or ambiguity in terms of fuzzy sets for which a lot of fuzzy approaches to multiobjective programming have been developed. In this paper we propose a method to solve a multiobjective linear programming problem involving fuzzy parameters (FP-MOLP), whose possibility distributions are given by fuzzy numbers, estimated from the information provided by the DM. As the parameters, intervening in the model, are fuzzy the solutions will be also fuzzy. We propose a new Pareto Optimal Solution concept for fuzzy multiobjective programming problems. It is based on the extension principle and the joint possibility distribution of the fuzzy parameters of the problem. The method relies on α-cuts of the fuzzy solution to generate its possibility distributions. These ideas are illustrated with a numerical example.     

基于三角范数的模糊逻辑中的三Ⅰ方法

三I推理方法是一种新的模糊推理方法,通过已有的研究成果表明,在许多方面它优于传统的CRI推理方法,它将成为模糊系统和人工智能的理论和应用研究中一个比较理想的推理机制。最近,国外学者提出了一个新的模糊逻辑形式系统,叫做Monoidal t-norm based logics(简记为MTL),已经证明这个形式系统是所有基于左连续三角范数的模糊逻辑的共同形式化。本文基于这类逻辑将三I推理方法形式化,从而在这些逻辑系统中为三推理方法找到了可靠的逻辑依据。     

AHP多路径排序度量转换中的非线性问题

由于不同测量条件下的测量结果不是线性可加,AHP用矩阵乘法实现多路径序转换值得商榷.自隶属度从只取"1或0"两个值扩展到可取[0,1]区间上一切实数,可表征界于"是"与"不是"之间所有可能"部分是"模糊状态时起,对二值逻辑的研究已拓展到研究近似推理的模糊逻辑.这是逻辑的一个新的研究方向,目的是在隶属度转换过程中,通过对人类近似推理本领进行规范,使得到的目标值是"真值"在当前条件下的最优近似.模糊逻辑的量化方法是数值计算;推理依据是区分权滤波的冗余理论;实质性计算是由冗余理论导出的、实现隶属度转换的非线性去冗算法;所建的隶属度转换模型也是不同测量条件下高维状态空间上测量结果的非线性可加模型.将一维测量数据映射到高维状态空间上表为隶属度向量,可借助隶属度转换模型解决AHP多路径序转换的非线性计算.     

Some considerations on fuzzy conditional inference

In much of human reasoning, the form of reasoning is approximate rather than exact as in ‘A red apple is ripe and this apple is more or less red. Then this apple is more or less ripe.’L.A. Zadeh and E.H. Mamdani suggested methods for such a fuzzy reasoning as an application of fuzzy set theory. The method involves an inference rule and a conditional proposition which contains fuzzy concepts.In this paper we point out that the consequence inferred by their methods does not always fit our intuitions and we suggest the improved methods which fit our intuitions under several criteria.     

模糊推理三I算法的逻辑基础

在模糊推理理论中，近期问世的三I推理方法以逻辑蕴涵运算取代传统的合成运算，从根本上改进了传统的合成推理规则(即CRI方法)。本文基于模糊命题逻辑的形式演绎系统L^*和模糊谓词逻辑的一阶系统K^*，构建了一个完备的多型变元一阶系统Kms^*，并且将三I算法完全纳入了模糊逻辑的框架之中，从而为模糊推理奠定了严格的逻辑基础。