Quantifiers, Modifiers And Qualifiers In Fuzzy Logic

Ms Ying,B Bouchonmeunier

DOI: https://doi.org/10.1109/AFSS.1996.583675

1996-01-01

Abstract:In this paper, we propose a formalization of fuzzy logic and obtain some interesting results on fuzzy quantifiers, modifiers and qualifiers in this setting.

What problem does this paper attempt to address?

Quantifiers, modifiers and qualifiers in fuzzy logic

Mingsheng Ying,Bernadette Bouchon-Meunier

DOI: https://doi.org/10.1080/11663081.1997.10510918

1997-01-01

Journal of Applied Non-Classical Logics

Abstract:In this paper, we propose a formalization of fuzzy logic and obtain some results concerning the composition, exchange and compatibility with propositional connectives of fuzzy quantifiers, modifiers and qualifiers in this setting.
Qualification And Quantification Of Fuzzy Linguistic Variables And Fuzzy Expressions

Y. J. Wang,Y. F. Duan,C. S. Zhao

DOI: https://doi.org/10.1007/978-3-642-02682-9_36

2009-01-01

Abstract:One of the essences of fuzzy logic is how fuzzy variables and fuzzy expressions may be transformed into precise quantities and rigorous models in fuzzy inferences. This paper presents a denotational mathematical structure and methodology for modeling fuzzy qualifications and quantifications in cognitive informatics, soft computing, and computational intelligence. Fuzzy qualifications and quantifications for both absolute and relative measures are formally elaborated on discrete and continuous fuzzy object and expressions. In addition, the qualification for characteristic attributes of fuzzy objects is modeled. Applications of fuzzy qualifications and quantifications are illustrated using a rich set of examples and real-world cases, which enable machines to mimic complex human reasoning mechanisms in cognitive informatics, soft computing, and computational intelligence.
A Logical Framework for Fuzzy Quantifiers Part I: Basic Properties

San-min Wang,Bin Zhao,Peng Wang

DOI: https://doi.org/10.1007/978-3-540-72434-6_61

2007-01-01

Abstract:Fuzzy quantifiers have important applications in a great variety of fields such as database querying, data mining and knowledge discovering, inductive learning and so on. Recently, M.S.Ying introduces a novel fuzzy framework for linguistic quantifiers which are modeled by Sugeno integrals. Essentially, the conjunction and disjunction in Ying's framework are interpreted as the "min" and "max" operations, which restricts the application of this theory in some sense. In this paper, we extended Ying's framework by interpreting the conjunction and disjunction as t-norm and t-conorm respectively. And some elegant logical results for our framework have been obtained.
Linguistic Modelling Based on Semantic Similarity Relation among Linguistic Labels

Yongchuan Tang,Jiacheng Zheng

DOI: https://doi.org/10.1016/j.fss.2006.02.014

IF: 4.462

2006-01-01

Fuzzy Sets and Systems

Abstract:In classical linguistic modelling for imprecise concepts and uncertain reasoning, a basic idea is to use fuzzy sets to describe the semantics of imprecise concepts, the theoretic foundation of this modelling is fuzzy logic. But in some practical applications, the determination of membership functions associated with vague concepts is difficult or impossible. In this paper, we present a new linguistic modelling technique based on the semantic similarity relation among linguistic labels. In this new linguistic model, a fuzzy relation is utilized to represent the semantic relation among linguistic labels. The elements in the fuzzy relation are interpreted as the degrees of similarities or the degrees of semantic overlapping between the corresponding linguistic labels. We develop an inference method for computing the degree of similarity between any two linguistic expressions which are the logic formulas generated by applying the logic connectives to the linguistic labels. This inference method utilizes the consonant mass assignment functions induced from the fuzzy similarity relation on linguistic labels. We show that the linguistic model presented in this paper satisfies some perfect properties, e.g. the excluded middle law, law of non-contradiction. This new linguistic modelling is illustrated finally in a linguistic decision-making example.
The FA Quantifier Fuzzification Mechanism: analysis of convergence and efficient implementations

Félix Díaz-Hermida,Marcos Matabuena,Juan C. Vidal

DOI: https://doi.org/10.48550/arXiv.1902.02132

2019-02-06

Abstract:The fuzzy quantification model FA has been identified as one of the best behaved quantification models in several revisions of the field of fuzzy quantification. This model is, to our knowledge, the unique one fulfilling the strict Determiner Fuzzification Scheme axiomatic framework that does not induce the standard min and max operators. The main contribution of this paper is the proof of a convergence result that links this quantification model with the Zadeh's model when the size of the input sets tends to infinite. The convergence proof is, in any case, more general than the convergence to the Zadeh's model, being applicable to any quantitative quantifier. In addition, recent revisions papers have presented some doubts about the existence of suitable computational implementations to evaluate the FA model in practical applications. In order to prove that this model is not only a theoretical approach, we show exact algorithmic solutions for the most common linguistic quantifiers as well as an approximate implementation by means of Monte Carlo. Additionally, we will also give a general overview of the main properties fulfilled by the FA model, as a single compendium integrating the whole set of properties fulfilled by it has not been previously published.

Artificial Intelligence
Fuzzy quantification for linguistic data analysis and data mining

F. Díaz-Hermida,Juan. C. Vidal

DOI: https://doi.org/10.48550/arXiv.1807.07389

IF: 14.4

2018-07-19

Artificial Intelligence

Abstract:Fuzzy quantification is a subtopic of fuzzy logic which deals with the modelling of the quantified expressions we can find in natural language. Fuzzy quantifiers have been successfully applied in several fields like fuzzy, control, fuzzy databases, information retrieval, natural language generation, etc. Their ability to model and evaluate linguistic expressions in a mathematical way, makes fuzzy quantifiers very powerful for data analytics and data mining applications. In this paper we will give a general overview of the main applications of fuzzy quantifiers in this field as well as some ideas to use them in new application contexts.
A Fuzzy Extension of ALC with Fuzzy Modifiers

Hailong Wang,Z. M. Ma,Li Yan,Gang Zhang

DOI: https://doi.org/10.1109/fskd.2007.33

2007-01-01

Abstract:In this paper, we apply a class of fuzzy modifiers based on fuzzy relations in description logics (DLs) to represent complex imprecise and incomplete knowledge. We investigate how to introduce the fuzzy modifiers into a fuzzy description logic ALC. The fuzzy description logic ALC with the fuzzy modifiers, called FALCM in the paper, has a more expressive capacity to represent imprecise and incomplete knowledge. At last, we give the reasoning algorithms for the satisfiability of FALCM concepts.
Characterizing Quantifier Fuzzification Mechanisms: a behavioral guide for practical applications

F. Diaz-Hermida,M. Pereira-Fariña,Juan C. Vidal,A. Ramos-Soto

DOI: https://doi.org/10.1016/j.fss.2017.07.017

2016-05-12

Abstract:Important advances have been made in the fuzzy quantification field. Nevertheless, some problems remain when we face the decision of selecting the most convenient model for a specific application. In the literature, several desirable adequacy properties have been proposed, but theoretical limits impede quantification models from simultaneously fulfilling every adequacy property that has been defined. Besides, the complexity of model definitions and adequacy properties makes very difficult for real users to understand the particularities of the different models that have been presented. In this work we will present several criteria conceived to help in the process of selecting the most adequate Quantifier Fuzzification Mechanisms for specific practical applications. In addition, some of the best known well-behaved models will be compared against this list of criteria. Based on this analysis, some guidance to choose fuzzy quantification models for practical applications will be provided.

Artificial Intelligence
The fuzzy bit

Milagrosa Aldana,María A. Lledó

DOI: https://doi.org/10.3390/sym15122103

2023-11-24

Abstract:In this paper, the formulation of Quantum Mechanics in terms of fuzzy logic and fuzzy sets is explored. A result by Pykacz, that establishes a correspondence between (quantum) logics (lattices with certain properties) and certain families of fuzzy sets, is applied to the Birkhoff-von Neumann logic, the lattice of projectors of a Hilbert space. Three cases are considered: the qubit, two qubits entangled and a qutrit `nested' inside the two entangled qubits. The membership functions of the fuzzy sets are explicitly computed and all the connectives of the fuzzy sets are interpreted as operations with these particular membership functions. In this way, a complete picture of the standard quantum logic in terms of fuzzy sets is obtained for the systems considered.

Quantum Physics
Linguistic Quantifiers Modeled by Sugeno Integrals.

Ms Ying

DOI: https://doi.org/10.1016/j.artint.2006.02.001

IF: 14.4

2006-01-01

Artificial Intelligence

Abstract:Since quantifiers have the ability of summarizing the properties of a class of objects without enumerating them, linguistic quantification is a very important topic in the field of high level knowledge representation and reasoning. This paper introduces a new framework for modeling quantifiers in natural languages in which each linguistic quantifier is represented by a family of fuzzy measures, and the truth value of a quantified proposition is evaluated by using Sugeno's integral. This framework allows us to have some elegant logical properties of linguistic quantifiers. We compare carefully our new model of quantification and other approaches to linguistic quantifiers. A set of criteria for linguistic quantification was proposed in the previous literature. The relationship between these criteria and the results obtained in the present paper is clarified. Some simple applications of the Sugeno's integral semantics of quantifiers are presented.
Fuzzy Rough Sets Based on Fuzzy Quantification

Adnan Theerens,Chris Cornelis

DOI: https://doi.org/10.1016/j.fss.2023.108704

2022-12-07

Abstract:One of the weaknesses of classical (fuzzy) rough sets is their sensitivity to noise, which is particularly undesirable for machine learning applications. One approach to solve this issue is by making use of fuzzy quantifiers, as done by the vaguely quantified fuzzy rough set (VQFRS) model. While this idea is intuitive, the VQFRS model suffers from both theoretical flaws as well as from suboptimal performance in applications. In this paper, we improve on VQFRS by introducing fuzzy quantifier-based fuzzy rough sets (FQFRS), an intuitive generalization of fuzzy rough sets that makes use of general unary and binary quantification models. We show how several existing models fit in this generalization as well as how it inspires novel ones. Several binary quantification models are proposed to be used with FQFRS. We conduct a theoretical study of their properties, and investigate their potential by applying them to classification problems. In particular, we highlight Yager's Weighted Implication-based (YWI) binary quantification model, which induces a fuzzy rough set model that is both a significant improvement on VQFRS, as well as a worthy competitor to the popular ordered weighted averaging based fuzzy rough set (OWAFRS) model.

Artificial Intelligence,Machine Learning
Fuzzy Labeling Semantics for Quantitative Argumentation

Zongshun Wang,Yuping Shen

DOI: https://doi.org/10.48550/arXiv.2207.07339

2023-08-17

Abstract:Evaluating argument strength in quantitative argumentation systems has received increasing attention in the field of abstract argumentation. The concept of acceptability degree is widely adopted in gradual semantics, however, it may not be sufficient in many practical applications. In this paper, we provide a novel quantitative method called fuzzy labeling for fuzzy argumentation systems, in which a triple of acceptability, rejectability, and undecidability degrees is used to evaluate argument strength. Such a setting sheds new light on defining argument strength and provides a deeper understanding of the status of arguments. More specifically, we investigate the postulates of fuzzy labeling, which present the rationality requirements for semantics concerning the acceptability, rejectability, and undecidability degrees. We then propose a class of fuzzy labeling semantics conforming to the above postulates and investigate the relations between fuzzy labeling semantics and existing work in the literature.

Artificial Intelligence
Approximate Reasoning with Linguistic Modifiers

MS Ying,B Bouchon-Meunier

DOI: https://doi.org/10.1002/(sici)1098-111x(199805)13:5<403::aid-int2>3.0.co;2-q

IF: 8.993

1998-01-01

International Journal of Intelligent Systems

Abstract:We analyze the influence of some usual linguistic modifiers, such as scalar product, normalization, Bouchon-Meunier modifiers, perturbation, and (weakening and reinforcement) power, in the process of approximate reasoning and clarify the difference between the conclusions of fuzzy modus ponens in which linguistic modifiers appear and do not appear in premises. © 1998 John Wiley & Sons, Inc.
Study on Cardinal Fuzzy Quantifiers in Fuzzy Set Frame

高东平,郭佳宏,黎永锦

DOI: https://doi.org/10.3321/j.issn:0529-6579.2008.03.006

2008-01-01

Abstract:Cardinal fuzzy quantifiers are applied broadly in daily communications and reasoning.In this paper,the semantic analysis of cardinal fuzzy quantifiers was extended to fuzzy set.A formal semantics of cardinal fuzzy quantifiers in fuzzy set frame was provided and their properties were discussed.
K-FLAT PROJECTIVE FUZZY QUANTALES

J. Lu,K. Wang,B. Zhao

DOI: https://doi.org/10.22111/ijfs.2017.3433

2017-01-01

Iranian Journal of Fuzzy Systems

Abstract:In this paper, we introduce the notion of K-flat projective fuzzy quantales, and give an elementary characterization in terms of a fuzzy binary relation on the fuzzy quantale. Moreover, we prove that K-flat projective fuzzy quantales are precisely the coalgebras for a certain comonad on the category of fuzzy quantales. Finally, we present two special cases of K as examples.
Logical Fuzzy Preferences

Emad Saad

DOI: https://doi.org/10.48550/arXiv.1304.2797

IF: 14.4

2013-04-05

Artificial Intelligence

Abstract:We present a unified logical framework for representing and reasoning about both quantitative and qualitative preferences in fuzzy answer set programming, called fuzzy answer set optimization programs. The proposed framework is vital to allow defining quantitative preferences over the possible outcomes of qualitative preferences. We show the application of fuzzy answer set optimization programs to the course scheduling with fuzzy preferences problem. To the best of our knowledge, this development is the first to consider a logical framework for reasoning about quantitative preferences, in general, and reasoning about both quantitative and qualitative preferences in particular.
Fuzzy reasoning model under quotient space structure

Ling Zhang,Bo Zhang

DOI: https://doi.org/10.1016/j.ins.2005.03.005

IF: 8.1

2005-01-01

Information Sciences

Abstract:In this paper, we present a theoretical framework of fuzzy reasoning model under quotient space structure. It consists of (1) introducing quotient space structure into fuzzy sets, i.e., constructing fuzzy set representations of different grain-size spaces and their relationships; (2) introducing the concept of fuzzy sets into quotient space theory, i.e., introducing fuzzy equivalence relation and discussing its corresponding reasoning in different grain-size spaces; and (3) discussing the relationship and transformation among different granular computing methodologies. The framework proposed is aimed to combine two powerful abilities in order to enhance the efficiency of fuzzy reasoning: one is the ability of computing with words based on fuzzy set methodology, the other is the ability of hierarchical problem solving based on quotient space approach.
A Fuzzy Logic System Based on Schweizer-Sklar T-Norm

Zhang Xiaohong,He Huacan,Xu Yang

DOI: https://doi.org/10.1007/s11432-006-0175-y

2006-01-01

Abstract:Based on the Schweizer-Sklar t-norm, a fuzzy logic system UL* is established, and its soundness theorem and completeness theorem are proved. The following facts are pointed out: the well-known formal system SBL∼ is a semantic extension of UL*; the fuzzy logic system IMTLΔ is a special case of UL* when two negations in UL* coincide. Moreover, the connections between the system UL* and some fuzzy logic formal systems are investigated. Finally, starting from the concepts of “the strength of an ‘AND’ operator” by R.R. Yager and “the strength of fuzzy rule interaction” by T. Whalen, the essential meaning of a parameter p in UL* is explained and the use of fuzzy logic system UL* in approximate reasoning is presented.
Fuzzy ideals in Quantic lattices

ZHOU Xin,ZHAO Bin

DOI: https://doi.org/10.6040/j.issn.1671-9352.0.2013.020

2013-01-01

Abstract:The concepts of fuzzy subquantic lattices,fuzzy ideals and prime fuzzy ideals of a quantic lattice are given.Then the relationships betw een fuzzy ideals and fuzzy subquantic lattices are discussed and the characterizations of fuzzy ideals and prime fuzzy ideals are studied.It is proved that every ideal of a quantic lattice can be regarded as a cutset of a fuzzy ideal.
Modal Quanti cation over Structured

DomainsJohan,Van Benthem,N. Alechina

1997-01-01

Abstract:1 Quantiiers as Modal Operators 1.1 Motivations The semantics for quantiiers described in this paper can be viewed both as a new semantics for generalized quantiiers and as a new look at standard rst-order quantiication, bringing the latter closer to modal logic. The standard semantics for generalized quantiiers interprets a monadic generalized quantiier Q as a set of subsets of a domain. For example, the quantiier "there are precisely two" is interpreted by the set of all subsets of the domain which contain precisely two elements. A formula Qx' is true in a model if the set of elements satisfying ' belongs to the interpretation of the quantiier; in our example, if there are precisely two elements satisfying '. The existential quantiier can be treated as a generalized quantiier, too: it is interpreted as the set of all non-empty subsets of the domain. The universal quantiier is interpreted by the singleton set containing the whole domain. The quantiiers listed so far are rst-order deenable in the following sense: they can be deened using ordinary quantiiers and equality. Many interesting generalized quanti-ers are not rst-order deenable. The present study is motivated by the work of Michiel van Lambalgen (1991) on Gentzen-style proof theory for the quantiiers "for many" (its dual is interpreted as a non-principal lter), "for uncountably many" and "for almost all" (the latter contains all subsets of the domain which have Lebesgue measure 1). All those quantiiers are not rst-order deenable. They have Hilbert-style axiomatizations, but until lately no one believed that they can have a reasonable Gentzen-style proof theory. In order to devise such a proof theory, van Lambalgen used a translation of generalized quan-tiier formulas into a rst-order language enriched with a predicate R of indeenite arity. (all free variables displayed). Observe that this translation is reminiscent of the standard translation of modal formulas into rst-order logic, with the sequence of free variables playing the role of the "actual world" and the quantiier ranging over the variables "accessible" from the given sequence. The idea behind such a translation is as follows. When generalized quantiiers are viewed as rst-order operators (binding rst-order variables), it becomes clear that a variable bound by a generalized quan-tiier cannot in general take any possible value. Its range is restricted, and this restriction can be deened using an accessibility relation. Then the elimination rule for Q with a premise Qx'(x; y) would introduce …

Quantifiers, Modifiers And Qualifiers In Fuzzy Logic

Quantifiers, modifiers and qualifiers in fuzzy logic

Qualification And Quantification Of Fuzzy Linguistic Variables And Fuzzy Expressions

A Logical Framework for Fuzzy Quantifiers Part I: Basic Properties

Linguistic Modelling Based on Semantic Similarity Relation among Linguistic Labels

The FA Quantifier Fuzzification Mechanism: analysis of convergence and efficient implementations

Fuzzy quantification for linguistic data analysis and data mining

A Fuzzy Extension of ALC with Fuzzy Modifiers

Characterizing Quantifier Fuzzification Mechanisms: a behavioral guide for practical applications

The fuzzy bit

Linguistic Quantifiers Modeled by Sugeno Integrals.

Fuzzy Rough Sets Based on Fuzzy Quantification

Fuzzy Labeling Semantics for Quantitative Argumentation

Approximate Reasoning with Linguistic Modifiers

Study on Cardinal Fuzzy Quantifiers in Fuzzy Set Frame

K-FLAT PROJECTIVE FUZZY QUANTALES

Logical Fuzzy Preferences

Fuzzy reasoning model under quotient space structure

A Fuzzy Logic System Based on Schweizer-Sklar T-Norm

Fuzzy ideals in Quantic lattices

Modal Quanti cation over Structured