Computer Science and Engineering
p-ISSN: 2163-1484 e-ISSN: 2163-1492
2017; 7(2): 52-66
doi:10.5923/j.computer.20170702.03

Nghiem Van Tinh1, Nguyen Cong Dieu2
1Thai Nguyen University of Technology, Thai Nguyen University, Thainguyen, Vietnam
2Thang Long University, Hanoi, Vietnam
Correspondence to: Nghiem Van Tinh, Thai Nguyen University of Technology, Thai Nguyen University, Thainguyen, Vietnam.
| Email: | ![]() |
Copyright © 2017 Scientific & Academic Publishing. All Rights Reserved.
This work is licensed under the Creative Commons Attribution International License (CC BY).
http://creativecommons.org/licenses/by/4.0/

Fuzzy time series forecasting models are used to overcome traditional time series methods when the historical data of traditional time series approaches contain uncertainty or need to be represented by linguistic values. Besides, fuzzy time series forecasting methods do not require any assumption valid. Generally, fuzzy time series forecasting methods consist of three major stages such as fuzzification, determination of fuzzy logic relationships or fuzzy relationship matrix, and defuzzification. All these stages of fuzzy time series are very important on the forecasting performance of the model. In this paper, a new hybrid fuzzy time series forecasting model is proposed based on three computational approaches such as: the new concept of time-variant fuzzy relationship group is used to establish time-variant fuzzy relationship group in the determination of fuzzy logical relationships stage, named called the time - variant fuzzy logical relationship groups (TV-FLRGs), the proposed forecasting rules is applied to calculate the forecasting value for the TV-FLRGs and particle swarm optimization technique (PSO) is aggregated with TV-FLRGs to adjust interval lengths and find proper intervals in the universe of discourse with the objective of increasing forecasting accuracy. To verify the effectiveness of the proposed model, two numerical data sets are selected to illustrate the proposed method and compare the forecasting accuracy with existing methods. The results show that the proposed model gets a higher average forecasting accuracy rate to forecast the Taiwan futures exchange (TAIFEX) and enrolments of the University of Alabama than the existing methods based on the first – order and high-order fuzzy time series.
Keywords: Enrolments, TAIFEX, Forecasting, Fuzzy time series (FTS), Time – variant fuzzy logical relationship groups, High-order fuzzy time series, Particle swarm optimization
Cite this paper: Nghiem Van Tinh, Nguyen Cong Dieu, A New Hybrid Fuzzy Time Series Forecasting Model Combined the Time -Variant Fuzzy Logical Relationship Groups with Particle Swam Optimization, Computer Science and Engineering, Vol. 7 No. 2, 2017, pp. 52-66. doi: 10.5923/j.computer.20170702.03.
be an universal set; a fuzzy set Ai of U is defined as 

where
is a membership function of a given set A, such that
indicates the grade of membership of ui in the fuzzy set A, such that
and 1≤ i ≤ n .. General definitions of FTS are given as follows:Definition 1: Fuzzy time series [1, 2]Let
a subset of R, be the universe of discourse on which fuzzy sets
are defined and if
be a collection of
then
is called a FTS on
With the help of the following example, the notions of FTS can be explained:Example: The common observations of daily weather condition for certain area can be described using the daily common words “hot”, “very hot”, “cold”, “very cold”, “good”, “very good”, etc. All these words can be represented by fuzzy sets.Definition 2: Fuzzy logic relationships (FLRs) [1, 3]The relationship between F(t) and F(t-1) can be denoted by
Let
and
the relationship between F(t) and F(t -1) is denoted by fuzzy logical relationship
where
and
refer to the current state or the left - hand side and the next state or the right-hand side of fuzzy time series.Definition 3: The high- order fuzzy logical relations [5]Let
be a fuzzy time series. If
is caused by
then this fuzzy relationship is represented by by
and is called an m- order fuzzy time series.Definition 4: Fuzzy logic relationship groups (FLRGs) [3]Fuzzy logical relationships with the same fuzzy set in the left-hand side of the fuzzy relationships can be grouped into a fuzzy logic relationship group. Suppose there are exists fuzzy logic relationships as follows: 
these fuzzy logic relationship can be grouped into the same FLRG as:
The same fuzzy set appear more than once time on the right hand side, according to Chen model [3], it can be only counted one time but Yu model [6], the recurrence of fuzzy set can be admitted.Definition 5: The concept of Time-variant fuzzy logical relationship groups [18].The fuzzy logical relationship is determined by the relationship of
If,
and 
The relationship
is replaced by
The same way, at the time t, we will have the following fuzzy logical relationship
and
with
It is noted that Ai(t1) and Ai(t2) has the same linguistic value as Ai, but appear at different times t1 and t2, respectively. It means that if the fuzzy logical relationship took place before
the fuzzy logical relationships can be grouped into the same FLRG as
and it is called first – order time-variant fuzzy logical relationship group.Definition 6: The m – order time-variant fuzzy logical relationship groups [19].If there are the m - order fuzzy logical relationships having the same left-hand side, shown as follows:
The notation
indicate the fuzzy set
which appear in the m- order fuzzy relationships at time t1, t2,…,tp, respectively.It can be eliminated the time variable on the left-hand side of the fuzzy logical relationships as follows:
with t1< t2<…<tp, then these fuzzy logical relationships at the time tp can be grouped into a TV- FLRG, shown as follows: 
![]() | (1) |
![]() | (2) |
![]() | (3) |
is the current position of a particle id in k-th iteration;ü
is the velocity of the particle id in k-th iteration, and is limited to
where
is a constant pre-defined by user.ü
is the position of the particle id that experiences the best fitness value.ü
is the best one of all personal best positions of all particles within the swarm.ü Rand() is the function can generate a random real number between 0 and 1 under normal distribution.ü
and
are acceleration values which represent the selfcondence coefficient and the social coefficient, respectively.ü
is the inertia weight factor accoding to Eq. (3).A briefly description of the standard PSO is summarized in the following algorithm 1.
Based on the Definition 5 and 6 of the time - variant fuzzy logical relationship groups, an algorithm for TV-FLRGs is proposed as follows:
The universe of discourse is defined as
In order to ensure the forecasting values bounded in the universe of discourse U, we set 
and
where
are the minimum and maximum data of
and
are two proper positive integers to tune the lower bound and upper bound of the U. From the historical data [14], we obtain 
Thus, the universe of discourse is defined as
with
and
Step 2: Partition U into equal length intervalsDivide U into equal length intervals. Compared to the previous models in [3] and [14], we cut U into seven intervals,
respectively. The length of each interval is
Thus, the seven intervals are defined as follows:ui = [13000 +(i-1)*L, 13000 + i *L), with
gets seven intervals as:u1 = [13000, 14000), u2 = [14000,15000), …, u6 = [18000,19000), u7 = [19000, 20000).Step 3: Define the fuzzy sets for observationsEach of interval in Step 2 represents a linguistic variable of “enrolments” in [3]. For seven intervals, there are seven linguistic values which are
“not many”,
“not too many”,
“many”,
“many many”,
“very many”,
“too many”, and
“too many many” to represent different areas in the universe of discourse on U, respectively. Each linguistic variable represents a fuzzy set
and its definitions is described in (4) and (5) as follows.![]() | (4) |
![]() | (5) |
uj is the j-th interval of U. The value of
indicates the grade of membership of uj in the fuzzy set Ai. For simplicity, the different membership values of fuzzy set
are selected by according to Eq. (5). According to Eq. (4) and (5), a fuzzy set contains 7 intervals. Contrarily, an interval belongs to all fuzzy sets with different membership degrees. For example,
belongs to
and
with membership degrees of 1 and 0.5 respectively, and other fuzzy sets with membership degree is 0.Step 4: Fuzzy all historical enrolments dataIn order to fuzzify all historical data, it’s necessary to assign a corresponding linguistic value to each interval first. The simplest way is to assign the linguistic value with respect to the corresponding fuzzy set that each interval belongs to with the highest membership degree. For example, the historical enrolment of year 1972 is 13563, and it belongs to interval
because 13563 is within [13000, 14000). So, we then assign the linguistic value ‘‘not many” (eg. the fuzzy set
) corresponding to interval
to it. Consider two time serials data
and
at year t, where
is actual data and
is the fuzzy set of
According to Eq. (4), the fuzzy set
has the maximum membership value at the interval
Therefore, the historical data time series on date
is fuzzified to
The completed fuzzified results of the enrolments are listed in Table 1.
|
Based on Definition 2 and 3, one fuzzy relationship is built by two or more consecutive fuzzy sets in time series. To establish a fuzzy logical relationship with various orders, we should find out any relationship which has the type 
where
and
are called the current state and the next state, respectively. Then a m - order fuzzy logical relationship is got by replacing the corresponding linguistic values as follows:
Two examples for first-order and three-order are illustrated as follows.In the case of m = 1, two consecutive fuzzy sets are used to form a first – order fuzzy logical relationship. For example, based on Table 1, one fuzzy relationship
is created by replacing the historical data of F(1973) and F(1974) with linguistic values of
and
respectively. All first-order fuzzy relationships from year 1972 to 1992 are shown in column 3 of Table 2.Similarly, in the case of m = 3, four consecutive fuzzy sets are used to form a three – order fuzzy logical relationship. For example, based on Table 1, a fuzzy relationship
is got as 
respectively. All three-order fuzzy logical relationships from year 1974 to 1992 are shown in column 4 of Table 2. If the linguistic value of the next state does not exist in the historical data, the symbol ‘#’ is used to denote the unknown linguistic value. The fuzzy logical relationship with unknown linguistic value of the next state is used for testing. For example, a first-order fuzzy logical relationship is F(1992) → F(1993) where the linguistic value of F(1993) is unknown. Therefore, the fuzzy relationship is expressed as 
|
These fuzzy logical relationships can be grouped together into two group G1 and G2 in chronological order are listed as follows:
From this viewpoint and based on Table 2, we can obtain 22 the first -order TV- FLRGs are shown in column 2 of Table 3. Where, the first 21 groups of the first – order fuzzy logical relationship groups are called the trained patterns (or in training phase), and the last one is called the untrained pattern (or in testing phase). Similarly, we can establish m – order time – variant FLRGs based on Definition 6. For example, assume m=3 and there two 3rd – order fuzzy logical relationships with the left – hand side as follows: 
These fuzzy logical relationships can be grouped together into two group G1 and G2 in chronological order are listed as follows: 
From column 4 of Table 2 and based on Definition 6, all the three-order time – variant FLRGs are shown in column 3 of Table 3.
|
then the forecasted value of year t is calculated as follows:
where,
are the middle values of the intervals ui1, ui2 and uik respectively, and the maximum membership values of Ai1, Ai2 , . .. ,Aik occur at intervals ui1, ui2, uik, respectively.
is chronologically determined weights.For example, the forecasted enrolments of the years 1974 is calculated as follows: From column 2 of Table 2, we can see that the fuzzified enrolments of year 1973 is A1. From column 2 Table 3, we can see that there is a fuzzy logical relationship group A1 → A1, A1, A2 that receives from three fuzzy logical relationships ‘‘A1 → A1, A1 → A1, A1 → A2” in chronological order are 1972, 1973 and 1974, respectively. Then, we can assign different weights for each FLR incrementally, say 1, 2, and 3 (the recent FLR is assigned the highest weight of 3). Therefore, the forecasted enrolments of year 1974 is calculated as follows:
Where,
are the middle values of the intervals
respectively. Following the above example, the complete forecasted values for all the first - order FLRGs in column 2 of Table 3 are listed in Table 4.Rule 2: In the case of high – order TV-FLRGsIn order to estimate all forecasting values for all high – order TV-FLRGs, we consider more information within all next states or fuzzy sets on the right-hand side of all fuzzy relationships in the same group.The viewpoint of this principle is presented as following. For each group in column 3 of Table 3, we divide each corresponding interval of each next state into p sub-intervals with equal size, and calculate a forecasted value for each group according to Eq. (6).![]() | (6) |
ü n is the total number of next states or the total number of fuzzy sets on the right-hand side within the same group.ü
is the midpoint of one of p sub-intervals (means the midpoint of j-th sub-interval) corresponding to j-th fuzzy set on the right-hand side where the highest level of Akj occur in this interval.For example, in column 3 of Table 3, Group 1 of three – order FLRs has only one fuzzy set on the right-hand side as
where the highest membership level of A2 belongs to interval
In this study, we divide the interval
into four sub-intervals which are
In Table 3, the three-order fuzzy logical relationship group
is got as F(1971), F(1972), F(1973) → F(1974); where the historical data of year 1974 is 14696 and it is within sub-interval
and then the midpoint
of sub-interval
is 14625. The finally, forecasted value for Group 1 according to Eq. (6) is 14625. Forecasted value of all remaining three – order TV- FLRGs are calculated in a similar manner and shown in Table 5.Rule 3: In the case of FLRGs is empty (called the untrained pattern)To estimate the forecasted value for the untrained pattern in testing phase, we use defuzzification rule is proposed in [14] whose name as mater voting (MV) scheme. For FLRG which contains the unknown linguistic value of the next, the MV scheme gives the highest votes (weights) to the latest past and one vote to other past linguistic values in the current state respectively, and calculates a forecasted value based on Eq. (7) as follows:![]() | (7) |
means the highest votes predefined by user, the symbol m is the order of the fuzzy logical relationship, the symbols
and
denote the midpoints of the corresponding intervals of the latest past and other past linguistic values in the current state. From column 3 of Table 3, it can be shown that last group has the three - order fuzzy logical relationship A7, A7, A6 → # as it is created by the fuzzy relationship 
since the linguistic value of F(1993) is unknown within the historical data, and this unknown next state is denoted by the symbol ‘#‘. Then, calculating value for "#" based on the current state of this group is computed by Eq. (7). The result of group with unknown next state under wh of 15 is shown in Table 5.
|
|
|
![]() | (8) |
and
respectively. Each particle is a vector consisting of n-1 elements
where
and
Based on these n-1 elements, define the n intervals as 
and
respectively. When a particle moves to a new position, the elements of the corresponding new vector need to be sorted to ensure that each element bi arranges in an ascending order. The complete steps of the proposed method are presented in Algorithm 3.
|
|
![]() | Figure 1. A comparison of the MSE value between proposed model and the existing models based on first – order FTS |
|
|
Furthermore, we also perform 10 more runs in each order to be compared with various high-order forecasting models under seven intervals such as C02 model in [5]. CC06b model in [11], HPSO model in [14] and AFPSO model in [20]. The detail of comparison is shown in Table 11. The trend in forecasting of enrolments based on the high - order FTS under various orders by MSE value can be visualized in Fig.2.
|
![]() | Figure 2. A comparison of the MSE values for 7 intervals with various high-order FLRGs |
|
|
|