American Journal of Computational and Applied Mathematics
p-ISSN: 2165-8935 e-ISSN: 2165-8943
2012; 2(5): 232-240
doi: 10.5923/j.ajcam.20120205.06
Michael Gr. Voskoglou
School of Technological Applications, Graduate Technological Educational Institute (T. E. I.), Patras, 263 34, Greece
Correspondence to: Michael Gr. Voskoglou , School of Technological Applications, Graduate Technological Educational Institute (T. E. I.), Patras, 263 34, Greece.
| Email: | ![]() |
Copyright © 2012 Scientific & Academic Publishing. All Rights Reserved.
In the present paper we use principles of fuzzy logic to develop a general model representing several processes in a system’s operation characterized by a degree of vagueness and/or uncertainty. For this, the main stages of the corresponding process are represented as fuzzy subsets of a set of linguistic labels characterizing the system’s performance at each stage. We also introduce three alternative measures of a fuzzy system’s effectiveness connected to our general model. These measures include the system’s total possibilistic uncertainty, the Shannon’s entropy properly modified for use in a fuzzy environment and the “centroid” method in which the coordinates of the center of mass of the graph of the membership function involved provide an alternative measure of the system’s performance. The advantages and disadvantages of the above measures are discussed and a combined use of them is suggested for achieving a worthy of credit mathematical analysis of the corresponding situation. An application is also developed for the Mathematical Modelling process illustrating the use of our results in practice.
Keywords: Systems Theory, Fuzzy Sets and Logic, Possibility, Uncertainty, Center of Mass, Mathematical Modelling
Cite this paper: Michael Gr. Voskoglou , "A Study on Fuzzy Systems", American Journal of Computational and Applied Mathematics , Vol. 2 No. 5, 2012, pp. 232-240. doi: 10.5923/j.ajcam.20120205.06.
![]() | Figure 1. A graphical representation of the modelling process |
Then the fuzzy subset Ai of U corresponding to Si has the form:
In order to represent all possible profiles (overall states) of the system’s entities during the corresponding process we consider a fuzzy relation, say R, in U3 of the form:
We assume that the stages of the process that we study are depended to each other. This means that the degree of system’s entity success in a certain stage depends upon the degree of its success in the previous stages, as it usually happens in practice. Under this hypothesis and in order to determine properly the membership function mR we give the following definition: Definition: A profile s=(x, y, z), with x, y, z in U, is said to be well ordered if x corresponds to a degree of success equal or greater than y and y corresponds to a degree of success equal or greater than z. For example, (c, c, a) is a well ordered profile, while (b, a, c) is not. We define now the membership degree of a profile s to be
if s is well ordered, and 0 otherwise. In fact, if for example the profile (b, a, c) possessed a nonzero membership degree, how it could be possible for an object that has failed during the middle stage, to perform satisfactorily at the next stage? Next, for reasons of brevity, we shall write ms instead of mR(s). Then the probability ps of the profile s is defined in a way analogous to crisp data, i.e. by
.We define also the possibility rs of s by
where max{ms} denotes the maximal value of ms , for all s in U3. In other words the possibility of s expresses the “relative membership degree” of s with respect to max{ms}.Assume further that one wants to study the combined results of behaviour of k different groups of a system’s entities, k≥2, during the same process. For this we introduce the fuzzy variables A1(t), A2(t) and A3(t) with t=1, 2,…, k. The values of these variables represent fuzzy subsets of U corresponding to the stages of the process for each of the k groups; e.g. A1(2) represents the fuzzy subset of U corresponding to the first stage of the process for the second group (t=2). It becomes evident that, in order to measure the degree of evidence of the combined results of the k groups, it is necessary to define the probability p(s) and the possibility r(s) of each profile s with respect to the membership degrees of s for all groups. For this reason we introduce the pseudo-frequencies
and we define the probability of a profile s by
We also define the possibility of s by
where max{f(s)} denotes the maximal pseudo-frequency. Obviously the same method could be applied when one wants to study the combined results of behaviour of a group during k different situations.
of a group of a system’s entities defined by
Non-specificity is measured by the function
The sum T(r) = ST(r) + N(r) is a measure of the total possibilistic uncertainty for ordered possibility distributions. The lower is the value of T(r), which means greater reduction of the initially existing uncertainty, the better the system’s performance. Another fuzzy measure for assessing a system’s performance is the well known from classical probability and information theory Shannon’s entropy[6]. For use in a fuzzy environment, this measure is expressed in terms of the Dempster-Shafer mathematical theory of evidence in the form:
([2], p. 20).In the above formula n denotes the total number of the system’s entities involved in the corresponding process. The sum is divided by ln n (the natural logarithm of n) in order to be normalized. Thus H takes values in the real interval[0, 1]. The value of H measures the system’s total probabilistic uncertainty and the associated to it information. Similarly with the total possibilistic uncertainty, the lower is the final value of H, the better the system’s performance. An advantage of adopting H as a measure instead of T(r) is that H is calculated directly from the membership degrees of all profiles s without being necessary to calculate their probabilities ps. In contrast, the calculation of T(r) presupposes the calculation of the possibilities rs of all profiles first. However, according to Shackle[5] human reasoning can be formalized more adequately by possibility rather, than by probability theory. But, as we have seen in the previous section, the possibility is a kind of “relative probability”. In other words, the “philosophy” of possibility is not exactly the same with that of probability theory. Therefore, on comparing the effectiveness of two or more systems by these two measures, one may find non compatible results in boundary cases, where the systems’ performances are almost the same.Another popular approach is the “centroid” method, in which the centre of mass of the graph of the membership function involved provides an alternative measure of the system’s performance. For this, given a fuzzy subset
of the universal set U with membership function
, we correspond to each
an interval of values from a prefixed numerical distribution, which actually means that we replace U with a set of real intervals. Then, we construct the graph F of the membership function y=m(x). There is a commonly used in fuzzy logic approach to measure performance with the pair of numbers (xc, yc) as the coordinates of the centre of mass, say Fc, of the graph F, which we can calculate using the following well-known [10] formulas: ![]() | (1) |
[0, 1) , as low (b) if y
[1, 2), as intermediate (c) if y
[2, 3), as high (d) if y
[3, 4) and as very high (e) if y
[4,5] respectively. In this case the graph F of the corresponding fuzzy subset of U is the bar graph of Figure 2 ![]() | Figure 2. Bar graphical data representation |
![]() | (2) |
is the total mass of the system which is equal to
,
is the moment about the y-axis which is equal to

, and
is the moment about the y-axis which is equal to
.From the above argument, where Fi, i=1,2,…,n , denote the n rectangles of the bar graph, it becomes evident that the transition from (1) to (2) is obtained under the assumption that all the intervals have length equal to 1 and that the first of them is the interval[0, 1]. In our case (n=5) formulas (2) are transformed into the following form:
Normalizing our fuzzy data by dividing each m(x), x
U, with the sum of all membership degrees we can assume without loss of the generality that y1+y2+y3+y4+y5 = 1.Therefore we can write:![]() | (3) |
, where x1= a, x2 =b, x3= c, But 0≤ (y1-y2)2=y12+y22-2y1y2,therefore y12+y22 ≥ 2y1y2with the equality holding if, and only if, y1=y2. In the same way one finds thaty12+y32 ≥ 2y1y3,and so on. Hence it is easy to check that (y1+y2+y3+y4+y5)2 ≤ 5(y12+y22+y32+y42+y52),with the equality holding if, and only if y1=y2=y3=y4=y5.But y1+y2+y3+y4+y5 =1, therefore![]() | (4), |
Then the first of formulas (3) gives that
. Further, combining the inequality (4) with the second of formulas (3) one finds that
Therefore the unique minimum for yc corresponds to the centre of mass
.The ideal case is when y1=y2=y3=y4=0 and y5=1. Then from formulas (3) we get that
and
.Therefore the centre of mass in this case is the point
.On the other hand the worst case is when y1=1 and y2=y3=y4= y5=0. Then for formulas (3) we find that the centre of mass is the point
.Therefore the “area” where the centre of mass Fc lies is represented by the triangle Fw Fm Fi of Figure3![]() | Figure 3. A graphical representation of the “area” of the centre of mass |
It is straightforward then to calculate in terms of the membership degrees the Shannon’s entropy for the student group, which is H ≈ 0,289.Further, from the values of the column of ms(1) it turns out that the maximal membership degree of students’ profiles is 0,06225. Therefore the possibility of each s in U3 is given by
Calculating the possibilities of all profiles (column of rs(1) in Table 1) one finds that the ordered possibility distribution for the student group is: r: r1 = r2 = 1, r3 = r4 = r5 = r6 = r7 = r8 = 0,5, r9 = r10 = r11= r12 = r13= r14 = 0,258, r15=r 16=……..=r125=0.Thus with the help of a calculator one finds that
Therefore we finally have that T(r)≈ 2,653
By our criterion the first group demonstrates better performance.At the second stage of solution we have: A12 = {(a, 0),(b, 0),(c, 0,5),(d, 0,25),(e, 0)},A22={(a, 0,25),(b, 0,25),(c, 0,5),(d, 0),(e, 0)}.Normalizing the membership degrees in the first of the above fuzzy subsets of U (0,5 : 0,75 ≈ 0,67 and 0,25 : 0,75 ≈ 0,33) we get A12 = {(a, 0),(b, 0),(c, 0,67),(d, 0,33),(e, 0)},A22={(a, 0,25),(b, 0,25),(c, 0,5),(d, 0),(e, 0)}and respectively
By our criterion, the first group again demonstrates a significantly better performance.Finally, at the third stage of validation/implementation we haveA13= A23 = {(a, 0,25),(b, 0,25),(c, 0,25),(d, 0),(e, 0)},which obviously means that at this stage the performances of both groups are identical. Based on our calculations we can conclude that the first group demonstrated a significantly better performance at the stages of analysis/mathematization and of solution, but performed identically with the second one at the stage of validation/implementation. Remark: In earlier papers ([11],[13]) we have also developed a stochastic model for the representation of the MM process by applying a Markov chain on its stages. However, our stochastic model is self restricted to give quantitative information only for the MM process through the description of the ideal behavior of a group of modelers (i.e. how they must act for the solution of a problem and not how they really act in practice). In contrast, the above developed fuzzy model has the advantage of giving, apart of quantitative information, a qualitative/realistic view of the MM process through the calculation of the probabilities and/or possibilities of all possible modellers’ profiles.Nevertheless, the characterization of the modellers’ performance in terms of a set of linguistic labels, which are fuzzy themselves, is a disadvantage of the fuzzy model, because this characterization depends on the user’s personal criteria. A “live” example about this is the different evaluations for the two groups of modellers obtained in our classroom experiments by using our fuzzy measures for the MM skills. Therefore the stochastic could be used as a tool for the validation of the fuzzy model in an effort of achieving a worthy of credit mathematical analysis of the MM process.
corresponds to the word SOME. Using the matrix
as an encoding matrix how you could send the message LATE in the form of a camouflaged matrix to a receiver knowing the above process and how he (she) could decode your message?Problem 5: The demand function P(Qd)=25-Qd2 represents the different prices that consumers willing to pay for different quantities Qd of a good. On the other hand the supply function P(Qs)=2Qs+1 represents the prices at which different quantities Qs of the same good will be supplied. If the market’s equilibrium occurs at (Q0,P0), the producers who would supply at lower price than P0 benefit. Find the total gain to producers’.Problem 6: A ballot box contains 8 balls numbered from 1 to 8. One makes 3 successive drawings of a lottery, putting back the corresponding ball to the box before the next lottery. Find the probability of getting all the balls that he draws out of the box different.Problem 7: A box contains 3 white, 4 blue and 6 black balls. If we put out 2 balls, what is the probability of choosing 2 balls of the same colour?Problem 8: The population of a country is increased proportionally. If the population is doubled in 50 years, in how many years it will be tripled? Problem 9: A wine producer has a stock of wine greater than 500 and less than 750 kilos. He has calculated that, if he had the double quantity of wine and transferred it to bottles of 12, 25, or 40 kilos, it would be left over 6 kilos each time. Find the quantity of stock.Problem 10: Among all cylindrical towers having a total surface of 180π m2, which one has the maximal volume? Remark: Some students didn’t include to the total surface the one base (ground-floor) and they found another solution, while some others didn’t include both bases (roof and ground-floor) and they found no solution, since we cannot construct a cylinder with maximal volume from its surrounding surface. | [1] | Klir, G. J. & Folger, T. A., “Fuzzy Sets, Uncertainty and Information”, Prentice-Hall, London, 1988. |
| [2] | Klir, J. G., “Principles of Uncertainty: What are they? Why do we mean them?”, Fuzzy Sets and Systems, 74, 15-31, 1995. |
| [3] | Perdikaris, S., “Measuring the student group capacity for obtaining geometric information in the van Hiele development thought process: A fuzzy approach”, Fuzzy Sets and Mathematics, 16 (3), 81-86, 2002. |
| [4] | Perdikaris, S., “Using Fuzzy Sets to Determine the Continuity of the van Hiele Levels”, Journal of Mathematical Sciences & Mathematics Education, 6(1), 39-46, 2011. |
| [5] | Shackle, G. L. S., “Decision, Order and Time in Human Affairs”, Cambridge University Press, Cambridge, 1961 |
| [6] | Shannon, C. E., “A mathematical theory of communications”, Bell Systems Technical Journal, 27, 379-423 and 623-656, 1948. |
| [7] | Subbotin, I., Badkoobehi, H. & Bilotskii, N., “Application of Fuzzy Logic to Learning Assessment”, Didactics of Mathematics: Problems and Investigations. Volume 22, 38-41, 2004. |
| [8] | Subbotin, I., Mossovar-Rahmani, F. & Bilotskii, N., “Fuzzy logic and the concept of the Zone of Proximate Development”, Didactics of Mathematics: Problems and Investigations. Volume 36, 101-108, 2011. |
| [9] | Taha, H. A., “Operations Research – An Introduction”, Second Edition, Collier Macmillan, N.Y., London, 1967. |
| [10] | van Broekhoven, E. & De Baets, B., “Fast and accurate centre of gravity defuzzification of fuzzy system outputs defined on trapezoidal fuzzy partitions”, Fuzzy Sets and Systems, 157, Issue 7, 904-918, 2006. |
| [11] | Voskoglou, M. Gr., “Measuring mathematical model building abilities”, International Journal of Mathematical Education in. Science and Technology, Vol. 26, 29-35, 1995. |
| [12] | Voskoglou, M. Gr., “The process of learning mathematics: A fuzzy set approach”, Heuristic and Didactics of Exact Sciences (Ukraine), 10, 9-13, 1999. |
| [13] | Voskoglou, M. Gr., “A stochastic model for the modelling process”, In Mathematical Modelling: Education, Engineering and Economics, C. Chaines, P. Galbraith, W. Blum & s. Khan (Eds), Horwood Publ., Chichester, 149-157, 2007. |
| [14] | Voskoglou, M. Gr., “Fuzzy Sets in Case-Based Reasoning”, Fuzzy Systems and Knowledge Discovery, Vol. 6, 252-256, IEEE Computer Society, 2009. |
| [15] | Voskoglou, M. Gr., “Stochastic and fuzzy models in Mathematics Education, Artificial Intelligence and Management”, Lambert Academic Publishing, Saarbrucken, Germany, 2011 (for more details look at http://amzn.com./3846528218 ). |
| [16] | Voskoglou, M. Gr. & Subbotin, I. Ya., “Fuzzy Models for Analogical Reasoning”, International Journal of Applications of Fuzzy Sets, 2, 19-38, 2012 |
| [17] | Zadeh, L. A., “Fuzzy Sets”, Information and Control, 8, 338-353, 1965. |