Upper and Lower Bounds of the α-Universal Triple I Method for Unified Interval Implications

Yiming Tang ,Jianwei Gao and Yifan Huang

1School of Computer and Information,Hefei University of Technology,Hefei,230601,China

2Department of Electrical and Computer Engineering,University of Alberta,Edmonton,AB T6R 2V4,Canada

ABSTRACT The α-universal triple I(α-UTI)method is a recognized scheme in the field of fuzzy reasoning,which was proposed by our research group previously.The robustness of fuzzy reasoning determines the quality of reasoning algorithms to a large extent,which is quantified by calculating the disparity between the output of fuzzy reasoning with interference and the output without interference.Therefore,in this study,the interval robustness (embodied as the interval stability)of the α-UTI method is explored in the interval-valued fuzzy environment.To begin with,the stability of the α-UTI method is explored for the case of an individual rule,and the upper and lower bounds of its results are estimated,using four kinds of unified interval implications(including the R-interval implication,the S-interval implication,the QL-interval implication and the interval t-norm implication).Through analysis,it is found that the α-UTI method exhibits good interval stability for an individual rule.Moreover,the stability of the α-UTI method is revealed in the case of multiple rules,and the upper and lower bounds of its outcomes are estimated.The results show that the α-UTI method is stable for multiple rules when four kinds of unified interval implications are used,respectively.Lastly,the α-UTI reasoning chain method is presented,which contains a chain structure with multiple layers.The corresponding solutions and their interval perturbations are investigated.It is found that the α-UTI reasoning chain method is stable in the case of chain reasoning.Two application examples in affective computing are given to verify the stability of the α-UTI method.In summary,through theoretical proof and example verification,it is found that the α-UTI method has good interval robustness with four kinds of unified interval implications aiming at the situations of an individual rule,multi-rule and reasoning chain.

KEYWORDS Fuzzy reasoning;the CRI method;the triple I method;fuzzy implication;interval robustness

1 Introduction

As the core of fuzzy logic [1–3],fuzzy reasoning plays an important role in intelligent control,affective computing,machine vision,large models and other fields [4–7].Fuzzy reasoning itself has two key problems.The first problem is fuzzy modus ponens(FMP):

The other one is fuzzy modus tollens(FMT):

Since Zadeh came up with the compositional rule of inference(CRI)[8,9]method in 1973,it has been widely adopted in various fields such as industrial control and artificial intelligence.So far,many scholars have presented various fuzzy reasoning methods.Among them,Wang’s triple I(TI)method[10]is one of the most influential methods.

Due to the strong logical completeness of the TI method,many scholars have carried out more in-depth research in this direction.Many methods are proposed to enhance the TI method,such as theα-triple I constraint degree method [11],theα-universal triple I (α-UTI) method (proposed by us in [12]),the quintuple implicational method [13,14],symmetric implicational methods [15] and similarity-base inference methods[16].These methods all enhance the performance of the TI method to a certain extent.It is necessary to test the different properties of these methods in order to analyze their performance.

Among them,robustness is a crucial property,which refers to the resistance of the method to perturbations.It can be quantified by calculating the gap between the output of the fuzzy reasoning method with interference and the output without interference.The smaller the gap,the smaller the impact of interference.Distance[17–19](or dissimilarity)is a common tool,including the Chebyshev distance[20],the Minkowski distance[21]and the Hamming distance[22].The concepts of maximumε-disturbance,α-similarity,fuzzy set approximate equality derived from Chebyshev distance are explored in detail in[23–26].Therefore,the Chebyshev distance is also used in this study to measure the gap between the original output and the disturbed output to evaluate the robustness.

Fuzzy implication plays a key role in fuzzy reasoning strategy.Different implications will also have different effects on the robustness of the method.Reference [26] studied the robustness of the CRI method when adopting R-implications,S-implications and QL-implications,and demonstrates that CRI had strong stability.In [17],the robustness of the BKS (Bandler-Kohout subproduct)method with S-implications and QL-implications was discussed in the context of interval perturbation.Wang et al.[27]discovered the robustness of the TI method.

The main formula of theα-UTI method for FMP is as below[12](α∈[0,1]):

Theα-UTI method has been widely recognized in the field of fuzzy reasoning as a generalization of the CRI method and the TI method.Theα-UTI method is also a generalization of the universal triple I(UTI)method proposed in[12].In detail,whenα=1,theα-UTI method degenerates into the UTI method.

The current research gaps in this field include the following two aspects:

• On the one hand,how to give the solution of chain reasoning,a special form of reasoning,is a tough problem in fuzzy reasoning.In this regard,we can consider starting from theα-UTI method to construct a scheme oriented towards chain reasoning.

• On the other hand,it is not clear how the interval stability of theα-UTI method is.In particular,can the upper and lower bounds of its reasoning be estimated? This aspect has not yet been discussed.This has aroused our great interest,and also constitutes the research goal of this paper.

In this study,we explore the interval robustness of theα-UTI method,which is embodied by interval stability.

Fig.1 shows the detailed schematic diagram of the proposed study.

Figure 1: The detailed schematic diagram of the proposed study

The proposed study includes the following aspects:

• To begin with,we discuss the robustness of theα-UTI method in the case of an individual rule,and give an estimate of the upper and lower bounds.Therein,four kinds of unified interval implications mentioned above are employed in turn.It is important to note that each kind of implication actually contains a lot of specific implications,so this study can incorporate many implications into its framework.The process and flow chart of the corresponding algorithm are given.The results show that theα-UTI method is stable in the individual rule case under the interval perturbation.

• Moreover,we provide the estimation for upper and lower bounds for the multiple rules case of theα-UTI method.Here,four kinds of unified interval implications are respectively examined in theα-UTI method.The results show that,in the context of the interval perturbation,theα-UTI method is stable for the situation of multiple rules.

• In addition,for the problem of chain reasoning,we put forward a strategy based upon theα-UTI method,which is called theα-UTI reasoning chain method.We provide an intelligent algorithm to estimate its upper and lower bounds,and draw the corresponding flow chart.In this case,the four types of interval implications are adopted in turn.It is found theα-UTI reasoning chain method is stable for the problem of chain reasoning.

• Lastly,theα-UTI method is analyzed through two application examples in affective computing.Here we propose the scheme of emotional deduction based on theα-UTI method.These examples verify the stability of theα-UTI method.

To sum up,the results show that in three cases of individual rule,multiple rules and reasoning chain,theα-UTI method has good interval stability when it respectively adopts four kinds of unified interval implications mentioned above.

The structure of this paper is as follows.Section 2 gives the fundamental knowledge and related work.Sections 3 and 4 prove the robustness of theα-UTI method from the perspectives of individual rule and multiple rules,respectively.Section 5 probes into the robustness of theα-UTI reasoning chain method and its robustness.Section 6 gives two examples.Section 7 summarizes all the work and provides the prospect.

2 Preliminaries

This section mainly introduces the basic knowledge of fuzzy reasoning,and provides some interval implications and interval connectives.

Definition 2.1[26–28].Let Q denote the set of intervals in the range [0,1],that is,Q={[p,q]|0 ≤p≤q≤1}.

There are two functions L: Q →RandU: Q →Rthat extract the lower and upper endpoints of an interval,respectively.

For anyQ∈Q,using interval notation,the lower and upper endpoints can also be expressed asandThe following definition gives some basic operations of intervals.

Definition 2.2[28–30].For anyQ1,Q2∈Q,one has

In order to facilitate the subsequent operation,we give two tokens,namely ˆ0=[0,0]and ˆ1=[1,1].The definition of interval fuzzy implication is given below.

Definition 2.3[30,31].The operation→:Q2→Qis an interval fuzzy implication if it satisfies the underlying(5)and(6):

For the definition of interval fuzzy implication,there are other definitions,such as the need for incrementality with regard to the second variable.But here conditions (5) and (6) are often basic conditions,and generally need to be met.In summary,Definition 2.3 here is a classical and fundamental definition of interval fuzzy implication.

Two important operations are further defined here,in which these two concepts are mutually symmetric.

Definition 2.4[32,33].An operation ⊗:Q2→Qis referred to as an interval t-norm,when the operation is commutative,associative,monotonically increasing and satisfies⊗Q=Q(Q∈Q).

Definition 2.5[28,34].An operation ⊕:Q2→Qis referred to as an interval t-conorm,when the operation is commutative,associative,monotonically increasing and satisfies⊕Q=Q(Q∈Q).

The interval t-norm and the interval t-conorm are symmetric concepts.As the opposite structure of conventional operations,interval fuzzy negation is defined as below.

Definition 2.6[28,30,34,35].An operation N:Q→Qis under the title of an interval fuzzy negation,if it satisfies the subsequent conditions(whereQ1,Q2∈Q):

On the basis of interval fuzzy negation,if it still has:

then this is a strong interval fuzzy negation.

Subsequently,three important classes of interval fuzzy implication are defined as below.

Definition 2.7[30].An interval fuzzy implication is called an R-interval implication denoted by→⊗whenever there exists an interval t-norm ⊗and⊗is designed by

Definition 2.8[30].An interval fuzzy implication is under the title of an S-interval implication denoted by⊕,Nwhenever there exist an interval t-conorm and an interval fuzzy negation such that⊕,Nis given by

Definition 2.9[30].An interval fuzzy implication is called a QL-interval implication represented by⊗,⊕,Nwhenever there exist an interval t-norm,an interval t-conorm and an interval fuzzy negation letting⊗,⊕,Nbe provided by

The interval t-norm can also be regarded as an interval fuzzy implication,called the interval tnorm implication.

Definition 2.10[26].Supposeμl,μu∈F(Θ)andμl≤μr(θ∈Θ),namelythen[μl,μu]is called the fuzzy interval on Θ.

In what follows,the idea of interval disturbance is provided.

Definition 2.11[26].SupposeS∈F(Θ) and [μl,μu] is the fuzzy interval on Θ.Ifμl≤S≤μu(θ∈Θ),that means

holds,then[μl,μu]is called the interval disturbance ofSand we denoteS∈[μl,μu].

In this work,∨and ∧stand for supremum and infimum,respectively.

Lemma 2.1[26].Letσ1andσ2be real-valued,bounded maps on Θ,andS,R∈F(Θ).The following a)∼j)can be obtained:

Lemma 2.2[17]Letσ1andσ2be real-valued,bounded maps on Θ,then it can also be obtained:

Example 2.1Let[i,j],[h,k]∈Q.Here are some common interval fuzzy implications:

Example 2.2Here are three representative interval t-norms,which are the Gödel norm ⊗G,the Goguen norm ⊗Goand the Lukasiewicz norm ⊗L.The residual interval fuzzy implications areG,GoandL.

3 Interval Perturbation of the α-UTI Method for an Individual Rule

For an individual rule,assume that[ξl,ξu]and[ϕl,ϕu]are fuzzy intervals on Θ and[ψl,ψu]is a fuzzy interval on Ω.DenoteUTI1(ω)=UTI1(Ξ,Φ,Ψ)(ω)(ω∈Ω).For simplicity of calculation,we give the following notations:

Theorem 3.1Let Ξ,Φ ∈F(Θ),Ψ ∈F(Ω)and Ξ ∈[ξl,ξu],Φ ∈[ϕl,ϕu],Ψ ∈[ψl,ψu].Ifis an R-interval implication,then the result of theα-UTI method is as follows:

Proof:The R-interval implication is decreasing with respect to the first parameter and increasing with respect to the second parameter.From Lemma 2.1 and Lemma 2.2,it can be obtained as follows:

Moreover,one has

In summary,we have proved that(16)holds.

Theorem 3.1 gives a estimation of the correspondingα-UTI solutions for the case of the interval perturbation with an individual rule.In other words,it respectively provides an upper bound and a lower bound of theα-UTI solutions for R-interval implications.

Theorem 3.2,Theorem 3.3 and Theorem 3.4 can be achieved in a similar mode,in which the interval t-norm implication,the S-interval implication,the QL-interval implication are employed,respectively.

Theorem 3.2Let Ξ,Φ ∈F(Θ),Ψ ∈F(Ω)and Ξ ∈[ξl,ξu],Φ ∈[ϕl,ϕu],Ψ ∈[ψl,ψu].Ifis an interval t-norm implication,then the conclusion of the upper and lower bounds of theα-UTI method can be given as below:

Theorem 3.3Let Ξ,Φ ∈F(Θ),Ψ ∈F(Ω)and Ξ ∈[ξl,ξu],Φ ∈[ϕl,ϕu],Ψ ∈[ψl,ψu].Ifis an S-interval implication,then the conclusion of the upper and lower bounds of theα-UTI method can be given as below:

Theorem 3.4Let Ξ,Φ ∈F(Θ),Ψ ∈F(Ω) and Ξ ∈[ξl,ξu],Φ ∈[ϕl,ϕu],Ψ ∈[ψl,ψu].Ifis a QL-interval implication,then the conclusion of the upper and lower bounds of theα-UTI method can be found as below:

In light of Theorem 3.1 to Theorem 3.4,in the case of an individual rule,if related operators including the interval t-norm,the interval t-conorm and so on,then theα-UTI method is stable with regard to S-,QL-and interval t-norm implication.Theα-UTI method is stable with respect to Rinterval implication if the R-interval implication and the interval t-norm are continuous.All in all,theα-UTI method is robust for the individual rule.

Suppose that for theα-UTI method,there exists a perturbation array of input(Ξ,Ψ,Φ)as follows:

Besides,the consequent properties are satisfied:

In detail,we have from(23)that

Others can be analogously expanded.

Considering thatλlm,λumare given as upper and lower bounds on the output of theα-UTI method,it means that for([ξlm,ξum],[ψlm,ψum],[ϕlm,ϕum])(m=1,2,...),one has

When the continuity condition is satisfied,then

holds.In other words,if the above-mentioned continuity condition is effective,the outcome of theα-UTI method stably converges to a value.As a consequence,in light of the stable definition given in Definition 2.12,theα-UTI method is stable in the individual rule case.

For Theorem 3.1,we give an intelligent algorithm (see the following Algorithm 1) to deal with such operations.For the other theorems,we can get corresponding algorithms.

Fig.2 shows the flow chart of Algorithm 1.

4 Interval Perturbation of the α-UTI Method for Multiple Rules

For multiple rules,the notation for representing fuzzy intervals is similar for the individual rule.It is denoted that(ω∈Ω)

Theorem 4.1Assume that Ξi,Φ ∈F(Θ),Ψi∈F(Ω)where Ξi∈[ξli,ξui],Φ ∈[ϕl,ϕu],Ψi∈[ψli,ψui](i=1,···,n).When→is an S-interval implication,the result of theα-UTI method is as follows:

Proof:Whenis an S-interval implication,there are an interval t-conorm ⊕1and an interval fuzzy negation N letting

hold for two fuzzy setsQ1,Q2.

Figure 2: The flow chart of Algorithm 1

It follows from Lemma 2.1 and Lemma 2.2 that one has

In a similar structure,we can also find

To sum up,we can find that(28)is valid.The proof is accomplished.

Theorem 4.2,Theorem 4.3 and Theorem 4.4 can be proved in an analogous mode,in which four kinds of unified interval implications are employed in turn.

Theorem 4.2Assume that Ξi,Φ ∈F(Θ),Ψi∈F(Ω) where Ξi∈[ξli,ξui],Φ ∈[ϕl,ϕu],Ψi∈[ψli,ψui](i=1,···,n).Whenis an R-interval implication,the conclusion of the upper and lower bounds of theα-UTI method can be given as below:

Theorem 4.3Assume that Ξi,Φ ∈F(Θ),Ψi∈F(Ω) where Ξi∈[ξli,ξui],Φ ∈[ϕl,ϕu],Ψi∈[ψli,ψui](i=1,···,n).Whenis an interval t-norm implication,the result of theα-UTI method is as follows:

Theorem 4.4Assume that Ξi,Φ ∈F(Θ),Ψi∈F(Ω) where Ξi∈[ξli,ξui],Φ ∈[ϕl,ϕu],Ψi∈[ψli,ψui](i=1,···,n).Whenis a QL-interval implication,the conclusion of the upper and lower bounds of theα-UTI method can be given as below:

By virtue of Theorem 4.1 to Theorem 4.4,in the case of multiple rules,if operations inDefinitions 2.4–2.6are continuous,theα-UTI method is stable for multiple rules with respect to S-interval implication,QL-interval implication and interval t-norm implication.In addition,theα-UTI method is stable with respect to R-interval implication if the interval t-norm and the R-interval implication are continuous.All in all,theα-UTI fuzzy reasoning method is stable for multiple rules.In short,theα-UTI method is robust aiming at the multiple rules.

Suppose that for theα-UTI method,there exists a perturbation array of input(Ξ1,...,Ξn,Ψ1,...,Ψn,Φ)as follows:

Besides,the consequent properties are satisfied

In detail,we have from(36)that

Others can be analogously analyzed.

Noting thatλlm,λumare provided as upper and lower bounds on the outcome of theα-UTI method,it implies that for([ξlim,ξuim],[ψlim,ψuim],[ϕlm,ϕum])(i=1,2,...,n;m=1,2,...),one has

When the continuity condition is satisfied,then

is effective.That is,if the above-mentioned continuity condition is effective,the outcome of theα-UTI method stably converges to a value.Thereout,in light of the stable definition,theα-UTI method is stable for the situation of the multiple rules.

Similar to Theorem 3.1 and Algorithm 1,we can obtain corresponding algorithms for Theorems 4.1,4.2,4.3 and 4.4.

5 The α-UTI Reasoning Chain Method and Its Interval Perturbation

Here we propose theα-UTI reasoning chain method.Let Θ1,Θ2,...,Θn+1ben+1 universes,and Φ,Ξ1∈F(Θ1),Ψ1,Π1,Ξ2∈F(Θ2),...,Ψn,Πn∈F(Θn+1).The chain reasoning looks like this consequent structure:

To begin with,we employ theα-UTI method to get Π1from input Φ and rule 1(Ξ1Ψ1).Then,we use theα-UTI method to find Π2from input Π1and rule 2(Ξ2Ψ2).The rest can be done in the same manner.Lastly,we make use of theα-UTI method to obtain the final result Πnfrom input Πn-1and rule n(ΞnΨn).At this point,theα-UTI reasoning chain method is constructed.

Because of multiple reasoning,chain reasoning may lead to errors that may expand,so it is naturally more difficult to maintain stability.So the stability study of theα-UTI reasoning chain method is more important.

Now we discuss the problem of upper and lower bounds of inference results of theα-UTI reasoning chain method.First of all,we analyze the case of the S-interval implication.

Theorem 5.1Let Ξi∈[ξli,ξui],Ψi∈[ψli,ψui],Φ ∈[ϕl1,ϕu1](i=1,2,...,n),and ⊗be an interval t-norm.Whenis an S-interval implication,the result of theα-UTI reasoning chain method is as below:

Therein two notions are as follows(i=1,2,...,n-1):

Proof:It follows from the conclusion of Theorem 3.3 that one has

Furthermore,it can be derived(i=1,2,...,n-1):

With similar treatment,we can end up with the following formula:

To sum up,(41)holds.The proof is accomplished.

Moreover,we further discover the case of the R-interval implication,where the proof process is similar to that obtained.

Therein two notions are as follows(i=1,2,...,n-1):

Along similar lines,we can prove the following two theorems with regard to the interval t-norm implication and the QL-interval implication.

Theorem 5.3Let Ξi∈[ξli,ξui],Ψi∈[ψli,ψui],Φ ∈[ϕl1,ϕu1](i=1,2,...,n),and ⊗be an interval t-norm.Whenis an interval t-norm implication,the conclusion of the upper and lower bounds of theα-UTI reasoning chain method can be given as below:

Therein two notions are as follows(i=1,2,...,n-1):

Theorem 5.4Let Ξi∈[ξli,ξui],Ψi∈[ψli,ψui],Φ ∈[ϕl1,ϕu1](i=1,2,...,n),and ⊗be an interval t-norm.Whenis a QL-interval implication,the result of theα-UTI reasoning chain method is as below:

Therein two notions are as follows(i=1,2,...,n-1):

For Theorem 5.1,we provide an intelligent algorithm (see the following Algorithm 2).For the other theorems,we can similarly obtain corresponding algorithms.

Fig.3 shows the flow chart of Algorithm 2.

Figure 3: The flow chart of Algorithm 2

By virtue of Theorem 5.1 to Theorem 5.4,if the underlying operations inDefinitions 2.4–2.6are continuous,then theα-UTI reasoning chain method about ⊗and S-interval implication,QL-interval implication or interval t-norm implication is stable.Moreover,if interval t-norm are continuous,then this chain reasoning method for R-interval implication is stable.Summarizing above,theα-UTI reasoning chain method is stable.

Assume that for theα-UTI reasoning chain method,there is a perturbed queue with input(Ξ1,...,Ξn,Ψ1,...,Ψn,Φ):

Besides,the consequent properties are satisfied:

In detail,we have from(62)that

Others can be similarly expanded.

From Theorem 5.1 to Theorem 5.4,λlm,λumare given as upper and lower bounds on the output value of theα-UTI reasoning chain method,that is,for([ξlim,ξuim],[ψlim,ψuim],[ϕl1m,ϕu1m])(i=1,2,...,n;m=1,2,...),we have

When the continuity condition is satisfied,one has

is effective.In other words,the outcome of theα-UTI reasoning chain method gradually converges to a value when the continuity condition holds.As a consequence,in light of the stable definition provided in Definition 2.12,theα-UTI reasoning chain method is stable for the issue of chain reasoning.

6 Applications in Affective Computing

In summary,theα-UTI method is stable in the case of an individual rule,multiple rules and reasoning chain under the interval perturbation.In this section,we employ two examples to verify the interval stability of theα-UTI method.

Example 6.1.The first example is when the following rule is adopted:

For testing,we use a structure with interval perturbation in the input.We use Theorem 3.1 with the R-interval implicationL(related to(16)and(14))to calculate,andα=[0.85,0.90].

The interval of the second input is obviously smaller than that of the first input.It can be seen that theα-UTI method will eventually converge under the interval disturbance as the interval disturbance decreases under the reasonable input and rule.

For the background of Example 6.1,the input corresponds to the values of sorrow,anger,and hate,and the output corresponds to the value of joy(noting that these four are all basic emotions in affective computing).This reflects the relationship between several basic emotions.Comparing the two situations in Example 6.1,it can be seen that when the three input emotions are subjected to smaller interval perturbations,the change of output emotions tends to be stable.

Affective computing is receiving extensive attention.Emotion deduction(exploring how to reason about the membership of other emotions from some basic emotions)is significant in many ways(e.g.,emotional state transitions when building a large emotional corpus,etc.) and is an essential task in affective computing.Here we give an example of the application of the method in emotion deduction to demonstrate the robustness of theα-UTI method.

Example 6.2.We compute the emotion aspect by theα-UTI method,whichis implemented as(14).For the eight basic emotions(including surprise,expectation,anxiety,sorrow,anger,hate,joy,and love),we found a strong relationship between the first six emotions and fear(as a novel emotion).The emotion deduction system from six basic emotions to fear is established.The format of the inference rules is as follows:

Here,the input Ξireflects the values for six basic emotions and the output Ψistands for the value for the emotion fear.Here we use Theorem 4.2 with the R-interval implication and(32)to calculate.And we chooseα=[0.85,0.90].

Fig.4 shows the emotion deduction process of Example 6.2.

The context of Example 6.2 is emotional deduction.Emotion corpus is one of the key issues in affective computing.We have done a lot of work in constructing an emotion corpus,but the emotion corpus is often based on basic emotions,such as the eight basic emotions mentioned above.However,in the real world,there are many kinds of emotions,far more than these basic emotions.Obtaining values for other emotions,then,has become a recognized puzzle in the field of affective computing.That is why emotional deduction comes in.

Figure 4: The emotion deduction process of Example 6.2

Here we put forward the scheme of emotional deduction based on theα-UTI method,and naturally hope that such emotional deduction scheme is stable.Through the comparison of the two situations in Example 6.2,we can see that when the input interval disturbance is smaller,the obtained result also belongs to a smaller range,so the emotional deduction result is stable for multiple rules.This validates that our proposed emotional deduction scheme based on theα-UTI method is effective and practicable.

7 Summary and Prospect

In this study,we investigate the interval robustness(embodied by the interval stability)of theα-UTI method of fuzzy reasoning.The main contributions of this paper are reflected in the following aspects:

First of all,the stability of theα-UTI method is examined for an individual rule,and the upper and lower bounds are estimated for theα-UTI solutions.Here the analysis is conducted on the basis of four kinds of unified interval implications.The analysis shows that theα-UTI method exhibits good interval stability for an individual rule.

In addition,the stability of theα-UTI method is found in the context of multi-rule conditions,while the upper and lower bounds of its outcomes are estimated.Therein,four kinds of unified interval implications are adopted.It is observed that theα-UTI method is stable in the case of multiple rules.

Furthermore,theα-UTI reasoning chain method is put forward,containing a chain structure with multiple layers.The corresponding solutions are given and the interval perturbations are analyzed.The upper and lower bounds of the outcomes are estimated,involving four kinds of unified interval implications.The results show that theα-UTI reasoning chain method is stable from the viewpoint of interval perturbation.

Finally,theα-UTI method is studied through two application examples,incorporating an application of theα-UTI method in emotion deduction of affective computing.These examples show that theα-UTI solution converges stably to a value if the continuity condition is effective,which verifies the stability of theα-UTI method.

The novelty of this paper is manifested in the following aspects.To begin with,the estimation of the upper and lower bounds of interval perturbations is a novel problem to be explored for theα-UTI method.Moreover,we propose theα-UTI reasoning chain method as a new multi-layer inference mechanism.Lastly,we investigate the interval robustness of fuzzy reasoning under the interval-valued fuzzy environment.

The merits of this study are as follows.Firstly,we propose theα-UTI reasoning chain method,which consists of a chain structure with multiple layers.This method presents a new scheme to solve the problem of chain reasoning.Secondly,four kinds of important unified interval implications are considered in this work,which have certain universality.Finally,the upper and lower bounds are estimated for theα-UTI method in the interval-valued fuzzy environment.The results indicate that theα-UTI method has good interval robustness in situations involving an individual rule,multi-rule and reasoning chain.

The demerits of this study are outlined as follows.On the one hand,we do not consider the use of specific interval implications in theα-UTI method,especially those that do not belong to these four kinds of interval implications.The interval robustness of this kind of theα-UTI method is not considered.On the other hand,we have explored the interval robustness of theα-UTI method in the interval-valued fuzzy environment.However,other environments,such as the intuitionistic fuzzy environment,have not been discussed.These can be the guidelines for the upcoming work.

In future studies,we will consider incorporating the latest clustering algorithms[36,37] into theα-UTI method to build cluster-driven algorithms and explore their interval robustness.In addition,we will further explore other application areas ofα-UTI fuzzy reasoning,such as inventory modeling[38,39].

Acknowledgement:A preliminary version of this work was presented at the 3rd International Conference on Artificial Intelligence Logic and Applications(AILA 2023),and its title is“On interval perturbation of theα-universal triple I algorithm for unified interval implications”.

Funding Statement:This work was supported by the National Natural Science Foundation of China under Grants 62176083,62176084,61877016,and 61976078,the Key Research and Development Program of Anhui Province under Grant 202004d07020004,the Natural Science Foundation of Anhui Province under Grant 2108085MF203.

Author Contributions:Conceptualization,Y.T.and Y.H.;methodology,Y.T.and J.G.;software,Y.T.and J.G.;validation,Y.T.,Y.H.,and J.G.;formal analysis,J.G.;investigation,Y.T.and J.G.;resources,J.G.;data curation,J.G.;writing—original draft preparation,Y.T.and Y.H.;writing—review and editing,Y.T.and J.G.;visualization,J.G.;supervision,Y.T.;project administration,J.G.;funding acquisition,Y.T.All authors have read and agreed to the published version of the manuscript.

Availability of Data and Materials:Not applicable.

Conflicts of Interest:The authors declare that they have no conflicts of interest to report regarding the present study.