Sugeno Integral Based on Overlap Function and Its Application to Fuzzy Quantiﬁers and Multi-Attribute Decision-Making

: The overlap function is an important class of aggregation function that is closely related to the continuous triangular norm. It has important applications in information fusion, image processing, information classiﬁcation, intelligent decision-making, etc. The usual multi-attribute decision-making (MADM) is to select the decision object that performs well on all attributes (indicators), which is quite demanding. The MADM based on fuzzy quantiﬁers is to select the decision object that performs well on a certain proportion or quantiﬁcation (such as most, many, more than half, etc.) of attributes. Therefore, it is necessary to study how to express and calculate fuzzy quantiﬁers such as most, many, etc. In this paper, the Sugeno integral based on the overlap function (called the O-Sugeno integral) is used as a new information fusion tool, and some related properties are studied. Then, the truth value of a linguistic quantiﬁed proposition can be estimated by using the O-Sugeno integral, and the O-Sugeno integral semantics of fuzzy quantiﬁers is proposed. Finally, the MADM method based on the O-Sugeno integral semantics of fuzzy quantiﬁers is proposed and the feasibility of our method is veriﬁed by several illustrative examples such as the logistics park location problem.


Introduction
The triangular norm (t-norm) first appeared in Menger's paper "Statistical metrics" in 1942, which proposed t-norm as a natural generalization of triangular inequalities in classical metric spaces [1].A t-norm is an aggregation operator that satisfies commutativity, monotonicity, and associativity, and has the identity element 1.From the mathematical structure, t-norms and t-conorms are pairs of dual operators.T-norms play an important role as the general fuzzy "and" operator in the fuzzy logic community.In order to apply more widely, researchers proposed many generalized forms of t-norms and t-conorms, such as t-seminorms [2], pseudo-t-norms [3], t-operators [4], uninorms [5], semiuninorms [6], etc.Recently, many scholars still studied the extension structure of t-norms.For example, Dan proposed a universal way to study t-semi(co)norms and semiuninorms in terms of behavior operations [7].For partially defined binary operations in practical problems, Borzooei et al. introduced a partial t-norm on a bounded lattice [8].Zhang et al. further investigated the partial residual implications of partial t-norms and partial residuated lattices [9].
The measures discussed in classical measure theory are additive, and they are abstractions of real-world concepts such as length, area, volume and weight.However, additivity cannot be satisfied in many practical situations, e.g., the work efficiency of two people in cooperation is often greater or less than the combined work efficiency of two people.In 1971, Shilkret introduced the maxitive measure in place of the usual additive measure, and then proposed the integral with respect to a maxitive measure in [10].The concepts of fuzzy measures and fuzzy integrals (also called Sugeno integrals) were first introduced by Sugeno in his doctoral thesis in 1974 [11].Fuzzy measure is a class of set functions using weaker monotonicity instead of additivity.Fuzzy measures have been widely used in different scenarios and can be described as similar concepts such as importance, reliability, and satisfaction.Sugeno integrals replace the addition and multiplication of Lebesgue integrals with the maximum and minimum operators, respectively.These operations have limitations.Subsequently, many scholars further generalized Sugeno's integral theory based on other operators.For example, Garcia and Alvarez defined semi-normed fuzzy integrals and semiconorm fuzzy integrals and pointed out that Sugeno integrals are a special case [2].Dudois et al. introduced Sugeno-like qualitative integrals and qualitative co-integrals defined in terms of fuzzy conjunctions and implications, respectively [12].In 2010, Klement et al.Proposed the framework covering generalizations of Sugeno integrals, in which the role of multiplication is played by semicopulas [13].Note that the multiplication of Shilkret integrals is still the standard product.Jin et al. introduced the concept of weak universal integrals based on semicopulas, which are generalizations of Sugeno integrals and Shilkret integrals [14].Mihailovi and Pap defined Sugeno integrals based on set functions that have the properties of absolute monotony and sign stability [15].In recent years, many scholars have been interested in Sugeno integrals and their generalizations, such as [16][17][18][19][20].
Eslami et al. pointed out that t-norms are not suitable for solving natural interpretations of language words [21].In addition, Fodor and Keresztfalvi proposed non-associative conjunctions are very effective in generalized inference patterns [22].Bustince et al., in 2010, introduced the concept of overlap functions as a special class of bivariate continuous aggregation functions, which are closely related to continuous t-norms [23].Subsequently, scholars deeply studied the theory of overlap functions and their application, such as [24][25][26][27][28][29].Overlap functions are mainly used for image processing, classification problems, decision analysis, and intelligent information fusion, in which the associative law is not strongly required.In order to be applied in more fields, overlap functions were generalized in various ways, including general overlap functions [30], Archimedean overlap functions [31], quasi-overlap functions [32], pseudo-overlap functions [33], semi-overlap functions [34], and interval-valued pseudo-overlap functions [35].
The MADM requires comprehensively considering multiple attributes through the aggregation function, and gives the optimal choice or sorts the schemes.The usual MADM is to select the decision object that performs well on all attributes (indicators), which is quite demanding.Attribute weight values can reflect the importance of attributes.In the MADM problem with known attribute weights, the decision-maker considers all the attributes together by means of an aggregation function and gives the optimal choice or ranking of decision objects.However, different attribute weights will affect the decision results and it is difficult to obtain the optimal attribute weights.The MADM problem with unknown attribute weights has been studied by many researchers from different perspectives.For example, a new MADM method based on rough sets and fuzzy measures was proposed by Wang et al. [36].Because decision objects that perform well on all attributes are difficult to be selected out, many scholars have begun to study the MADM based on fuzzy quantifiers.The MADM problem based on fuzzy quantifiers selects the decision object that performs well on a certain proportion or quantification (such as most, many, more than half, etc.) of attributes.Therefore, it is necessary to study how to express and calculate fuzzy quantifiers such as most, many, etc.
In 1983, Zadeh first used the term "fuzzy quantifier" and described a method for quantifying fuzzy sets [37].Zadeh treated fuzzy quantifiers as fuzzy numbers, and linguistic quantified propositions correspond to fuzzy sets defined by linguistic predicates.Zadeh obtained the truth value of a quantification proposition by calculating the cardinality of the fuzzy set.In 1988, Yager, an American scholar, proposed the method of evaluating a linguistic quantified proposition based on the ordered weighted average (OWA) operators [38].Recently, Dvorak et al. proposed the notion of fuzzy quantifiers over fuzzy domains and investigated relevant semantic properties [39].Medina et al. further investigated the properties of generalized quantifiers and defined the semantics of multi-adjoint logic programs [40].In 2006, Ying, a Chinese scholar, proposed a method for modeling linguistic statements involving fuzzy quantifiers in natural language, in which fuzzy measures can be used to represent fuzzy quantifiers and Sugeno integrals can be used to calculate the truth value of a quantified statement [41].Zhang et al. studied fuzzy quantifiers and their integral semantics based on the Sugeno integral with t-norm, and successfully applied them to the problem [42].
For wider application, we generalized the t-norm-based Sugeno integral in [42] by replacing t-norms with overlap function, which is non-associative and continuous.The Sugeno integral based on overlap functions (O-Sugeno integral) is proposed as a new information fusion tool, and its related properties are studied.Then, the O-Sugeno integral is used to deal with fuzzy quantifiers and the O-Sugeno integral semantics of fuzzy quantifiers is proposed.In fuzzy quantifier integral semantics, fuzzy measures are usually used to represent fuzzy quantifiers, and O-Sugeno integrals are used to calculate the truth value of a quantified proposition.Finally, a novel MADM method is proposed based on the O-Sugeno integral semantics of fuzzy quantifiers.The method is used to solve the fuzzy quantifiers-based MADM problems.

Preliminaries
We briefly review the basic definitions and conclusions that are used in our discussion of overlap functions, fuzzy quantifiers, and Sugeno integrals.1] is called an overlap function if it satisfies the following requirements: for any x, y ∈ [0, 1]:

Example 1.
(1) The binary function is defined by O(x, y) = xy x + y 2 where x, y are two arbitrary element on the unit interval.Then it is an overlap function that does not have associativity and 1 is not a unit element, therefore, it is not a continuous t-norm.
(2) The binary function is defined by O(x, y) = min(x p , y p ) for every x, y ∈ [0, 1] and p > 0. Then it is an overlap function and is deflationary if p > 1 and inflationary if 0 < p < 1, and has neutral element 1 if p = 1.

Definition 3. A fuzzy quantifier includes two items:
For arbitrary non-empty set X, a Borel field ℘ X over X; and For convenience, the selection function Q(X, ℘ X ) is usually abbreviated as Q X when the Borel field does not need to be specifically indicated.Given X as a discourse domain, if E represents individuals in X that have a specific attribute A, then Q X (E) is seen as the truth value of the linguistic quantified statement "Q Xs are As".

Example 2.
The quantifier "at least five" is defined as follows: where the domain X is any nonempty set, and E is any subset of X.Then the quantifier "at least five" is a crisp quantifier because at least five X (E) ∈ {0, 1}.
As is well known, ∀ and ∃ are also crisp quantifiers.The following example gives three typical fuzzy quantifiers.

Example 3.
The terms "many", "most", and "almost all" are often used to indicate inexact amounts in natural language, and are defined based on the following fuzzy measures [41]: for every non-empty set X and any subset E of X, where |E| represents the cardinality of E.
In particular, A h• m will be abbreviated as h• m whenever A = X.
When the Borel field in measurable space is the power set of the underlying set, the O-Sugeno integral can be simplified.Theorem 2. Assume (X, ℘, m) is a fuzzy measure space and O: [0, 1] 2 → [0, 1] is an overlap function.If ℘ = 2 X , then for any ℘ measurable function h: X → [0, 1] and any subset A of X, we have where h λ = {x∈X: h(x) ≥ λ} for every λ∈ [0, 1].

Hence, we have
Further, we obtain In summary, we can get In the case where the domain is finite, the O-Sugeno integral over it can be further simplified.

Then the O-Sugeno integral of h over A is further simplified as follows:
(OS) where A is any subset of X and X i = {x j : i ≤ j ≤ n}, 1 ≤ i ≤ n.
Proof of Theorem 3.For any λ ∈ [0, 1], it holds that Given (X, ℘, m) as a fuzzy measure space and ℘ = 2 X and O: [0, 1] 2 → [0, 1] as an overlap function, for arbitrary ℘ measurable functions h, h 1 , and h 2 and arbitrary subset A of X, the following conclusion is established: , and for any x ∈ X, max(c, h)(x) = max{c, h(x)}, then it holds that Then, we have Furthermore, we obtain sup that is, Thus, it holds that Hence, we can obtain Furthermore, we obtain sup And because we obtain Thus, we can obtain that is, So, for any λ ∈ [0, 1], we have Then, Therefore, we get Furthermore, we obtain Consider the decision-making problem of a commercial housing purchase.After preliminary screening, the buyer needs to choose one of two properties.Assume that the evaluation of the property mainly considers the attributes geographical location, floor, and orientation, which are recorded as s 1 , s 2 , and s 3 .Let the attribute set X = {s 1 , s 2 , s 3 }.The importance of each attribute is determined by experts and house buyers as follows: The buyer rates the two properties and the three attributes as follows: First property: h 1 ({s 1 }) = 0.9, h 1 ({s 2 }) = 0.8, h 1 ({s 3 }) = 0.5; second property: h 2 ({s 1 }) = 0.6, h 2 ({s 2 }) = 0.9, h 2 ({s 3 }) = 0.7.
Taking the importance of the attribute in the property evaluation as a measure of the attribute set, it easy to see that it is non-additive.The h 1 and h 2 scores of the two properties are regarded as functions of the property set X.The overlap function is defined by Then the buyer's composite score for the first property can be calculated by the O-Sugeno integral of h 1 over X, as follows: The buyer's composite score for the second property can be calculated by the O-Sugeno integral of h 2 over X, as follows: This shows that the buyer has a higher comprehensive score for the first property, so he should buy the first property.

O-Sugeno Integral Semantics of Fuzzy Quantifiers
For the sake of completeness, we recall several concepts of a first-order logical language L q with fuzzy quantifiers.Definition 6.A first order logical language L q contains the following: (i) An enumerable set of individual variables: x 0 , x 1 , x 2 ; (ii) A set of predicate symbols: F = ∪ ∞ n=0 F n , where F n indicates the set of all n-place predicate symbols for every n ≥ 0, assuming that ∪ ∞ n=0 F n = Φ; (iii) Propositional connectors: ~and ∧; and (iv) Parentheses: ( ) [41].
The following definition gives the syntax of language L q : Definition 7. The minimum set of symbol strings is called set Wff of well-formed formula if the following conditions are satisfied: (i) For every n ≥ 0, if F is an n-place predicate symbol and y 1 , . .., y n are individual variables, then F(y 1 , . .., y n ) is a well-formed formula; (ii) If Q is a quantifier, x is an individual variable, and ϕ is a well-formed formula, then (Qx) ϕ is also a well-formed formula; and (iii) If ϕ, ϕ 1 , and ϕ 2 are all well-formed formulas, then ~ϕ, ϕ 1 , and ∧ϕ 2 are also well-formed formulas [41].
The following definitions give the semantics of language L q : Definition 8.The following items comprise an interpretation I of the logic language: (i) A measurable space (X, ℘), which is called the domain of the interpretation; (ii) For every n ≥ 0, there exists an element x i I in X corresponding to the individual variable x i ; and (iii) For every n ≥ 0 and any F ∈ F n , there exists a ℘ n -measurable function Proof of Proposition 1. .
The above proposition states that quantification degenerates in a single point domain.Proof of Proposition 2. (1) .
The above proposition shows that for the two quantifiers ∀ and ∃, the method of calculating the truth value of a quantified proposition based on O-Sugeno integrals corresponds to the standard method, which shows that the O-Sugeno integral semantics of fuzzy quantifiers is reasonable.
Example 5. We consider a comprehensive evaluation of students' health status (see Example 43 in [41]).Assuming X is a set consisting of 10 students, X = {s 1 , s 2 , . .., s 10 }, and H is a linguistic predicate, "to be healthy".The health evaluation of these students is shown in Table 1.Next, we choose the fuzzy quantifier Q = "most" to describe the overall health status of this group of students.
Let QxH(x) be the proposition "Most students are healthy" and I be the interpretation given in Table 1, then T I ((Qx)H(x)) represents the truth value of QxH(x) under I calculated by the O-Sugeno integral.According to Theorem 2 in Section 3 and Definition 4 in Section 4, we have where h(x i ) is the result of rearranging the possible values of H(x) in non-decreasing order, and X i = {x j : i ≤ j ≤ 10} for 1 ≤ i ≤ 10.Table 2 presents the rearranged truth values h(x i ) for 1 ≤ i ≤ 10.According to the definition of the quantifier "most" in Example 3, we calculate the fuzzy measures of X i as follows: Using the O-Sugeno integral in which the overlap function O(x, y) = x 2 y 2 for every x, y ∈ [0, 1], the truth value of QxH(x) is calculated as follows: = 0.316 ∨ 0.819 ∨ 0.837 ∨ 0.765 ∨ 0.682 ∨ 0.595 ∨ 0.503 ∨ 0.405 ∨ 0.299 ∨ 0.178 = 0.837 The above example shows that choosing different overlap functions to calculate the true value of the proposition "Most students are healthy" under the interpretation will lead to different results.In decision-making problems based on preference relationships, different overlap functions can reflect different fuzzy preferences, which provide multiple choices for decision-makers (they can manifest the preference relationship by choosing different overlap functions).Example 6.We consider a comprehensive evaluation of the weather conditions for a week (see Example 42 in [41]).Let X be a set consisting of 7 days, X = {Sunday, Monday, Tuesday, Wednesday, Thursday, Friday, Saturday}.And let P 1 and P 2 represent respectively the linguistic predicates "to be cloudy" and "to be cold".The respective weather conditions of the week are indicated in Table 3. Suppose Q is a fuzzy quantifier, "most", then the formula ϕ = (Qx)ψ = (Qx) (P 1 (x)∧~P 2 (x)) represents "many days (in this week) are cloudy but not cold".With interpretation I and truth values P 1 and P 2 given in Table 3, then T I (ϕ) = T I ((Qx) (P 1 (x) ∧~P 2 (x))) represents the truth value of ϕ = (Qx) (P 1 (x)∧~P 2 (x)) under interpretation I about the O-Sugeno integral.According to Theorem 2 in Section 3 and Definition 4 in Section 4, we have where h(x i ) is the result of the rearranged possible values of T I (P 1 (x)∧~P 2 (x)) in nondecreasing order, and  According to the definition of the quantifier "most" in Example 3, fuzzy measures about the fuzzy quantifier of X i are calculated as follows: The overlap function be defined as O(x, y) = min( √ x, √ y) for any x, y ∈ [0, 1], and by using the O-Sugeno integral, the truth value of (Qx)(P 1 (x)∧~P 2 (x)) is calculated as follows: = 0 ∨ 0 ∨ 0.447 ∨ 0.548 ∨ 0.655 ∨ 0.535 ∨ 0.378 = 0.655

Applying Integral Semantics of Fuzzy Quantifiers to MADM
The MADM based on fuzzy quantifiers is to select the decision object that performs well on a certain proportion or quantification (such as most, many, more that half, etc.) of attributes.In this section, we propose a MADM method based on O-Sugeno integral semantics of fuzzy quantifiers to solve the MADM problem involving fuzzy quantifiers.The specific process is described as follows.
The basic representations are as follows: S = {s 1 , s 2 , . .., s m } is a set of m decision objects (also known as feasible alternatives), G = {g 1 , g 2 , . .., g n } is a set of n evaluation indicators (also called attributes), and Q represents the fuzzy quantifiers such as most, many, more than half, etc.
Step 1: Calculate the truth values of linguistic predicates under the interpretations and rearrange them to obtain the standardized truth values.
The performance of each decision-making object on the attributes is regarded as an interpretation I.For any x ∈ G, ϕ(x) means that the predicate meets the requirements of attribute x.For each decision-making object s ∈ S, we compute the truth value of the linguistic predicate ϕ(x) under interpretation I, and then rearrange all of them to get h(x i ), where for 1 Step 2: Calculate fuzzy measures about the fuzzy quantifier.
According to the semantic analysis of the fuzzy quantifier, we can calculate a family of fuzzy measures Q X (X i ), where for 1 ≤ i ≤ n, X i = {x j : i ≤ j ≤ n}.
Step 3: Calculate the truth value of the proposition for each decision object based on O-Sugeno integral semantics.
We consider the proposition (Qx)ϕ(x) = "A decision object meets the requirements of attributes with the fuzzy proportion Q".Based on the O-Sugeno integral semantics of fuzzy quantifiers, we calculate the truth values D(s i ) of proposition (Qx)ϕ(x) under its interpretation for each decision-making object s i ∈ S: for any s ∈ G Step 4: Obtain the optimal object by ranking the truth values of decision objects.
Example 7. Decision-making problem for selecting excellent students.The best of three high school students will be recommended to enter a well-known university based on their mathematics, physics, biology, chemistry, and literature grades.The relevant data in Table 5 show the grades for each student in each course.In order to obtain a comprehensive evaluation of each student, we consider the proposition "(student) has performed well in almost all courses".The domain is indicated as X = {mathematics, physics, biology, chemistry, literature}, the fuzzy quantifier is Q = "almost all", and the predicate is ϕ (x) = "(student) performed well on x" for each student, then the proposition "(student) performs well in almost all courses" is expressed as the logic formula (Qx)ϕ(x).
Each student's performance in the five courses is considered as an interpretation I.For each student, we rearrange the truth values of the linguistic predicate ϕ(x) under its interpretation I to get h(x i ) for 1 ≤ i ≤ 5. Table 6 presents the rearranged truth values.According to the definition of "almost all" in Example 3, we can calculate fuzzy measures of X i = {x j : i ≤ j ≤ 5} for 1 ≤ i ≤ 5 about the fuzzy quantifier as follows: The overlap function is defined by O(x, y) = x y (x + y)/2 for any x, y ∈ [0, 1], then the true value (Qx)ϕ(x) of each student under interpretation I based on the O-Sugeno integral is calculated as follows:   The maximum value D(s 3 ) can be obtained by ranking these true values, so student s 3 is the best student.
Example 8. Decision-making problem about supplier selection.A factory needs to choose a supplier for an important raw material, and the decision-maker intends to select from four alternative suppliers, which are represented as s 1 , s 2 , s 3 , and s 4 .The decision-maker evaluates these suppliers in four aspects, which are called decision attributes: product price, product quality, service level, and reputation.The specific data are given in Table 7.In order to obtain a comprehensive evaluation of each supplier, we consider the proposition "(supplier) meets the requirements for most attributes".Domain X is indicated as X = {product price, product quality, service level, reputation}, the fuzzy quantifier is Q = "most", and the predicate is ϕ (x) = "(supplier) meets the requirement of x" for each x ∈ X, then the proposition "(supplier) meets the requirements for most attributes" is expressed as the logic formula (Qx)ϕ(x).
Each supplier's performance on four attributes is considered as an interpretation I.For each supplier, we rearrange the truth values of the linguistic predicate ϕ(x) under its interpretation I to get h(x i ) for 1 ≤ i ≤ 4. Table 8 presents the rearranged truth values.According to the definition of "most" in Example 3, we can calculate fuzzy measures of X i = {x j : i ≤ j ≤ 4} for 1 ≤ i ≤ 4 about the fuzzy quantifier as follows: Let the overlap function O: [0, 1] 2 → [0, 1] be defined as O(x, y) = 1 1 − xy + 1/xy for any x, y∈ [0, 1], then the true value (Qx)ϕ(x) of each supplier under its interpretation I based on the O-Sugeno integral is calculated as follows:    Therefore, the evaluation shows that supplier s 2 has the highest score, thus supplier s 2 should be selected.
Example 9. Decision-making problem about logistics park location.A city wants to build a logistics park, and the decision-maker plans to choose from eight alternatives, which are represented as s i , for 1 ≤ i ≤ 8.The decision-maker evaluates these alternatives in 12 aspects, which are called decision attributes: urban support, traffic conditions, geological environment, land price, urban traffic improvement, convenient delivery, surrounding facilities, neighboring enterprises, talent attraction, logistics development space, prospect of environmental development, and predicted economic development.The specific data are given in Table 9.In order to obtain a comprehensive evaluation of each alternative, we consider the proposition "(alternative) meets the requirements of most attributes".Domain X is indicated as X = {urban support, traffic conditions, geological environment, land price, urban traffic improvement, convenient delivery, surrounding facilities, neighboring enterprises, talent attraction, logistics development space, prospect of environmental development, predicted economic development}, the fuzzy quantifier is Q = "most", and the predicate is ϕ (x) = "(alternative) meets the requirement of x" for each x ∈ X, then the proposition "(alternative) meets the requirements of most attributes" is expressed as the logic formula (Qx)ϕ(x).
The performance of each alternative on 12 attributes is considered as an interpretation I.For each alternative, we rearrange the truth values of the linguistic predicate ϕ(x) under its interpretation I to get h(x i ) for 1 ≤ i ≤ 12. Table 10 presents the rearranged truth values.According to the definition of "most" in Example 3, we can calculate fuzzy measures of X i = {x j : i ≤ j ≤ 12} for 1 ≤ i ≤ 12 about the fuzzy quantifier as follows: After the calculation, we can obtain: The overlap function is defined as for any x, y ∈ [0, 1], then the true value (Qx)ϕ(x) of each supplier under its interpretation I based on the O-Sugeno integral is calculated as follows: After the calculation, we obtain the comprehensive evaluation values of all alternatives, as shown in Table 11.Therefore, the evaluation shows that alternative s 3 has the highest score, thus alternative s 3 should be selected.
Example 10.Decision-making problem about the purchase of a new energy car.A customer is going to buy a new energy car.After preliminary screening, the customer has four alternatives.These alternatives are represented as s i , for 1 ≤ i ≤ 4. In order to purchase a satisfactory car, the customer browsed the comments of each alternative on various network platforms and evaluated them from seven aspects (attributes): appearance, interior, space, comfort, power, operation difficulty, and cost performance.Through text sentiment analysis, all evaluation information is converted into specific data, as shown in Table 12.In order to obtain a comprehensive evaluation of each alternative, we consider the proposition of "(alternative) meets the requirements for almost all attributes".Domain X is indicated as X = {appearance, interior, space, comfort, power, operation difficulty, cost per-formance}, the fuzzy quantifier is Q = "almost all", and the predicate is φ(x) = "(alternative) meets the requirement of x" for each x∈X, then the proposition "(alternative) meets the requirements of almost all attributes" is expressed as the logic formula (Qx)φ(x).
The performance of each alternative on seven attributes is considered as an interpretation I.For each alternative, we rearrange the truth values of the linguistic predicate φ(x) under its interpretation I to get h(x i ) for 1 ≤ i ≤ 7. Table 13 presents the rearranged truth values.According to the definition of "almost all" in Example 3, we can calculate fuzzy measures of X i = {x j : 1 ≤ i ≤ 7} for 1 ≤ i ≤ 7 about fuzzy quantifier as follows: After the calculation, we can obtain: Q X (X 1 ) = 1, Q X (X 2 ) = 0.735, Q X (X 3 ) = 0.510, Q X (X 4 ) = 0.327, Q X (X 5 ) = 0.184, Q X (X 6 ) = 0.082, Q X (X 7 ) = 0.020 The overlap function is defined as O(x, y) = min( √ x, √ y), for any x, y∈ [0, 1], then the truth value (Qx)φ(x) of each alternative under its interpretation I based on the O-Sugeno integral is calculated as follows: for 1 ≤ j ≤ 4.
After the calculation, we obtain the comprehensive evaluation values of all alternatives, as shown in Table 14.
The overlap function is defined as O(x, y) = min( √ x, √ y), for any x, y∈ [0, 1], then the truth value (Qx)φ(x) of each supplier under its interpretation I based on the O-Sugeno integral is calculated as follows: for 1 ≤ j ≤ 4.
After the calculation, we obtain the comprehensive evaluation values of all alternatives, as shown in Table 17.Therefore, the evaluation shows that alternatives s 4 has the highest score, and the alternatives s 4 should be selected.

Conclusions
In this study, we proposed O-Sugeno integrals and studied their basic properties.Since overlap functions can be non-associative, the range of applications of O-Sugeno integrals is greatly expanded.Fuzzy quantifiers can be quantified by fuzzy measures, and linguistic quantifier propositions containing fuzzy quantifiers can be calculated their truth values using O-Sugeno integrals.Then, we researched the O-Sugeno integral semantics of fuzzy quantifiers.Finally, we proposed a MADM method based on O-Sugeno integral semantics of fuzzy quantifiers to solve the MADM problem involving fuzzy quantifier-based.
In future work, we will introduce Choquet integrals based on overlap functions and apply them to MADM problems involving fuzzy quantifiers.

Proposition 2 .
For any quantifier Q and for any formula ϕ ∈ Wff, if O is an overlap function with unit element 1, then for any interpretation I with domain X (1) T I ((∃x)ϕ) = sup u∈X T I{u/x} (ϕ) and (2) T I ((∀x)ϕ) = inf u∈X T I{u/x} (ϕ).

Table 1 .
Health condition of 10 students.

Table 3 .
Truth values of linguistic predicates P 1 and P 2 .
Table 4 presents the rearranged truth values h(x i ) for 1 ≤ i ≤ 7.

Table 5 .
Performance of three students.

Table 7 .
Attribute values of four suppliers.

Table 11 .
Comprehensive evaluation values of eight alternatives.

Table 17 .
Comprehensive evaluation values of nine alternatives.