In this paper we consider the theory of fuzzy logic programming without negation. Our results cover logical systems with a wide variety of connectives ranging from t-norm and conorms, through conjunctors and disjuncto...
详细信息
In this paper we consider the theory of fuzzy logic programming without negation. Our results cover logical systems with a wide variety of connectives ranging from t-norm and conorms, through conjunctors and disjunctors and their residuals to aggregation operators. Rules of our programs are many valued implications. We emphasize, that in contrast to other approaches, our logic is truth functional, i.e. according to P. Hajek, we work in fuzzylogic in narrow sense. We prove the soundness and the completeness of our formal model. We deal with applications to threshold computation, abduction, fuzzy unification based on similarity. We show that fuzzy unification based on similarities has applications to fuzzy databases and flexible querying. (C) 2001 Elsevier Science B.V. All rights reserved.
We develop fuzzy logic programming with the goal to provide a theoretical background for fuzzy expert systems. With the system of fuzzy logic programming that we present the researcher and the practitioner have the th...
详细信息
We develop fuzzy logic programming with the goal to provide a theoretical background for fuzzy expert systems. With the system of fuzzy logic programming that we present the researcher and the practitioner have the theoretical results that the system produces only correct answers and all the possible correct answers. A new notion of fuzzylogical consequence is introduced. A fuzzy minimal model is proposed. The equivalence between the declarative, minimal model, fixpoint and procedural semantics for fuzzylogic programs is proven through the series of the following theorems. The final result is the soundness and completeness of the system: 1. The existence of an Herbrand mu -model for a set of fuzzy clauses having a mu -model. 2. mu -Model Intersection Property. 3. The relationship between the fuzzy minimal model and the fuzzy Herbrand base. 4. Fixpoint Characterization of the Least fuzzy Herbrand Model. 5. The Soundness of the fuzzy logic programming System - any answer produced by the system is correct. 6. The Completeness of the fuzzy logic programming System - the system produces all correct answers. (C) 2001 Elsevier Science B.V. All rights reserved.
We investigate the use of multilattices as the set of truth-values underlying a general fuzzy logic programming framework. On the one hand, some theoretical results about ideals of a multilattice are presented in orde...
详细信息
We investigate the use of multilattices as the set of truth-values underlying a general fuzzy logic programming framework. On the one hand, some theoretical results about ideals of a multilattice are presented in order to provide an ideal-based semantics;on the other hand, a restricted semantics, in which interpretations assign elements of a multilattice to each propositional symbol, is presented and analysed. (C) 2006 Elsevier B.V. All rights reserved.
We show that it is possible to base fuzzy control on fuzzy logic programming. Indeed, we observe that the class of fuzzy Herbrand interpretations gives a semantics for fuzzy programs and we show that the fuzzy functio...
详细信息
Wide datasets are usually used for training and validating neural networks, which can be later tuned in order to correct their final behaviors according to a few number of test cases proposed by users. In this paper w...
详细信息
ISBN:
(纸本)9783030310950;9783030310943
Wide datasets are usually used for training and validating neural networks, which can be later tuned in order to correct their final behaviors according to a few number of test cases proposed by users. In this paper we show how the FLOPER system developed in our research group is able to perform this last task after coding a neural network with a fuzzylogic language where program rules extend the classical notion of clause by including on their bodies both fuzzy connectives (useful for modeling activation functions of neurons) and truth degrees (associated with weights and biases in neural networks). We present an online tool which helps to select such operators and values in an automatic way, accomplishing with our recent technique for tuning this kind of fuzzy programs. Moreover, our experimental results reveal that our tool generates the choices that better fit user's preferences in a very efficient way and producing relevant improvements on tuned neural networks.
The FASILL programming language (acronym of "fuzzy Aggregators and Similarity Into a logic Language") combines a weak unification algorithm, based on similarity relations, along with a rich repertoire of fuz...
详细信息
The FASILL programming language (acronym of "fuzzy Aggregators and Similarity Into a logic Language") combines a weak unification algorithm, based on similarity relations, along with a rich repertoire of fuzzy connectives and aggregators, whose truth functions can be defined on a complete lattice. In this work, we want to provide a unified view of the fundamental concepts and ideas that inspired its construction, jointly with the implementation techniques that made it possible. We detail the implementation of the operational semantics and we describe the overall structure of the FASILL system. The FASILL language is well-suited for a wide range of applications and, specifically, it can help the development of knowledge based systems where to deal with uncertainty is important. After ten years designing and implementing fuzzylogic systems, this work culminates and agglutinates the experience acquired in our research group on the development of this kind of modern programming languages. (C) 2020 Elsevier Inc. All rights reserved.
In this paper we present a fuzzy variant of the XPath query language for the flexible information retrieval on XML documents. Our main purpose is to provide a repertoire of operators that offer the possibility of mana...
详细信息
In this paper we present a fuzzy variant of the XPath query language for the flexible information retrieval on XML documents. Our main purpose is to provide a repertoire of operators that offer the possibility of managing satisfaction degrees by adding structural constraints and fuzzy operators inside conditions, in order to produce a ranked sorted list of answers according to user's preferences when composing queries. By using the FLOPER system designed in our research group, our proposal has been implemented with a fuzzylogic language to take profit of the clear synergies between both target and source fuzzy languages.
This paper introduces techniques to integrate WordNet into a fuzzy logic programming system. Since WordNet relates words but does not give graded information on the relation between them, we have implemented standard ...
详细信息
This paper introduces techniques to integrate WordNet into a fuzzy logic programming system. Since WordNet relates words but does not give graded information on the relation between them, we have implemented standard similarity measures and new directives allowing the proximity equations linking two words to be generated with an approximation degree. Proximity equations are the key syntactic structures which, in addition to a weak unification algorithm, make a flexible query-answering process possible in this kind of programming language. This addition widens the scope of fuzzy logic programming, allowing certain forms of lexical reasoning, and reinforcing Natural Language Processing (NLP) applications.
Bousi similar to Prolog is a fuzzy logic programming language with an operational semantics which is an adaptation of the SLD resolution principle, where classical unification has been replaced by a fuzzy unification ...
详细信息
Bousi similar to Prolog is a fuzzy logic programming language with an operational semantics which is an adaptation of the SLD resolution principle, where classical unification has been replaced by a fuzzy unification algorithm based on fuzzy relations. Hence, it is a programming language well suited for dealing with vagueness and approximate reasoning. In this paper we summarize its design and implementation.
FLOPER is the "fuzzy logic programming Environment for Research" designed in our research group for assisting the development of real-world applications where fuzzylogic might play an important role. This i...
详细信息
FLOPER is the "fuzzy logic programming Environment for Research" designed in our research group for assisting the development of real-world applications where fuzzylogic might play an important role. This is the case of our recently proposed extension for the popular XPath query language in order to handle flexible queries which provide ranked answers, fuzzy variants of operators and, or and avg for XPath conditions, as well as two structural constraints, called down and deep, for which a certain degree of relevance can be associated.
暂无评论