1. Introduction
Fuzzy set theory is widely used in artificial intelligence [
1,
2,
3,
4], which pays more attention to the true value of the properties, a kind of uncertainty caused by unclear concept extension [
5,
6,
7]. For example, we can not give an accurate definition and boundary between baldness and non-baldness. Planning algorithms [
8,
9,
10,
11,
12] aim to find strategies which perform well (or even optimally) for a given objective. With the development of fuzzy theory in application, it will become more and more common that the problems related to the combination of planning algorithms and fuzzy theory [
13,
14,
15,
16,
17,
18,
19]—for instance, whether there is a treatment during which the patient remains relaxed and his blood pressure was not high, where relaxed and not high are two fuzzy concepts, or this problem, whether there is a process during which a student learns mathematics, philosophy, biology, and chemistry well under the curriculum of one semester, where well is also a fuzzy concept. From the above examples, we can see that there are two classes of multi-problems: one is an objective with multi-properties, and another is a property but with multi-objectives. We describe the multi-properties objective reachability problem and multi-objective sets reachability problem, respectively. These two problems are also common, and there is some related work about those two problems listed in the following two paragraphs.
For the multi-properties objective reachability problem, there has been lots of related research work [
20,
21,
22]. Hartmanns et al. [
20] use Markov decision processes as the model and use sequential value iteration studying multi-cost bounded trade-off in Markov decision processes. Quatmann et al. [
21] use Markov automata as the model, convert multiple properties objective problems in Markov automata to problems in Markov decision processes and problems in digitization Markov automata, and investigate algorithms.
For the multi-objective sets reachability problem, there also has been lots of related research work [
9,
23,
24,
25,
26,
27]. Chatterjee et al. [
9] use graphs, Markov decision processes, and games on graphs as the models, investigate the sequential target reachability problems, and give polynomial algorithms to solve them. Li et al. [
24,
26] use a multi-valued transition system as the model, use trace sets expressing paths with specific properties and study some problems related to reachability by automata theory.
However, the above studies are all based on probability or multi-value and could be not able to describe and solve the examples in the paragraph above, and there are no formal definitions of these two problems in fuzzy scenarios. In other words, the formal definitions of those two problems in fuzzy scenarios are ambiguous, and the relationship and symmetry between them are the same. Zadeh fuzzy logic is a special fuzzy logic, based on which we maybe find a method to solve the problems of fuzzy scenarios. At the same time, there have been many studies on Zadeh fuzzy theory [
19,
28,
29,
30], which are also good theoretical bases for us. Therefore, we first give the formal definitions of those two problems in Zadeh fuzzy scenarios, and then study the relationship between them. In addition, we propose some possible application methods based on their relationship.
The goals of this paper are to formally describe two classes of multi-problems in Zadeh fuzzy logic which are gradually emerging due to the application and development of fuzzy theory in artificial intelligence, and to explain the relationships between the two problems, which means that we could solve one problem to solve another or use the solution of one problem in the process of solving another problem. The main contributions of this paper are as follows:
- (1)
The formal definition of the multi-properties objective reachability problem and multi-objective sets reachability problem over FKS based on Zadeh logic is proposed, which can be used to describe some multi-requirements of fuzzy systems;
- (2)
The symmetry between a multi-properties objective reachability problem and a special case of multi-objective sets reachability problems is studied, which is also a method of transforming a multi-properties objective reachability problem over FKS based on Zadeh logic to a multi-objective sets reachability problem. In this way, we can investigate the relationship between properties by studying the relationship between sets. At the same time, this also establishes a link between the two multi-problems in Zadeh fuzzy scenarios;
- (3)
A polynomial time conversion algorithm is proposed and analysed, and an illustrative example is listed, which means that our method and algorithm are applicable.
Structure of the paper. The rest of the paper is organized as follows: In
Section 2, the basic theoretical knowledge of fuzzy mathematics and fuzzy Kripke structures are given. In
Section 3, we introduce the formal definitions of the multi-properties objective reachability problem and the multi-objective sets reachability problem over FKS based on Zadeh logic, and propose a method from which we can transmit a multi-properties objective reachability problem over FKS based on Zadeh logic to a multi-objective sets reachability problem. The polynomial time conversion algorithm is also proposed in
Section 3. In
Section 4, an illustrative example is listed to show the details of our method and algorithm, and some possible application methods of combining properties and objective sets.
Section 5 summarizes this paper and gives the future research directions.
2. Preliminaries
Fuzzy set is a mathematical concept proposed by Zadeh in 1965. Fuzziness is due to the uncertainty caused by the breaking of the law of the excluded middle, i.e., the transition from one state to another is a continuous process when quantitative changes accumulate and eventually result in a qualitative change, which makes there be no clear boundary between “stability” and “instability”. Let us first review some notions of fuzzy sets and fuzzy logics. For a detailed introduction to the notions, the reader may refer to [
5,
6,
7,
31].
Let X be a universal set. A fuzzy set A of X is a function which associates each element in X a value in the interval , i.e., . For , is the membership of x in the fuzzy set A. represents the set of all fuzzy sets in X, i.e., . For , we use and to represent the union and intersection of A and B, respectively, where and . We can easily know that the union and intersection have idempotent law, commutative law, associative law, absorption law, and distributive law, which are important in our work.
Next, we recall some notations and definitions concerning FKSs. For a detailed introduction to the notions, the reader may refer to [
28].
A fuzzy Kripke structure over is a tuple , where
S is a countable, non-empty set of states;
P is a mapping from to , also known as fuzzy transition function;
is the initial state;
L is a labeling function that assigns a truth value in to an atomic proposition in a state.
An FKS is said to be finite if both S and are finite.
A state sequence over is an infinite path from iff for every , where denotes the set of all infinite state sequences over S. For simplicity, we use to denote an infinite path and to denote a finite prefix of which is also called a path fragment. We denote by the -st state of . We write for the set of all infinite paths starting from state s of . The truth value of a path fragment is defined as . In addition, we use to denote for simplicity. When the context is clear, we write , , for , , by dropping the notation .
In the rest of the paper, we consider finite FKSs.
3. Multi-Properties Objective Reachability Problem and Multi-Objective Sets Reachability Problem over FKS Based on Zadeh Logic
In this section, we first propose the formal definitions of the multi-properties objective reachability problem (MPOR) and the multi-objective sets reachability problem (MOSR) over FKS based on fuzzy logic, and then prove that an MPOR can be reduced to an MOSR in polynomial time.
First, let us give a definition of path property truth value, which is used to describe the truth value of an atomic proposition in a finite path of an FKS.
Definition 1. Let be an FKS with , and . Then, the path property truth value for is defined as Based on Definition 1, the definition of multi-properties objective reachability problems over FKS based on Zadeh logic is as follows:
Input: An FKS with , a multi-properties objective threshold function , and an operator functions .
Output: A path fragment such that: for every where .
In addition, the definition of multi-objective sets reachability problems over FKS based on Zadeh logic is as follows:
Input: An FKS , a series of states sets , and an objective threshold function .
Output: A path fragment such that: For every , there is a such that , and for every .
We can know that an MPOR is a problem of and an MOSR is a problem of S, which is the most different between them.
After the formal definitions of these two problems, we prove that an MPOR can be reduced to an MOSR in polynomial time, and give algorithms for this transformation.
Let be an FKS with , be a multi-properties objective threshold function, and be an operator function. We will discuss two special cases and for MPOR, and discuss the general case for MPOR based on the above two special cases.
3.1. Upper Threshold Function
Here, we consider the upper threshold function of the form
for every
. Then, for every
and every path fragment
starting from
,
which means that we can only compare
with
and obtain the result.
Example 1. For the FKS with in Figure 1, suppose that and . We compare with , with and with and find that and are true, but is false. Thus, we can know that there is not a path fragment in such that: for every because makes for every path starting from . 3.2. Lower Threshold Function
The form of the lower threshold function is for every . Then, we can reduce it to an MOSR by the following reduction.
Reduction 1. Letbe an FKS with, be a multi-properties objective threshold function, andbe an operator function. Then, we construct the following FKS:
, and iff or ,
,
iff ,
for every and ,
.
In addition, construct setfor everyby the following:
We can know that the running time of Reduction 1 is polynomial because all of the constructing operation is in polynomial time. Then, we prove that an MPOR can be reduced to an MOSR based on Reduction 1. We can know that
from the absorption law of ∧, which is widely used in the proof of Theorem 1.
Theorem 1. Let and for every be given by Reduction 1 when applied to with , , and . Then, the MPOR of with , f, and ⊳ returns a path if and only if the MOSR of with for every and returns a path.
Proof of Theorem 1. First, for the ‘if’ part, suppose that the MOSR of
with
for every
and
returns a path
. From the definition of MOSR, we know, that for every
, there is a
such that:
for every
and
, and
from Reduction 1. We can know that, for every
,
from Definition 1 and absorption law of ∧. Then, in
, for every
from the idempotent law and absorption law of ∧.
Thus, the path is a path returning by the MPOR of with , f, and ⊳.
Second, for the ‘only if’ part, suppose that the MPOR of
with
,
f, and ⊳ returns a path
. Then, we can know that
for every
from the definition of path fragment. Therefore,
and
is a path fragment of
. From the absorption law and idempotent law of ∧, we have that, for every
,
We could know that there must be a
from the definition of ∧. Therefore,
from Reduction 1. Hence, the MOSR of
with
for every
and
returns path
. □
Algorithm 1 is the pseudo code of transformation from MPOR to MOSR. Its correctness is proved by Theorem 1. Then, we analyze its complexity.
Algorithm 1 Conversion algorithm |
- Require:
An FKS with , a multi-properties objective threshold function , and an operator function - Ensure:
An FKS with for every - 1:
Construct - 2:
Construct based on - 3:
Construct for every and - 4:
Construct for every
|
Theorem 2. Algorithm 1 has running time .
Proof of Theorem 2. Line 1 runs in time . Line 2 runs in time . Line 3 runs in time . Line 4 runs in time . Thus, the running time of Algorithm is . □
Example 2. For the FKS in Figure 1, suppose that and . We construct where and are shown in Figure 2, where the truth values of in states are marked in states. In addition, is the state , i.e., state 0. Then, we construct set for every and have , and .
Thus, we can find a path fragment in passing through at least one state in each of sets , , and , to find out whether there is a path fragment in which makes for every .
3.3. Mixed Threshold Function
Here, we consider the general case which is a mixture of the upper threshold function and the lower threshold, i.e., . Then, we can also use the Reduction 1 to find the path fragment, but we need to process to meet those conditions, which require or for some .
The process is as follows:
Reduction 2. Letbe an FKS with, be a multi-properties objective threshold function, andbe an operator function.
First, we construct and to divide by ⊳. Then, we construct the following FKS .
,andiffor:andfor every,
iff ,
for every and ,
.
In addition, construct setfor everyby the following:
Please note that the differences between Reduction 1 and Reduction 2 are adding restrictions in states set and the objective states sets. Then, we prove Theorem 3 to describe how to convert.
Theorem 3. Let and for every be given by Reduction 2 when applied to with , , and . Then, the MPOR of with , f, and ⊳ returns a path if and only if for every and the MOSR of with for every and returns a path.
Proof of Theorem 3. First, for the ‘if’ part, suppose that
for every
and the MOSR of
with
for every
and
returns a path
. Then, from the proof in Theorem 1, we can know that, in
for every
,
In addition, from Reduction 2, we know that, for every
and
,
Thus, for every
,
from the the absorption law and idempotent law of ∧ and Reduction 2.
Hence, for every , which means that the MPOR of with , f, and ⊳ returns a path .
Second, for the ‘only if’ part, suppose that the MPOR of with , f, and ⊳ returns a path .
Then, we can know from Definition 1 and the definition of MPOR that, for every
,
which means that
and
for every
. Therefore,
from Reduction 2. Hence,
is a path of
From the proof of Theorem 1, we can obtain immediately that is the returned path in the MOSR of with for every and . □
Algorithm 2 is the pseudo code of transformation from MPOR to MOSR. Its correctness is proved by Theorem 3. Then, we analyze its complexity.
Algorithm 2 Conversion algorithm |
- Require:
An FKS with , a multi-properties objective threshold function , and an operator function - Ensure:
An FKS with for every - 1:
Divide into and - 2:
Compare with for every , and construct - 3:
Construct based on - 4:
Construct for every and - 5:
Construct for every
|
Theorem 4. Algorithm 2 has running time .
Proof. Line 1 runs in time . Line 2 runs in time . Line 3 runs in time . Line 4 runs in time . Line 5 runs in time . Thus, the running time of Algorithm is . □
Example 3. For the FKS in Figure 1, suppose that and . First, we divide into and .
Second, we construct where and are shown in Figure 3, where the truth values of in states are marked in states. In addition, is the state , i.e., state 0. Then, we construct set for every and have and .
Thus, we can find a path fragment in passing through at least one state in each of sets and , to find out whether there is a path fragment in , which makes for every .
4. Illustrative Example
Let us illustrate the algorithm by applying it to the disease diagnosis system studied in [
24,
28,
32].
Assume that there is a new infectious disease in an area, where all physicians have no complete knowledge about the disease. The physicians by their experience think that some symptoms may be the features of this disease, and a treatment may be useful for treating the disease. A fuzzy Kripke structure can be used to model the treatment processes of a patient.
For simplicity, the physicians consider roughly the patient’s symptoms to be three external states: “cough”, “fever”, “diarrhea” and one internal state: “halcyon”, which are represented by
C,
F,
D, and
H, i.e.,
. Suppose now that there is a patient, and the physicians consider roughly the patient’s condition to be five states represented by
, i.e.,
. According to the physicians’ estimation, the labeling function
L is defined as follows:
Similarly, it is imprecise to say at what point exactly a patient’s condition has changed from one state to another state after the drug treatment, i.e., a treatment may lead to a state to multi-states with respective degrees. According to the physicians’ estimation, the transition possibilities after the treatment are as follows:
Then, we consider the following MPOR problems based on :
MPOR1: , ,
MPOR2: , ,
MPOR3: , ,
MPOR4: , .
For MOSR1, because , we only compare the truth value of every in initial state with and can obtain that a path fragment to this problem is .
For MOSR2, because
, we construct
based on Reduction 1 in
Figure 5, of which
is the states set and
is the transitions. The states set
, and the series of states sets are
,
,
and
. We can find that
, which means that
is always true during this process and can be omitted. In addition,
, which means that, if we passed through the process
or
or
, the truth value will be sure to be
,
and
, and that, if our process makes
, it will meet
and
. In other words, the relationships on these sets may be used to construct and validate inference rules.
For MOSR3, because
, we construct
based on Reduction 2 in
Figure 6, of which
is the states set and
is the transitions. The states set
, and the series of states sets are
and
, which means that perhaps we can achieve the transformation between problems through some set operations.
For MOSR4, because
, we construct
based on Reduction 2 in
Figure 7, of which
is the states set and
is the transitions. The states set
, and the series of states sets are
and
, which means that, if we want to keep
and
, we will always not meet
and
.
5. Conclusions
In this paper, we first propose the multi-properties objective reachability problem (MPOR) and multi-objective sets reachability problem (MOSR) over FKS based on Zadeh logic. Then, we prove that a multi-properties objective reachability problem and a special case of multi-objective sets reachability problems have symmetry, and give a polynomial time algorithm based on this symmetry. Finally, we use the example of a disease diagnosis system to illustrate the process and some possible applications. The main contribution of this paper is a symmetry and a polynomial time conversion algorithm, which may be used to study the relationship between properties (MPOR) through the relationship of sets (MOSR), and establishes a link between the two multi-problems in the Zadeh fuzzy scene.
At the beginning, we were prepared to prove that these two multi-problems were equivalent in the Zadeh fuzzy scene. However, we find that the multi-objective sets reachability problem is more complex. Next, we will focus on the multi-objective sets reachability problem. In addition, there are several problems that are worthy of further study. One of the directions is to systematically investigate the method of studying property relationships through sets. Another direction is to extend Zadeh fuzzy logic to t-norm fuzzy logic. In addition, the study of whether there is a method through which we can transmit the set problems to property problems under some special cases is possible. In addition, it can be studied how to use MPOR, MOSR, and their relationships to solve fuzzy equations and fuzzy inequalities.