SlideShare a Scribd company logo
1 of 48
Download to read offline
What We Want: Two . . .
Need to Take . . .
First Practical Problem
Second Practical Problem
Second Example
Lesson Learned
So, What Do We Do?
How to Actually Find . . .
Conclusion
Home Page
Title Page
JJ II
J I
Page 1 of 48
Go Back
Full Screen
Close
Quit
Epistemic vs Aleatory:
Granular Computing and
Ideas Beyond That
Vladik Kreinovich
1
University of Texas at El Paso
500 W. University, El Paso TX 79968, USA
vladik@utep.edu
What We Want: Two . . .
Need to Take . . .
First Practical Problem
Second Practical Problem
Second Example
Lesson Learned
So, What Do We Do?
How to Actually Find . . .
Conclusion
Home Page
Title Page
JJ II
J I
Page 2 of 48
Go Back
Full Screen
Close
Quit
1. What We Want: Two Types of Objectives
• Most practical problems come from the following two
main objectives:
– we want to understand the world, to learn more
about it, and
– we also want to change the world.
• Often, we pursue both objectives. For example:
– we want to predict the path of a tropical storm,
– and we want to come up with measures that will
decrease the negative effects of this storm;
– we need to decide which areas to evacuate, etc.
What We Want: Two . . .
Need to Take . . .
First Practical Problem
Second Practical Problem
Second Example
Lesson Learned
So, What Do We Do?
How to Actually Find . . .
Conclusion
Home Page
Title Page
JJ II
J I
Page 3 of 48
Go Back
Full Screen
Close
Quit
2. In Both Cases, We Get Systems of Equations
• To describe the state of the world means to describe
the numerical values of the corresponding quantities.
• E.g., to describe a mechanical system, we need to de-
scribe the coordinates and velocities of all its objects.
• The values of some of these quantities can be easily
measured.
• However, we cannot directly measure future values of
the quantities.
• We need to predict them based on the known depen-
dence between the current and future values.
• In some practical cases, we have explicit formulas that
enable us to make this prediction.
What We Want: Two . . .
Need to Take . . .
First Practical Problem
Second Practical Problem
Second Example
Lesson Learned
So, What Do We Do?
How to Actually Find . . .
Conclusion
Home Page
Title Page
JJ II
J I
Page 4 of 48
Go Back
Full Screen
Close
Quit
3. We Get Systems of Equations (cont-d)
• However, in most other cases, we do not have such
explicit formulas.
• Instead, we have a system of equations that relates cur-
rent and future values of the corresponding quantities.
• Sometimes, these equations include the values of re-
lated auxiliary quantities.
• Example: Newton’s theory does not have explicit for-
mulas for
– predicting the position of a new comet in the next
month
– based on its position at the present moment.
What We Want: Two . . .
Need to Take . . .
First Practical Problem
Second Practical Problem
Second Example
Lesson Learned
So, What Do We Do?
How to Actually Find . . .
Conclusion
Home Page
Title Page
JJ II
J I
Page 5 of 48
Go Back
Full Screen
Close
Quit
4. We Get Systems of Equations (cont-d)
• Instead, it has equations that:
– describe the position of a comet at any given mo-
ment of time
– as a function of to-be-determined parameters of the
corresponding orbit.
• We equate the observed locations of the orbit with the
results predicted by this formula.
• Thus, we get a system of equations from which we can
find these parameters.
• Then, we can then use a similar equation to predict
the future location of the comet.
What We Want: Two . . .
Need to Take . . .
First Practical Problem
Second Practical Problem
Second Example
Lesson Learned
So, What Do We Do?
How to Actually Find . . .
Conclusion
Home Page
Title Page
JJ II
J I
Page 6 of 48
Go Back
Full Screen
Close
Quit
5. We Get Systems of Equations (cont-d)
• In general:
– let us denote the measured quantities by x = (x1, . . . , xn),
– let us denote the desired quantities by y = (y1, . . . , ym),
– let us denote the auxiliary quantities by z = (z1, . . . , zp).
• In these terms, the corresponding system of q equations
has the form Fi(x, y, z) = 0, i = 1, . . . , q.
• In this system of equations:
– we know x,
– the values y and z are unknowns that need to be
determined from the above system, and
– we are only interested in the values y.
What We Want: Two . . .
Need to Take . . .
First Practical Problem
Second Practical Problem
Second Example
Lesson Learned
So, What Do We Do?
How to Actually Find . . .
Conclusion
Home Page
Title Page
JJ II
J I
Page 7 of 48
Go Back
Full Screen
Close
Quit
6. Systems of Equations That Come From the De-
sire to Change the World
• In such problems, the goal is to achieve a certain de-
sired state of the world by making appropriate changes.
• E.g., determining how to correct the trajectory of a
spaceship so that it reaches the destination.
• E.g., finding the parameters of an engine that satisfy
the desired efficiency and pollution levels.
• In general:
– let x = (x1, . . . , xn) denote the parameters describ-
ing the current state of the world,
– let t = (t1, . . . , ts) denote the parameters that de-
scribed the desired state, and
– let y = (y1, . . . , ym) denote the values of the param-
eters that describe the sought-for intervention.
What We Want: Two . . .
Need to Take . . .
First Practical Problem
Second Practical Problem
Second Example
Lesson Learned
So, What Do We Do?
How to Actually Find . . .
Conclusion
Home Page
Title Page
JJ II
J I
Page 8 of 48
Go Back
Full Screen
Close
Quit
7. Changing the World (cont-d)
• In some cases, we have an explicit formula that deter-
mines the future state of the world:
G(x, y) = (G1(x, y), . . . , Gs(x, y)).
• In such cases, to find the proper intervention, we must
solve the system of equations
Gi(x, y) = ti, i = 1, . . . , s.
• In this system of equations:
– we know x and t,
– the values y are the unknowns that need to be de-
termined from the above system, and
– we are interested in the values y.
What We Want: Two . . .
Need to Take . . .
First Practical Problem
Second Practical Problem
Second Example
Lesson Learned
So, What Do We Do?
How to Actually Find . . .
Conclusion
Home Page
Title Page
JJ II
J I
Page 9 of 48
Go Back
Full Screen
Close
Quit
8. Changing the World (cont-d)
• In other cases, we only have an implicit relation be-
tween x, y, and the future state:
Fi(x, t, y, z) = 0, i = 1, . . . , q.
• Here z = (z1, . . . , zp) are auxiliary quantities.
• In this system of equations:
– we know x and t,
– the values y and z are unknowns that need to be
determined from the system, and
– we are only interested in the values y.
What We Want: Two . . .
Need to Take . . .
First Practical Problem
Second Practical Problem
Second Example
Lesson Learned
So, What Do We Do?
How to Actually Find . . .
Conclusion
Home Page
Title Page
JJ II
J I
Page 10 of 48
Go Back
Full Screen
Close
Quit
9. Need to Take Granularity into Account
• In the above description, we implicitly assumed that
all the known values are known exactly, both:
– values x that come from measurements or
– values t that describe what we want.
• In reality, in both cases, instead of the exact value, we
have a granule.
• For example, measurements are never absolutely accu-
rate, there is always some measurement uncertainty.
• For describing what we want, we also need granules.
• For example, when we set a thermostat on 25◦
C, it
does not mean that we want exactly 25.0.
• We will not notice small differences.
• A more adequate representation of our objective is an
interval like [24, 26].
What We Want: Two . . .
Need to Take . . .
First Practical Problem
Second Practical Problem
Second Example
Lesson Learned
So, What Do We Do?
How to Actually Find . . .
Conclusion
Home Page
Title Page
JJ II
J I
Page 11 of 48
Go Back
Full Screen
Close
Quit
10. Simplest Granule: a Set
• In some cases, based on the measurement result:
– we know exactly which actual values are possible
and which are not possible, and
– we also know exactly which states we want and
which we do not want.
• In such cases, the corresponding information about x
(and/or t) consists of describing:
– which values are possible (correspondingly, desir-
able) and
– which are not.
• In other words, the proper description of the corre-
sponding granularity is a set:
– a set X of possible current states of the world, and
– a set T of all desired states.
What We Want: Two . . .
Need to Take . . .
First Practical Problem
Second Practical Problem
Second Example
Lesson Learned
So, What Do We Do?
How to Actually Find . . .
Conclusion
Home Page
Title Page
JJ II
J I
Page 12 of 48
Go Back
Full Screen
Close
Quit
11. What If We Have No Information About Some
States
• Sometimes, after a measurement:
– for some states x, we know that they are possible,
– for some states x, we know that they are not pos-
sible, and
– for some states x, we have no idea whether they are
possible or not.
• This situation can be naturally described by a “set
interval” [X, X], where:
– X is the set of all states x about which we know
that they are possible, and
– X is the set of all the states x about which we know
that they may be possible,
– i.e., about which we do not know that they are not
possible.
What We Want: Two . . .
Need to Take . . .
First Practical Problem
Second Practical Problem
Second Example
Lesson Learned
So, What Do We Do?
How to Actually Find . . .
Conclusion
Home Page
Title Page
JJ II
J I
Page 13 of 48
Go Back
Full Screen
Close
Quit
12. Set Intervals (cont-d)
• Similarly, when we describe our desires:
– for some states t, we know that they are desirable,
– for some states t, we know that they are not desir-
able, and
– for some states t, we have no idea whether they will
be desirable or not.
• This situation can be naturally described by a set in-
terval [T, T], where:
– T is the set of all states t about which we know
that they are desirable, and
– T is the set of all the states t about which we know
that they may be desirable,
– i.e., about which we do not know that they are not
desirable.
What We Want: Two . . .
Need to Take . . .
First Practical Problem
Second Practical Problem
Second Example
Lesson Learned
So, What Do We Do?
How to Actually Find . . .
Conclusion
Home Page
Title Page
JJ II
J I
Page 14 of 48
Go Back
Full Screen
Close
Quit
13. Need to Take Into Account Degrees of Possi-
bility
• Often, for some states for which we are not 100% sure
that these states are possible:
– an expert can come up with a degree – e.g., a num-
ber from the interval [0, 1]
– indicating to what extend this particular state x is
possible.
• This additional information is a function that assigns,
to each state, a degree. It is called a fuzzy set.
• For different states t about which we are not sure whether
they are desirable or not:
– we can often come up with a degree
– to which each such state is desirable.
• In this case, the set of all desirable states also becomes
a fuzzy set.
What We Want: Two . . .
Need to Take . . .
First Practical Problem
Second Practical Problem
Second Example
Lesson Learned
So, What Do We Do?
How to Actually Find . . .
Conclusion
Home Page
Title Page
JJ II
J I
Page 15 of 48
Go Back
Full Screen
Close
Quit
14. Probabilistic Uncertainty
• For possible states, we can also use prior experience of
similar situations.
• Thus, we come up with frequencies with which different
states x occurred.
• So, we have a probability distribution on the set of all
possible states – i.e., a probabilistic granule.
What We Want: Two . . .
Need to Take . . .
First Practical Problem
Second Practical Problem
Second Example
Lesson Learned
So, What Do We Do?
How to Actually Find . . .
Conclusion
Home Page
Title Page
JJ II
J I
Page 16 of 48
Go Back
Full Screen
Close
Quit
15. More Complex Granules Are Also Possible
• In addition to the above basic types of granules, we
can also have more complex granules.
• We can have type-2 fuzzy sets, in which the degree of
possibility or desirability:
– is not a real number
– but is itself a fuzzy subset of the interval [0, 1].
• We can have p-boxes, in which:
– instead of a single probability distribution,
– we have a family of probability distributions, etc.
What We Want: Two . . .
Need to Take . . .
First Practical Problem
Second Practical Problem
Second Example
Lesson Learned
So, What Do We Do?
How to Actually Find . . .
Conclusion
Home Page
Title Page
JJ II
J I
Page 17 of 48
Go Back
Full Screen
Close
Quit
16. Resulting Problem
• We have mentioned that many practical problems can
be reduced to solving systems of equations, in which:
– we know the values x (and t), and
– we need to find the values y.
• In practice, instead of the exact values of x (and t), we
now have granules X (and T).
• So, we need to decide how to solve the systems of equa-
tions in such a granular case.
What We Want: Two . . .
Need to Take . . .
First Practical Problem
Second Practical Problem
Second Example
Lesson Learned
So, What Do We Do?
How to Actually Find . . .
Conclusion
Home Page
Title Page
JJ II
J I
Page 18 of 48
Go Back
Full Screen
Close
Quit
17. What We Show in This Talk
• At first glance, the situation is straightforward: all we
need to do is to find out:
– how to extend the usual solution algorithms
– to the corresponding interval, fuzzy, etc., case.
• There are indeed known techniques for extending algo-
rithms to the interval, fuzzy, etc. cases.
• In many cases, these extensions work well, but in many
other cases, they don’t.
• In this talk, we explain why they don’t:
– it is not enough to consider the corresponding math-
ematical equations,
– we need to know where these equations came from.
What We Want: Two . . .
Need to Take . . .
First Practical Problem
Second Practical Problem
Second Example
Lesson Learned
So, What Do We Do?
How to Actually Find . . .
Conclusion
Home Page
Title Page
JJ II
J I
Page 19 of 48
Go Back
Full Screen
Close
Quit
18. What We Show in This Talk (cont-d)
• This need will be illustrated mainly on the example of
interval uncertainty – the simplest type of uncertainty.
• The main intent of this talk is pedagogical: to help
users avoid common mistakes.
• We give a simple example of two different practical
problems in which:
– the equations are the same,
– the granules are the same, but
– the practical relevant solutions are different.
What We Want: Two . . .
Need to Take . . .
First Practical Problem
Second Practical Problem
Second Example
Lesson Learned
So, What Do We Do?
How to Actually Find . . .
Conclusion
Home Page
Title Page
JJ II
J I
Page 20 of 48
Go Back
Full Screen
Close
Quit
19. Since Our Intent Is Pedagogical, We Select the
Simplest Possible Examples
• Our intent, as we have mentioned, is to help the user
deal with uncertainty – and avoid possible mistakes.
• From this viewpoint, we are trying to illustrate our
point on the simplest possible examples, in which both:
– the uncertainty is of the simplest possible type –
namely, interval uncertainty, and
– the equations are the simplest possible: in both
example, we take a = b + c.
What We Want: Two . . .
Need to Take . . .
First Practical Problem
Second Practical Problem
Second Example
Lesson Learned
So, What Do We Do?
How to Actually Find . . .
Conclusion
Home Page
Title Page
JJ II
J I
Page 21 of 48
Go Back
Full Screen
Close
Quit
20. First Practical Problem
• We have the amount a of water in a reservoir.
• We then release the amount b.
• We would like to know the amount of water c left in
the reservoir.
• The solution to this simple problem is straightforward:
c = a − b.
• For example, for a = 100 and b = 40, we have
c = 100 − 40 = 60.
What We Want: Two . . .
Need to Take . . .
First Practical Problem
Second Practical Problem
Second Example
Lesson Learned
So, What Do We Do?
How to Actually Find . . .
Conclusion
Home Page
Title Page
JJ II
J I
Page 22 of 48
Go Back
Full Screen
Close
Quit
21. Second Practical Problem
• We have the amount a of water in the reservoir, which
is too large.
• We want to release some amount c so that, as a result,
we will only have the amount b left.
• How much water should we release?
• The solution to this second simple problem is also straight-
forward: c = a − b.
• This is exactly the same formula as for the first prac-
tical problem.
• For example, for a = 100 and b = 40, we get the same
solution c = 100 − 40 = 60 as for the first problem.
What We Want: Two . . .
Need to Take . . .
First Practical Problem
Second Practical Problem
Second Example
Lesson Learned
So, What Do We Do?
How to Actually Find . . .
Conclusion
Home Page
Title Page
JJ II
J I
Page 23 of 48
Go Back
Full Screen
Close
Quit
22. Simple Granules
• For both above problems, we implicitly assumed that
we know the exact values a and b.
• Let us now consider a more realistic situation, in which:
– instead of the exact values a and b,
– we have intervals A and B.
• As our first example, let us take
A = [99, 101] and B = [38, 42].
• Let us see what happens in both problems.
What We Want: Two . . .
Need to Take . . .
First Practical Problem
Second Practical Problem
Second Example
Lesson Learned
So, What Do We Do?
How to Actually Find . . .
Conclusion
Home Page
Title Page
JJ II
J I
Page 24 of 48
Go Back
Full Screen
Close
Quit
23. First Practical Problem
• In the first problem:
– all we know about the original amount of water a
is that a is somewhere between 99 and 101, and
– all we know about the released amount is that it
was somewhere between 38 and 42.
• We want to find the range of possible values of the
resulting amount c = a − b, i.e., the set
C = {c = a − b : a ∈ [99, 101], b ∈ [38, 42]}.
• The function c = a−b is increasing in a and decreasing
in b.
• Thus, the largest possible value of c is attained when a
is the largest (a = 101) and b is the smallest (b = 38).
• The resulting largest possible value of c is thus equal
to c = 101 − 38 = 63.
What We Want: Two . . .
Need to Take . . .
First Practical Problem
Second Practical Problem
Second Example
Lesson Learned
So, What Do We Do?
How to Actually Find . . .
Conclusion
Home Page
Title Page
JJ II
J I
Page 25 of 48
Go Back
Full Screen
Close
Quit
24. First Practical Problem (cont-d)
• The smallest possible value of c is attained when a is
the smallest (a = 99) and b is the largest (b = 42).
• The resulting largest possible value of c is thus equal
to c = 99 − 42 = 57.
• Thus, the desired interval of possible values of c is equal
to C = [57, 63].
What We Want: Two . . .
Need to Take . . .
First Practical Problem
Second Practical Problem
Second Example
Lesson Learned
So, What Do We Do?
How to Actually Find . . .
Conclusion
Home Page
Title Page
JJ II
J I
Page 26 of 48
Go Back
Full Screen
Close
Quit
25. Second Practical Problem
• In the second problem:
– all we know about the original amount of water a
is that a is between 99 and 101, and
– we want to make sure that after releasing the amount
c, the remaining amount is between 38 and 42.
• In other words, we need to find the values c for which:
– no matter what was the original value a ∈ [99, 101],
– the remaining amount b = a − c will be between 38
and 42.
• Let us describe the set of all such values c.
• We want the value c for which the double inequality
38 ≤ a − c ≤ 42 holds for all a ∈ [99, 101].
• By reversing signs, we get an equivalent double inequal-
ity −42 ≤ c − a ≤ −38.
What We Want: Two . . .
Need to Take . . .
First Practical Problem
Second Practical Problem
Second Example
Lesson Learned
So, What Do We Do?
How to Actually Find . . .
Conclusion
Home Page
Title Page
JJ II
J I
Page 27 of 48
Go Back
Full Screen
Close
Quit
26. Second Practical Problem (cont-d)
• By adding a to all three sides of this inequality, we get
an equivalent inequality a − 42 ≤ c ≤ a − 38.
• The left inequality means that c should be larger than
or equal to a − 42 for all a ∈ [99, 101].
• This is equivalent to requiring that c is larger than or
equal to the largest of these differences.
• The difference is the largest when a is the largest, i.e.,
when a = 101.
• Thus, the left inequality is equivalent to
c ≥ 101 − 42 = 59.
• The right inequality means that c should be smaller
than or equal to a − 38 for all a ∈ [99, 101].
What We Want: Two . . .
Need to Take . . .
First Practical Problem
Second Practical Problem
Second Example
Lesson Learned
So, What Do We Do?
How to Actually Find . . .
Conclusion
Home Page
Title Page
JJ II
J I
Page 28 of 48
Go Back
Full Screen
Close
Quit
27. Second Practical Problem (cont-d)
• This is equivalent to requiring that c is smaller than or
equal to the smallest of these differences.
• The difference is the smallest when a is the smallest,
i.e., when a = 99.
• Thus, the right inequality is equivalent to
c ≤ 99 − 38 = 61.
• So, in this problem, the desired interval of possible
values of c is equal to C = [59, 61].
What We Want: Two . . .
Need to Take . . .
First Practical Problem
Second Practical Problem
Second Example
Lesson Learned
So, What Do We Do?
How to Actually Find . . .
Conclusion
Home Page
Title Page
JJ II
J I
Page 29 of 48
Go Back
Full Screen
Close
Quit
28. These Solutions Are Different
• The interval [57, 63] corresponding to the first problem
is much wider than [59, 61].
• This is not a mistake.
• For example, the value c = 63 is a possible solution of
the first problem.
• It corresponds to the case when we originally had a =
101, and we released b = 38.
• However, the same value c = 63 is not a possible solu-
tion to the second problem:
– indeed, if we had a = 99,
– then by releasing c = 63 units of water, we would
be left with b = a − c = 99 − 63 = 36 units,
– and we want the remaining amount to be always
between 38 and 42.
What We Want: Two . . .
Need to Take . . .
First Practical Problem
Second Practical Problem
Second Example
Lesson Learned
So, What Do We Do?
How to Actually Find . . .
Conclusion
Home Page
Title Page
JJ II
J I
Page 30 of 48
Go Back
Full Screen
Close
Quit
29. Second Example
• A simple modification can make the different between
the first and second problems even more drastic.
• To get such a modification, let us take use different
interval granules: A = [98, 102] and B = [39, 41].
• The difference is not so big for the first problem.
• In this case, we want to find the range of possible values
of the resulting amount c = a − b, i.e., the set
C = {c = a − b : a ∈ [98, 102], b ∈ [39, 41]}.
• The function c = a−b is increasing in a and decreasing
in b.
• So, the largest possible value of c is attained when a is
the largest (a = 102) and b is the smallest (b = 39).
• The resulting largest possible value of c is thus equal
to c = 102 − 39 = 63.
What We Want: Two . . .
Need to Take . . .
First Practical Problem
Second Practical Problem
Second Example
Lesson Learned
So, What Do We Do?
How to Actually Find . . .
Conclusion
Home Page
Title Page
JJ II
J I
Page 31 of 48
Go Back
Full Screen
Close
Quit
30. Second Example (cont-d)
• The smallest possible value of c is attained when a is
the smallest (a = 98) and b is the largest (b = 41).
• The resulting largest possible value of c is thus equal
to c = 98 − 41 = 57.
• Thus, the desired interval of possible values of c is equal
to C = [57, 63].
• In the second practical problem:
– all we know about the original amount of water a
is that a is somewhere between 98 and 102, and
– we want to make sure that after releasing the amount
c, the remaining amount is between 39 and 41.
What We Want: Two . . .
Need to Take . . .
First Practical Problem
Second Practical Problem
Second Example
Lesson Learned
So, What Do We Do?
How to Actually Find . . .
Conclusion
Home Page
Title Page
JJ II
J I
Page 32 of 48
Go Back
Full Screen
Close
Quit
31. Second Example (cont-d)
• Thus, we need to find the values c for which:
– no matter what was the original value a ∈ [98, 102],
– the remaining amount b = a − c will be between 39
and 41: 39 ≤ a − c ≤ 41.
• By reversing signs, we get an equivalent inequality −41 ≤
c − a ≤ −39, i.e., a − 41 ≤ c ≤ a − 39.
• For a = 98, the right side of this double inequality
implies that c ≤ 98 − 39 = 59, so c ≤ 59.
• On the other hand, for a = 102, the left side of this
inequality implies that c ≥ 102 − 41 = 61, so c ≥ 61.
• But a number cannot be at the same time larger than
or equal to 61 and smaller than or equal to 59.
• Thus, for A = [98, 102] and B = [39, 41], the second
practical problem simply has no solutions to all.
What We Want: Two . . .
Need to Take . . .
First Practical Problem
Second Practical Problem
Second Example
Lesson Learned
So, What Do We Do?
How to Actually Find . . .
Conclusion
Home Page
Title Page
JJ II
J I
Page 33 of 48
Go Back
Full Screen
Close
Quit
32. Lesson Learned
• There are many papers that:
– first, come up with algorithms for solving, e.g., sys-
tems of linear equations under uncertainty, and
– then, apply these algorithms to all the cases.
• We hope that the above two examples convinced the
readers that it is not possible to just know the equation.
• We need to take into account what exactly practical
problem is being solved.
• Depending on that, different solutions will be adequate.
What We Want: Two . . .
Need to Take . . .
First Practical Problem
Second Practical Problem
Second Example
Lesson Learned
So, What Do We Do?
How to Actually Find . . .
Conclusion
Home Page
Title Page
JJ II
J I
Page 34 of 48
Go Back
Full Screen
Close
Quit
33. So, What Do We Do?
• In general, instead of knowing the exact state x (or t),
we only know the set X (or T) of possible states.
• For the understanding the world, a natural idea is to
find all possible values y, i.e., to find the set Y =
{y : ∃x ∈ X ∃z ∈ Z (F1(x, y, z) = 0 & . . . & Fq(x, y, z) = 0)}.
• This set combines (“unites”) all the values y corre-
sponding to all possible values x ∈ X.
• It is thus known as the united solution set.
• For changing the world, we need to find the values y
for which:
– for all possible values x ∈ X,
– the resulting vector t is within the desired range T.
What We Want: Two . . .
Need to Take . . .
First Practical Problem
Second Practical Problem
Second Example
Lesson Learned
So, What Do We Do?
How to Actually Find . . .
Conclusion
Home Page
Title Page
JJ II
J I
Page 35 of 48
Go Back
Full Screen
Close
Quit
34. So, What Do We Do (cont-d)
• In this case, the desired set Y has the form
Y = {y : ∀x ∈ X ∃t ∈ T ∃z ∈ Z (F1(x, t, y, z) = 0 & . . .)};
– when we select the control parameters values y from
this set Y ,
– the resulting state t is guaranteed to belong to the
set T of desirable (tolerable) sets.
• Because of this, this solution is known as the tolerance
solution set.
What We Want: Two . . .
Need to Take . . .
First Practical Problem
Second Practical Problem
Second Example
Lesson Learned
So, What Do We Do?
How to Actually Find . . .
Conclusion
Home Page
Title Page
JJ II
J I
Page 36 of 48
Go Back
Full Screen
Close
Quit
35. How to Actually Find Solutions
• In general, the corresponding problems are NP-hard,
even under interval uncertainty.
• However, in many cases, there are efficient algorithms
for solving these problems.
• The most well-studied problem is the problem of find-
ing the united solution set.
• The simplest algorithm for solving this problem is the
naive interval computation algorithms, in which:
– we start with an algorithm for solving the system,
and
– we replace each elementary arithmetic operation
with the corresponding interval operation.
What We Want: Two . . .
Need to Take . . .
First Practical Problem
Second Practical Problem
Second Example
Lesson Learned
So, What Do We Do?
How to Actually Find . . .
Conclusion
Home Page
Title Page
JJ II
J I
Page 37 of 48
Go Back
Full Screen
Close
Quit
36. How to Find Solutions (cont-d)
• These operations can be easily determined via mono-
tonicity, like we described the range of a − b:
– if we know that the value a belongs to [a, a] and
that the value b belongs to [b, b],
– then the set [c, c] of possible values of the difference
c = a − b can be computed as
[c, c] = [a − b, a − b].
• This fact can be described as
[a, a] − [b, b] = [a − b, a − b].
What We Want: Two . . .
Need to Take . . .
First Practical Problem
Second Practical Problem
Second Example
Lesson Learned
So, What Do We Do?
How to Actually Find . . .
Conclusion
Home Page
Title Page
JJ II
J I
Page 38 of 48
Go Back
Full Screen
Close
Quit
37. How to Find Solutions (cont-d)
• Similarly, for other arithmetic operations, the corre-
sponding ranges can be described as follows:
[a, a] + [b, b] = [a + b, a + b];
[a, a]·[b, b] = [min(a·b, a·b, a·b, a·b), max(a·b, a·b, a·b, a·b)];
[a, a]/[b, b] = [a, a] · (1/[b, b]), where
1/[b, b] = [1/b, 1/b] when 0 6∈ [b, b].
• The resulting enclosure is often a drastic overestima-
tion.
• So more efficient methods need to be used: central
value method, monotonicity checking, bisection, etc.
• Methods of computing tolerance solutions are some-
times called modal interval mathematics.
What We Want: Two . . .
Need to Take . . .
First Practical Problem
Second Practical Problem
Second Example
Lesson Learned
So, What Do We Do?
How to Actually Find . . .
Conclusion
Home Page
Title Page
JJ II
J I
Page 39 of 48
Go Back
Full Screen
Close
Quit
38. How to Find Solutions (cont-d)
• The reason for this name is that:
– the main difference from the traditional interval
computations (that computes the united solution)
– is that one of the existential quantifiers is replaced
by the universal one.
• This is similar to the usual interpretation of modalities
like “possible” and “necessary”, in which:
– “possible” is understood as occurring in one of the
possible worlds (which corresponds to ∃), while
– “necessary” is understood as occurring in all possi-
ble worlds (which corresponds to ∀).
• Intervals [ti, ti] corresponding to inverse modality can
be formally viewed as improper (Kaucher) intervals
[ti, ti] with ti > ti.
What We Want: Two . . .
Need to Take . . .
First Practical Problem
Second Practical Problem
Second Example
Lesson Learned
So, What Do We Do?
How to Actually Find . . .
Conclusion
Home Page
Title Page
JJ II
J I
Page 40 of 48
Go Back
Full Screen
Close
Quit
39. How to Find Solutions (cont-d)
• Kaucher intervals are indeed useful in solving the cor-
responding tolerance problem.
• For example, in the second problem:
– we know that a ∈ [a, a],
– we are given the tolerance interval [b, b], and
– we want to find the value c for which b = a − c ∈
[b, b] for all a ∈ [a, a].
• Arguments like the ones that we had lead to the fol-
lowing interval of possible value of c:
[c, c] = [a − b, a − b].
• This is exactly what we get if we apply naive formula
to the improper interval A∗ def
= [a, a] and to [b, b].
• Similar ideas can be used to solve more complex sys-
tems of equations.
What We Want: Two . . .
Need to Take . . .
First Practical Problem
Second Practical Problem
Second Example
Lesson Learned
So, What Do We Do?
How to Actually Find . . .
Conclusion
Home Page
Title Page
JJ II
J I
Page 41 of 48
Go Back
Full Screen
Close
Quit
40. How These Methods Help to Solve Our Two
Practical Problems: First Example
• The only information that we have about the quantity
a is that it is in the interval A = [99, 101].
• The only information that we have about the quantity
b is that it is in the interval B = [38, 42].
• In the first practical problem, we need to find the range
C of all possible values c = a−b when a ∈ A and b ∈ B.
• In other words, we need to find the set
C = {c : ∃a ∈ A ∃b ∈ B (c = a − b)}.
• This is a particular case of the united solution set.
• As we have mentioned, to compute this set, we can use
naive (straightforward) interval computations.
• Specifically, the computation of c consists of a single
arithmetic operation (subtraction).
What We Want: Two . . .
Need to Take . . .
First Practical Problem
Second Practical Problem
Second Example
Lesson Learned
So, What Do We Do?
How to Actually Find . . .
Conclusion
Home Page
Title Page
JJ II
J I
Page 42 of 48
Go Back
Full Screen
Close
Quit
41. First Example (cont-d)
• According to the naive interval computation method,
to compute the set C:
– we replace this operation with numbers by the cor-
responding operation with intervals,
– i.e., we compute
C = A − B = [99, 101] − [38, 42] = [57, 63].
• This is exactly the range that we obtained earlier.
• In the second practical problem, we need to find the
range C of all possible values c for which:
– for all a ∈ A,
– the value b = a − c belongs to the interval B.
• In other words, we need to find the set
C = {c : ∀a ∈ A ∃b ∈ B (c = a − b)}.
What We Want: Two . . .
Need to Take . . .
First Practical Problem
Second Practical Problem
Second Example
Lesson Learned
So, What Do We Do?
How to Actually Find . . .
Conclusion
Home Page
Title Page
JJ II
J I
Page 43 of 48
Go Back
Full Screen
Close
Quit
42. First Example (cont-d)
• This is a particular case of the tolerance solution.
• As we have mentioned, to compute this set, we can use
Kaucher arithmetic.
• The variable a enters this formula with a universal
quantifier instead of the existential one.
• So, instead of the original interval A = [99, 101], we
need to consider an improper interval A∗
= [101, 99].
• For the resulting pair of intervals A∗
and B, the above
general rule of interval subtraction leads to
C = A∗
− B = [101, 99] − [38, 42] = [59, 61].
• This is exactly the range we found.
What We Want: Two . . .
Need to Take . . .
First Practical Problem
Second Practical Problem
Second Example
Lesson Learned
So, What Do We Do?
How to Actually Find . . .
Conclusion
Home Page
Title Page
JJ II
J I
Page 44 of 48
Go Back
Full Screen
Close
Quit
43. Second Example
• In the second example, we have
A = [98, 102] and B = [39, 41].
• To solve the first problem, we perform naive interval
computations and compute
C = A − B = [98, 102] − [39, 41] = [57, 63].
• This is exactly what we obtained.
• To compute the range corresponding to the second
problem, we use Kaucher arithmetic and compute:
C = A∗
− B = [102, 98] − [39, 41] = [61, 59].
What We Want: Two . . .
Need to Take . . .
First Practical Problem
Second Practical Problem
Second Example
Lesson Learned
So, What Do We Do?
How to Actually Find . . .
Conclusion
Home Page
Title Page
JJ II
J I
Page 45 of 48
Go Back
Full Screen
Close
Quit
44. Second Example (cont-d)
• What is the meaning of this answer?
• We are looking for all possible values c for which
c ≤ c ≤ c.
• In this example, c > c, so no such c are possible.
• Thus, for these intervals A and B, the second problem
has no solutions.
• This is exactly the conclusion that we obtained earlier.
What We Want: Two . . .
Need to Take . . .
First Practical Problem
Second Practical Problem
Second Example
Lesson Learned
So, What Do We Do?
How to Actually Find . . .
Conclusion
Home Page
Title Page
JJ II
J I
Page 46 of 48
Go Back
Full Screen
Close
Quit
45. Other Formulations Are Possible
• in some practical problems, the control parameters y
can be divide into two groups:
– parameters y0
that we select once and for all (e.g.,
the parameters that describe the design), and
– parameters y00
that we can change all the time.
• In this case:
– instead of a single desired state t,
– it makes sense to consider different desired states
that form a set T,
– so that at different moments of time, we can reach
different states.
• This is exactly the case with heating and air condition-
ing.
What We Want: Two . . .
Need to Take . . .
First Practical Problem
Second Practical Problem
Second Example
Lesson Learned
So, What Do We Do?
How to Actually Find . . .
Conclusion
Home Page
Title Page
JJ II
J I
Page 47 of 48
Go Back
Full Screen
Close
Quit
46. Other Formulations Are Possible (cont-d)
• It is usually set up in such a way that different users
can set up different desired temperatures.
• In this case, when look for the original setting y0
, we
must set it in such a way that:
– any state from T
– is accessible via an appropriate selection of y00
.
• The resulting solution set has the following form Y 0
=
{y0
: ∃y00
∈ Y 00
∀x ∈ X ∃z ∈ Z ∃t ∈ T (F1(x, t, y, z) = 0 & . . .}.
• This solution set is known as the controlled set.
• More complex sets appear in game-type situations, when
participants make selections in turn.
What We Want: Two . . .
Need to Take . . .
First Practical Problem
Second Practical Problem
Second Example
Lesson Learned
So, What Do We Do?
How to Actually Find . . .
Conclusion
Home Page
Title Page
JJ II
J I
Page 48 of 48
Go Back
Full Screen
Close
Quit
47. Conclusion
• We showed that when a practical problem reduces to
a system of equations, to find its solution:
– it is not enough to know the corresponding gran-
ules,
– we also need to take into account the original prac-
tical problem.

More Related Content

What's hot

Integrated Math 2 Section 8-3
Integrated Math 2 Section 8-3Integrated Math 2 Section 8-3
Integrated Math 2 Section 8-3Jimbo Lamb
 
Calculus the way to do it | Free Sample eBook | Mathslearning.com | Mathemati...
Calculus the way to do it | Free Sample eBook | Mathslearning.com | Mathemati...Calculus the way to do it | Free Sample eBook | Mathslearning.com | Mathemati...
Calculus the way to do it | Free Sample eBook | Mathslearning.com | Mathemati...Mathslearning.com
 
Lesson15 -exponential_growth_and_decay_021_slides
Lesson15  -exponential_growth_and_decay_021_slidesLesson15  -exponential_growth_and_decay_021_slides
Lesson15 -exponential_growth_and_decay_021_slidesMatthew Leingang
 
Lesson plan 6 (23 11-2010)
Lesson plan 6 (23 11-2010)Lesson plan 6 (23 11-2010)
Lesson plan 6 (23 11-2010)itachihei
 
Odepowerpointpresentation1
Odepowerpointpresentation1 Odepowerpointpresentation1
Odepowerpointpresentation1 Pokarn Narkhede
 
Ordinary differential equations
Ordinary differential equationsOrdinary differential equations
Ordinary differential equationsAhmed Haider
 
January18
January18January18
January18khyps13
 

What's hot (7)

Integrated Math 2 Section 8-3
Integrated Math 2 Section 8-3Integrated Math 2 Section 8-3
Integrated Math 2 Section 8-3
 
Calculus the way to do it | Free Sample eBook | Mathslearning.com | Mathemati...
Calculus the way to do it | Free Sample eBook | Mathslearning.com | Mathemati...Calculus the way to do it | Free Sample eBook | Mathslearning.com | Mathemati...
Calculus the way to do it | Free Sample eBook | Mathslearning.com | Mathemati...
 
Lesson15 -exponential_growth_and_decay_021_slides
Lesson15  -exponential_growth_and_decay_021_slidesLesson15  -exponential_growth_and_decay_021_slides
Lesson15 -exponential_growth_and_decay_021_slides
 
Lesson plan 6 (23 11-2010)
Lesson plan 6 (23 11-2010)Lesson plan 6 (23 11-2010)
Lesson plan 6 (23 11-2010)
 
Odepowerpointpresentation1
Odepowerpointpresentation1 Odepowerpointpresentation1
Odepowerpointpresentation1
 
Ordinary differential equations
Ordinary differential equationsOrdinary differential equations
Ordinary differential equations
 
January18
January18January18
January18
 

Similar to Epistemic vs Aleatory: Granular Computing and Ideas Beyond That

UninformedSearch (2).pptx
UninformedSearch (2).pptxUninformedSearch (2).pptx
UninformedSearch (2).pptxSankarTerli
 
03_UninformedSearch.pdf
03_UninformedSearch.pdf03_UninformedSearch.pdf
03_UninformedSearch.pdfkaxeca4096
 
06-01 Machine Learning and Linear Regression.pptx
06-01 Machine Learning and Linear Regression.pptx06-01 Machine Learning and Linear Regression.pptx
06-01 Machine Learning and Linear Regression.pptxSaharA84
 
Reinfrocement Learning
Reinfrocement LearningReinfrocement Learning
Reinfrocement LearningNatan Katz
 
An overview of Hidden Markov Models (HMM)
An overview of Hidden Markov Models (HMM)An overview of Hidden Markov Models (HMM)
An overview of Hidden Markov Models (HMM)ananth
 
Ch 2 State Space Search - slides part 1.pdf
Ch 2 State Space Search - slides part 1.pdfCh 2 State Space Search - slides part 1.pdf
Ch 2 State Space Search - slides part 1.pdfKrishnaMadala1
 
PRML Chapter 1
PRML Chapter 1PRML Chapter 1
PRML Chapter 1Sunwoo Kim
 
1.2 Systems of Linear Equations
1.2 Systems of Linear Equations1.2 Systems of Linear Equations
1.2 Systems of Linear Equationssmiller5
 
Research Inventy : International Journal of Engineering and Science
Research Inventy : International Journal of Engineering and ScienceResearch Inventy : International Journal of Engineering and Science
Research Inventy : International Journal of Engineering and Scienceresearchinventy
 
20130523 06 - The mathematics the way algorithms think / the mathematics the ...
20130523 06 - The mathematics the way algorithms think / the mathematics the ...20130523 06 - The mathematics the way algorithms think / the mathematics the ...
20130523 06 - The mathematics the way algorithms think / the mathematics the ...LeClubQualiteLogicielle
 
Power Full Exposition
Power Full ExpositionPower Full Exposition
Power Full ExpositionHeesu Hwang
 
Line of best fit lesson
Line of best fit lessonLine of best fit lesson
Line of best fit lessonReneeTorres11
 
LECT_01.pptx
LECT_01.pptxLECT_01.pptx
LECT_01.pptxMistAe1
 

Similar to Epistemic vs Aleatory: Granular Computing and Ideas Beyond That (20)

Ai unit-3
Ai unit-3Ai unit-3
Ai unit-3
 
UninformedSearch (2).pptx
UninformedSearch (2).pptxUninformedSearch (2).pptx
UninformedSearch (2).pptx
 
Duality.ppt
Duality.pptDuality.ppt
Duality.ppt
 
03_UninformedSearch.pdf
03_UninformedSearch.pdf03_UninformedSearch.pdf
03_UninformedSearch.pdf
 
06-01 Machine Learning and Linear Regression.pptx
06-01 Machine Learning and Linear Regression.pptx06-01 Machine Learning and Linear Regression.pptx
06-01 Machine Learning and Linear Regression.pptx
 
Reinfrocement Learning
Reinfrocement LearningReinfrocement Learning
Reinfrocement Learning
 
An overview of Hidden Markov Models (HMM)
An overview of Hidden Markov Models (HMM)An overview of Hidden Markov Models (HMM)
An overview of Hidden Markov Models (HMM)
 
Problem space
Problem spaceProblem space
Problem space
 
Problem space
Problem spaceProblem space
Problem space
 
Ch 2 State Space Search - slides part 1.pdf
Ch 2 State Space Search - slides part 1.pdfCh 2 State Space Search - slides part 1.pdf
Ch 2 State Space Search - slides part 1.pdf
 
PRML Chapter 1
PRML Chapter 1PRML Chapter 1
PRML Chapter 1
 
1.2 Systems of Linear Equations
1.2 Systems of Linear Equations1.2 Systems of Linear Equations
1.2 Systems of Linear Equations
 
Research Inventy : International Journal of Engineering and Science
Research Inventy : International Journal of Engineering and ScienceResearch Inventy : International Journal of Engineering and Science
Research Inventy : International Journal of Engineering and Science
 
20130523 06 - The mathematics the way algorithms think / the mathematics the ...
20130523 06 - The mathematics the way algorithms think / the mathematics the ...20130523 06 - The mathematics the way algorithms think / the mathematics the ...
20130523 06 - The mathematics the way algorithms think / the mathematics the ...
 
ppt
pptppt
ppt
 
ppt
pptppt
ppt
 
Power Full Exposition
Power Full ExpositionPower Full Exposition
Power Full Exposition
 
Lec1 01
Lec1 01Lec1 01
Lec1 01
 
Line of best fit lesson
Line of best fit lessonLine of best fit lesson
Line of best fit lesson
 
LECT_01.pptx
LECT_01.pptxLECT_01.pptx
LECT_01.pptx
 

Recently uploaded

social pharmacy d-pharm 1st year by Pragati K. Mahajan
social pharmacy d-pharm 1st year by Pragati K. Mahajansocial pharmacy d-pharm 1st year by Pragati K. Mahajan
social pharmacy d-pharm 1st year by Pragati K. Mahajanpragatimahajan3
 
Introduction to Nonprofit Accounting: The Basics
Introduction to Nonprofit Accounting: The BasicsIntroduction to Nonprofit Accounting: The Basics
Introduction to Nonprofit Accounting: The BasicsTechSoup
 
Disha NEET Physics Guide for classes 11 and 12.pdf
Disha NEET Physics Guide for classes 11 and 12.pdfDisha NEET Physics Guide for classes 11 and 12.pdf
Disha NEET Physics Guide for classes 11 and 12.pdfchloefrazer622
 
A Critique of the Proposed National Education Policy Reform
A Critique of the Proposed National Education Policy ReformA Critique of the Proposed National Education Policy Reform
A Critique of the Proposed National Education Policy ReformChameera Dedduwage
 
Sanyam Choudhary Chemistry practical.pdf
Sanyam Choudhary Chemistry practical.pdfSanyam Choudhary Chemistry practical.pdf
Sanyam Choudhary Chemistry practical.pdfsanyamsingh5019
 
Sports & Fitness Value Added Course FY..
Sports & Fitness Value Added Course FY..Sports & Fitness Value Added Course FY..
Sports & Fitness Value Added Course FY..Disha Kariya
 
Paris 2024 Olympic Geographies - an activity
Paris 2024 Olympic Geographies - an activityParis 2024 Olympic Geographies - an activity
Paris 2024 Olympic Geographies - an activityGeoBlogs
 
Ecosystem Interactions Class Discussion Presentation in Blue Green Lined Styl...
Ecosystem Interactions Class Discussion Presentation in Blue Green Lined Styl...Ecosystem Interactions Class Discussion Presentation in Blue Green Lined Styl...
Ecosystem Interactions Class Discussion Presentation in Blue Green Lined Styl...fonyou31
 
The basics of sentences session 2pptx copy.pptx
The basics of sentences session 2pptx copy.pptxThe basics of sentences session 2pptx copy.pptx
The basics of sentences session 2pptx copy.pptxheathfieldcps1
 
Call Girls in Dwarka Mor Delhi Contact Us 9654467111
Call Girls in Dwarka Mor Delhi Contact Us 9654467111Call Girls in Dwarka Mor Delhi Contact Us 9654467111
Call Girls in Dwarka Mor Delhi Contact Us 9654467111Sapana Sha
 
Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhi
Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in DelhiRussian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhi
Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhikauryashika82
 
Q4-W6-Restating Informational Text Grade 3
Q4-W6-Restating Informational Text Grade 3Q4-W6-Restating Informational Text Grade 3
Q4-W6-Restating Informational Text Grade 3JemimahLaneBuaron
 
Interactive Powerpoint_How to Master effective communication
Interactive Powerpoint_How to Master effective communicationInteractive Powerpoint_How to Master effective communication
Interactive Powerpoint_How to Master effective communicationnomboosow
 
BAG TECHNIQUE Bag technique-a tool making use of public health bag through wh...
BAG TECHNIQUE Bag technique-a tool making use of public health bag through wh...BAG TECHNIQUE Bag technique-a tool making use of public health bag through wh...
BAG TECHNIQUE Bag technique-a tool making use of public health bag through wh...Sapna Thakur
 
Advanced Views - Calendar View in Odoo 17
Advanced Views - Calendar View in Odoo 17Advanced Views - Calendar View in Odoo 17
Advanced Views - Calendar View in Odoo 17Celine George
 
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptx
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptxSOCIAL AND HISTORICAL CONTEXT - LFTVD.pptx
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptxiammrhaywood
 
Z Score,T Score, Percential Rank and Box Plot Graph
Z Score,T Score, Percential Rank and Box Plot GraphZ Score,T Score, Percential Rank and Box Plot Graph
Z Score,T Score, Percential Rank and Box Plot GraphThiyagu K
 
Measures of Central Tendency: Mean, Median and Mode
Measures of Central Tendency: Mean, Median and ModeMeasures of Central Tendency: Mean, Median and Mode
Measures of Central Tendency: Mean, Median and ModeThiyagu K
 
BASLIQ CURRENT LOOKBOOK LOOKBOOK(1) (1).pdf
BASLIQ CURRENT LOOKBOOK  LOOKBOOK(1) (1).pdfBASLIQ CURRENT LOOKBOOK  LOOKBOOK(1) (1).pdf
BASLIQ CURRENT LOOKBOOK LOOKBOOK(1) (1).pdfSoniaTolstoy
 

Recently uploaded (20)

social pharmacy d-pharm 1st year by Pragati K. Mahajan
social pharmacy d-pharm 1st year by Pragati K. Mahajansocial pharmacy d-pharm 1st year by Pragati K. Mahajan
social pharmacy d-pharm 1st year by Pragati K. Mahajan
 
Introduction to Nonprofit Accounting: The Basics
Introduction to Nonprofit Accounting: The BasicsIntroduction to Nonprofit Accounting: The Basics
Introduction to Nonprofit Accounting: The Basics
 
Disha NEET Physics Guide for classes 11 and 12.pdf
Disha NEET Physics Guide for classes 11 and 12.pdfDisha NEET Physics Guide for classes 11 and 12.pdf
Disha NEET Physics Guide for classes 11 and 12.pdf
 
A Critique of the Proposed National Education Policy Reform
A Critique of the Proposed National Education Policy ReformA Critique of the Proposed National Education Policy Reform
A Critique of the Proposed National Education Policy Reform
 
Sanyam Choudhary Chemistry practical.pdf
Sanyam Choudhary Chemistry practical.pdfSanyam Choudhary Chemistry practical.pdf
Sanyam Choudhary Chemistry practical.pdf
 
Sports & Fitness Value Added Course FY..
Sports & Fitness Value Added Course FY..Sports & Fitness Value Added Course FY..
Sports & Fitness Value Added Course FY..
 
Paris 2024 Olympic Geographies - an activity
Paris 2024 Olympic Geographies - an activityParis 2024 Olympic Geographies - an activity
Paris 2024 Olympic Geographies - an activity
 
Ecosystem Interactions Class Discussion Presentation in Blue Green Lined Styl...
Ecosystem Interactions Class Discussion Presentation in Blue Green Lined Styl...Ecosystem Interactions Class Discussion Presentation in Blue Green Lined Styl...
Ecosystem Interactions Class Discussion Presentation in Blue Green Lined Styl...
 
The basics of sentences session 2pptx copy.pptx
The basics of sentences session 2pptx copy.pptxThe basics of sentences session 2pptx copy.pptx
The basics of sentences session 2pptx copy.pptx
 
Call Girls in Dwarka Mor Delhi Contact Us 9654467111
Call Girls in Dwarka Mor Delhi Contact Us 9654467111Call Girls in Dwarka Mor Delhi Contact Us 9654467111
Call Girls in Dwarka Mor Delhi Contact Us 9654467111
 
Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhi
Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in DelhiRussian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhi
Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhi
 
Q4-W6-Restating Informational Text Grade 3
Q4-W6-Restating Informational Text Grade 3Q4-W6-Restating Informational Text Grade 3
Q4-W6-Restating Informational Text Grade 3
 
Código Creativo y Arte de Software | Unidad 1
Código Creativo y Arte de Software | Unidad 1Código Creativo y Arte de Software | Unidad 1
Código Creativo y Arte de Software | Unidad 1
 
Interactive Powerpoint_How to Master effective communication
Interactive Powerpoint_How to Master effective communicationInteractive Powerpoint_How to Master effective communication
Interactive Powerpoint_How to Master effective communication
 
BAG TECHNIQUE Bag technique-a tool making use of public health bag through wh...
BAG TECHNIQUE Bag technique-a tool making use of public health bag through wh...BAG TECHNIQUE Bag technique-a tool making use of public health bag through wh...
BAG TECHNIQUE Bag technique-a tool making use of public health bag through wh...
 
Advanced Views - Calendar View in Odoo 17
Advanced Views - Calendar View in Odoo 17Advanced Views - Calendar View in Odoo 17
Advanced Views - Calendar View in Odoo 17
 
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptx
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptxSOCIAL AND HISTORICAL CONTEXT - LFTVD.pptx
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptx
 
Z Score,T Score, Percential Rank and Box Plot Graph
Z Score,T Score, Percential Rank and Box Plot GraphZ Score,T Score, Percential Rank and Box Plot Graph
Z Score,T Score, Percential Rank and Box Plot Graph
 
Measures of Central Tendency: Mean, Median and Mode
Measures of Central Tendency: Mean, Median and ModeMeasures of Central Tendency: Mean, Median and Mode
Measures of Central Tendency: Mean, Median and Mode
 
BASLIQ CURRENT LOOKBOOK LOOKBOOK(1) (1).pdf
BASLIQ CURRENT LOOKBOOK  LOOKBOOK(1) (1).pdfBASLIQ CURRENT LOOKBOOK  LOOKBOOK(1) (1).pdf
BASLIQ CURRENT LOOKBOOK LOOKBOOK(1) (1).pdf
 

Epistemic vs Aleatory: Granular Computing and Ideas Beyond That

  • 1. What We Want: Two . . . Need to Take . . . First Practical Problem Second Practical Problem Second Example Lesson Learned So, What Do We Do? How to Actually Find . . . Conclusion Home Page Title Page JJ II J I Page 1 of 48 Go Back Full Screen Close Quit Epistemic vs Aleatory: Granular Computing and Ideas Beyond That Vladik Kreinovich 1 University of Texas at El Paso 500 W. University, El Paso TX 79968, USA vladik@utep.edu
  • 2. What We Want: Two . . . Need to Take . . . First Practical Problem Second Practical Problem Second Example Lesson Learned So, What Do We Do? How to Actually Find . . . Conclusion Home Page Title Page JJ II J I Page 2 of 48 Go Back Full Screen Close Quit 1. What We Want: Two Types of Objectives • Most practical problems come from the following two main objectives: – we want to understand the world, to learn more about it, and – we also want to change the world. • Often, we pursue both objectives. For example: – we want to predict the path of a tropical storm, – and we want to come up with measures that will decrease the negative effects of this storm; – we need to decide which areas to evacuate, etc.
  • 3. What We Want: Two . . . Need to Take . . . First Practical Problem Second Practical Problem Second Example Lesson Learned So, What Do We Do? How to Actually Find . . . Conclusion Home Page Title Page JJ II J I Page 3 of 48 Go Back Full Screen Close Quit 2. In Both Cases, We Get Systems of Equations • To describe the state of the world means to describe the numerical values of the corresponding quantities. • E.g., to describe a mechanical system, we need to de- scribe the coordinates and velocities of all its objects. • The values of some of these quantities can be easily measured. • However, we cannot directly measure future values of the quantities. • We need to predict them based on the known depen- dence between the current and future values. • In some practical cases, we have explicit formulas that enable us to make this prediction.
  • 4. What We Want: Two . . . Need to Take . . . First Practical Problem Second Practical Problem Second Example Lesson Learned So, What Do We Do? How to Actually Find . . . Conclusion Home Page Title Page JJ II J I Page 4 of 48 Go Back Full Screen Close Quit 3. We Get Systems of Equations (cont-d) • However, in most other cases, we do not have such explicit formulas. • Instead, we have a system of equations that relates cur- rent and future values of the corresponding quantities. • Sometimes, these equations include the values of re- lated auxiliary quantities. • Example: Newton’s theory does not have explicit for- mulas for – predicting the position of a new comet in the next month – based on its position at the present moment.
  • 5. What We Want: Two . . . Need to Take . . . First Practical Problem Second Practical Problem Second Example Lesson Learned So, What Do We Do? How to Actually Find . . . Conclusion Home Page Title Page JJ II J I Page 5 of 48 Go Back Full Screen Close Quit 4. We Get Systems of Equations (cont-d) • Instead, it has equations that: – describe the position of a comet at any given mo- ment of time – as a function of to-be-determined parameters of the corresponding orbit. • We equate the observed locations of the orbit with the results predicted by this formula. • Thus, we get a system of equations from which we can find these parameters. • Then, we can then use a similar equation to predict the future location of the comet.
  • 6. What We Want: Two . . . Need to Take . . . First Practical Problem Second Practical Problem Second Example Lesson Learned So, What Do We Do? How to Actually Find . . . Conclusion Home Page Title Page JJ II J I Page 6 of 48 Go Back Full Screen Close Quit 5. We Get Systems of Equations (cont-d) • In general: – let us denote the measured quantities by x = (x1, . . . , xn), – let us denote the desired quantities by y = (y1, . . . , ym), – let us denote the auxiliary quantities by z = (z1, . . . , zp). • In these terms, the corresponding system of q equations has the form Fi(x, y, z) = 0, i = 1, . . . , q. • In this system of equations: – we know x, – the values y and z are unknowns that need to be determined from the above system, and – we are only interested in the values y.
  • 7. What We Want: Two . . . Need to Take . . . First Practical Problem Second Practical Problem Second Example Lesson Learned So, What Do We Do? How to Actually Find . . . Conclusion Home Page Title Page JJ II J I Page 7 of 48 Go Back Full Screen Close Quit 6. Systems of Equations That Come From the De- sire to Change the World • In such problems, the goal is to achieve a certain de- sired state of the world by making appropriate changes. • E.g., determining how to correct the trajectory of a spaceship so that it reaches the destination. • E.g., finding the parameters of an engine that satisfy the desired efficiency and pollution levels. • In general: – let x = (x1, . . . , xn) denote the parameters describ- ing the current state of the world, – let t = (t1, . . . , ts) denote the parameters that de- scribed the desired state, and – let y = (y1, . . . , ym) denote the values of the param- eters that describe the sought-for intervention.
  • 8. What We Want: Two . . . Need to Take . . . First Practical Problem Second Practical Problem Second Example Lesson Learned So, What Do We Do? How to Actually Find . . . Conclusion Home Page Title Page JJ II J I Page 8 of 48 Go Back Full Screen Close Quit 7. Changing the World (cont-d) • In some cases, we have an explicit formula that deter- mines the future state of the world: G(x, y) = (G1(x, y), . . . , Gs(x, y)). • In such cases, to find the proper intervention, we must solve the system of equations Gi(x, y) = ti, i = 1, . . . , s. • In this system of equations: – we know x and t, – the values y are the unknowns that need to be de- termined from the above system, and – we are interested in the values y.
  • 9. What We Want: Two . . . Need to Take . . . First Practical Problem Second Practical Problem Second Example Lesson Learned So, What Do We Do? How to Actually Find . . . Conclusion Home Page Title Page JJ II J I Page 9 of 48 Go Back Full Screen Close Quit 8. Changing the World (cont-d) • In other cases, we only have an implicit relation be- tween x, y, and the future state: Fi(x, t, y, z) = 0, i = 1, . . . , q. • Here z = (z1, . . . , zp) are auxiliary quantities. • In this system of equations: – we know x and t, – the values y and z are unknowns that need to be determined from the system, and – we are only interested in the values y.
  • 10. What We Want: Two . . . Need to Take . . . First Practical Problem Second Practical Problem Second Example Lesson Learned So, What Do We Do? How to Actually Find . . . Conclusion Home Page Title Page JJ II J I Page 10 of 48 Go Back Full Screen Close Quit 9. Need to Take Granularity into Account • In the above description, we implicitly assumed that all the known values are known exactly, both: – values x that come from measurements or – values t that describe what we want. • In reality, in both cases, instead of the exact value, we have a granule. • For example, measurements are never absolutely accu- rate, there is always some measurement uncertainty. • For describing what we want, we also need granules. • For example, when we set a thermostat on 25◦ C, it does not mean that we want exactly 25.0. • We will not notice small differences. • A more adequate representation of our objective is an interval like [24, 26].
  • 11. What We Want: Two . . . Need to Take . . . First Practical Problem Second Practical Problem Second Example Lesson Learned So, What Do We Do? How to Actually Find . . . Conclusion Home Page Title Page JJ II J I Page 11 of 48 Go Back Full Screen Close Quit 10. Simplest Granule: a Set • In some cases, based on the measurement result: – we know exactly which actual values are possible and which are not possible, and – we also know exactly which states we want and which we do not want. • In such cases, the corresponding information about x (and/or t) consists of describing: – which values are possible (correspondingly, desir- able) and – which are not. • In other words, the proper description of the corre- sponding granularity is a set: – a set X of possible current states of the world, and – a set T of all desired states.
  • 12. What We Want: Two . . . Need to Take . . . First Practical Problem Second Practical Problem Second Example Lesson Learned So, What Do We Do? How to Actually Find . . . Conclusion Home Page Title Page JJ II J I Page 12 of 48 Go Back Full Screen Close Quit 11. What If We Have No Information About Some States • Sometimes, after a measurement: – for some states x, we know that they are possible, – for some states x, we know that they are not pos- sible, and – for some states x, we have no idea whether they are possible or not. • This situation can be naturally described by a “set interval” [X, X], where: – X is the set of all states x about which we know that they are possible, and – X is the set of all the states x about which we know that they may be possible, – i.e., about which we do not know that they are not possible.
  • 13. What We Want: Two . . . Need to Take . . . First Practical Problem Second Practical Problem Second Example Lesson Learned So, What Do We Do? How to Actually Find . . . Conclusion Home Page Title Page JJ II J I Page 13 of 48 Go Back Full Screen Close Quit 12. Set Intervals (cont-d) • Similarly, when we describe our desires: – for some states t, we know that they are desirable, – for some states t, we know that they are not desir- able, and – for some states t, we have no idea whether they will be desirable or not. • This situation can be naturally described by a set in- terval [T, T], where: – T is the set of all states t about which we know that they are desirable, and – T is the set of all the states t about which we know that they may be desirable, – i.e., about which we do not know that they are not desirable.
  • 14. What We Want: Two . . . Need to Take . . . First Practical Problem Second Practical Problem Second Example Lesson Learned So, What Do We Do? How to Actually Find . . . Conclusion Home Page Title Page JJ II J I Page 14 of 48 Go Back Full Screen Close Quit 13. Need to Take Into Account Degrees of Possi- bility • Often, for some states for which we are not 100% sure that these states are possible: – an expert can come up with a degree – e.g., a num- ber from the interval [0, 1] – indicating to what extend this particular state x is possible. • This additional information is a function that assigns, to each state, a degree. It is called a fuzzy set. • For different states t about which we are not sure whether they are desirable or not: – we can often come up with a degree – to which each such state is desirable. • In this case, the set of all desirable states also becomes a fuzzy set.
  • 15. What We Want: Two . . . Need to Take . . . First Practical Problem Second Practical Problem Second Example Lesson Learned So, What Do We Do? How to Actually Find . . . Conclusion Home Page Title Page JJ II J I Page 15 of 48 Go Back Full Screen Close Quit 14. Probabilistic Uncertainty • For possible states, we can also use prior experience of similar situations. • Thus, we come up with frequencies with which different states x occurred. • So, we have a probability distribution on the set of all possible states – i.e., a probabilistic granule.
  • 16. What We Want: Two . . . Need to Take . . . First Practical Problem Second Practical Problem Second Example Lesson Learned So, What Do We Do? How to Actually Find . . . Conclusion Home Page Title Page JJ II J I Page 16 of 48 Go Back Full Screen Close Quit 15. More Complex Granules Are Also Possible • In addition to the above basic types of granules, we can also have more complex granules. • We can have type-2 fuzzy sets, in which the degree of possibility or desirability: – is not a real number – but is itself a fuzzy subset of the interval [0, 1]. • We can have p-boxes, in which: – instead of a single probability distribution, – we have a family of probability distributions, etc.
  • 17. What We Want: Two . . . Need to Take . . . First Practical Problem Second Practical Problem Second Example Lesson Learned So, What Do We Do? How to Actually Find . . . Conclusion Home Page Title Page JJ II J I Page 17 of 48 Go Back Full Screen Close Quit 16. Resulting Problem • We have mentioned that many practical problems can be reduced to solving systems of equations, in which: – we know the values x (and t), and – we need to find the values y. • In practice, instead of the exact values of x (and t), we now have granules X (and T). • So, we need to decide how to solve the systems of equa- tions in such a granular case.
  • 18. What We Want: Two . . . Need to Take . . . First Practical Problem Second Practical Problem Second Example Lesson Learned So, What Do We Do? How to Actually Find . . . Conclusion Home Page Title Page JJ II J I Page 18 of 48 Go Back Full Screen Close Quit 17. What We Show in This Talk • At first glance, the situation is straightforward: all we need to do is to find out: – how to extend the usual solution algorithms – to the corresponding interval, fuzzy, etc., case. • There are indeed known techniques for extending algo- rithms to the interval, fuzzy, etc. cases. • In many cases, these extensions work well, but in many other cases, they don’t. • In this talk, we explain why they don’t: – it is not enough to consider the corresponding math- ematical equations, – we need to know where these equations came from.
  • 19. What We Want: Two . . . Need to Take . . . First Practical Problem Second Practical Problem Second Example Lesson Learned So, What Do We Do? How to Actually Find . . . Conclusion Home Page Title Page JJ II J I Page 19 of 48 Go Back Full Screen Close Quit 18. What We Show in This Talk (cont-d) • This need will be illustrated mainly on the example of interval uncertainty – the simplest type of uncertainty. • The main intent of this talk is pedagogical: to help users avoid common mistakes. • We give a simple example of two different practical problems in which: – the equations are the same, – the granules are the same, but – the practical relevant solutions are different.
  • 20. What We Want: Two . . . Need to Take . . . First Practical Problem Second Practical Problem Second Example Lesson Learned So, What Do We Do? How to Actually Find . . . Conclusion Home Page Title Page JJ II J I Page 20 of 48 Go Back Full Screen Close Quit 19. Since Our Intent Is Pedagogical, We Select the Simplest Possible Examples • Our intent, as we have mentioned, is to help the user deal with uncertainty – and avoid possible mistakes. • From this viewpoint, we are trying to illustrate our point on the simplest possible examples, in which both: – the uncertainty is of the simplest possible type – namely, interval uncertainty, and – the equations are the simplest possible: in both example, we take a = b + c.
  • 21. What We Want: Two . . . Need to Take . . . First Practical Problem Second Practical Problem Second Example Lesson Learned So, What Do We Do? How to Actually Find . . . Conclusion Home Page Title Page JJ II J I Page 21 of 48 Go Back Full Screen Close Quit 20. First Practical Problem • We have the amount a of water in a reservoir. • We then release the amount b. • We would like to know the amount of water c left in the reservoir. • The solution to this simple problem is straightforward: c = a − b. • For example, for a = 100 and b = 40, we have c = 100 − 40 = 60.
  • 22. What We Want: Two . . . Need to Take . . . First Practical Problem Second Practical Problem Second Example Lesson Learned So, What Do We Do? How to Actually Find . . . Conclusion Home Page Title Page JJ II J I Page 22 of 48 Go Back Full Screen Close Quit 21. Second Practical Problem • We have the amount a of water in the reservoir, which is too large. • We want to release some amount c so that, as a result, we will only have the amount b left. • How much water should we release? • The solution to this second simple problem is also straight- forward: c = a − b. • This is exactly the same formula as for the first prac- tical problem. • For example, for a = 100 and b = 40, we get the same solution c = 100 − 40 = 60 as for the first problem.
  • 23. What We Want: Two . . . Need to Take . . . First Practical Problem Second Practical Problem Second Example Lesson Learned So, What Do We Do? How to Actually Find . . . Conclusion Home Page Title Page JJ II J I Page 23 of 48 Go Back Full Screen Close Quit 22. Simple Granules • For both above problems, we implicitly assumed that we know the exact values a and b. • Let us now consider a more realistic situation, in which: – instead of the exact values a and b, – we have intervals A and B. • As our first example, let us take A = [99, 101] and B = [38, 42]. • Let us see what happens in both problems.
  • 24. What We Want: Two . . . Need to Take . . . First Practical Problem Second Practical Problem Second Example Lesson Learned So, What Do We Do? How to Actually Find . . . Conclusion Home Page Title Page JJ II J I Page 24 of 48 Go Back Full Screen Close Quit 23. First Practical Problem • In the first problem: – all we know about the original amount of water a is that a is somewhere between 99 and 101, and – all we know about the released amount is that it was somewhere between 38 and 42. • We want to find the range of possible values of the resulting amount c = a − b, i.e., the set C = {c = a − b : a ∈ [99, 101], b ∈ [38, 42]}. • The function c = a−b is increasing in a and decreasing in b. • Thus, the largest possible value of c is attained when a is the largest (a = 101) and b is the smallest (b = 38). • The resulting largest possible value of c is thus equal to c = 101 − 38 = 63.
  • 25. What We Want: Two . . . Need to Take . . . First Practical Problem Second Practical Problem Second Example Lesson Learned So, What Do We Do? How to Actually Find . . . Conclusion Home Page Title Page JJ II J I Page 25 of 48 Go Back Full Screen Close Quit 24. First Practical Problem (cont-d) • The smallest possible value of c is attained when a is the smallest (a = 99) and b is the largest (b = 42). • The resulting largest possible value of c is thus equal to c = 99 − 42 = 57. • Thus, the desired interval of possible values of c is equal to C = [57, 63].
  • 26. What We Want: Two . . . Need to Take . . . First Practical Problem Second Practical Problem Second Example Lesson Learned So, What Do We Do? How to Actually Find . . . Conclusion Home Page Title Page JJ II J I Page 26 of 48 Go Back Full Screen Close Quit 25. Second Practical Problem • In the second problem: – all we know about the original amount of water a is that a is between 99 and 101, and – we want to make sure that after releasing the amount c, the remaining amount is between 38 and 42. • In other words, we need to find the values c for which: – no matter what was the original value a ∈ [99, 101], – the remaining amount b = a − c will be between 38 and 42. • Let us describe the set of all such values c. • We want the value c for which the double inequality 38 ≤ a − c ≤ 42 holds for all a ∈ [99, 101]. • By reversing signs, we get an equivalent double inequal- ity −42 ≤ c − a ≤ −38.
  • 27. What We Want: Two . . . Need to Take . . . First Practical Problem Second Practical Problem Second Example Lesson Learned So, What Do We Do? How to Actually Find . . . Conclusion Home Page Title Page JJ II J I Page 27 of 48 Go Back Full Screen Close Quit 26. Second Practical Problem (cont-d) • By adding a to all three sides of this inequality, we get an equivalent inequality a − 42 ≤ c ≤ a − 38. • The left inequality means that c should be larger than or equal to a − 42 for all a ∈ [99, 101]. • This is equivalent to requiring that c is larger than or equal to the largest of these differences. • The difference is the largest when a is the largest, i.e., when a = 101. • Thus, the left inequality is equivalent to c ≥ 101 − 42 = 59. • The right inequality means that c should be smaller than or equal to a − 38 for all a ∈ [99, 101].
  • 28. What We Want: Two . . . Need to Take . . . First Practical Problem Second Practical Problem Second Example Lesson Learned So, What Do We Do? How to Actually Find . . . Conclusion Home Page Title Page JJ II J I Page 28 of 48 Go Back Full Screen Close Quit 27. Second Practical Problem (cont-d) • This is equivalent to requiring that c is smaller than or equal to the smallest of these differences. • The difference is the smallest when a is the smallest, i.e., when a = 99. • Thus, the right inequality is equivalent to c ≤ 99 − 38 = 61. • So, in this problem, the desired interval of possible values of c is equal to C = [59, 61].
  • 29. What We Want: Two . . . Need to Take . . . First Practical Problem Second Practical Problem Second Example Lesson Learned So, What Do We Do? How to Actually Find . . . Conclusion Home Page Title Page JJ II J I Page 29 of 48 Go Back Full Screen Close Quit 28. These Solutions Are Different • The interval [57, 63] corresponding to the first problem is much wider than [59, 61]. • This is not a mistake. • For example, the value c = 63 is a possible solution of the first problem. • It corresponds to the case when we originally had a = 101, and we released b = 38. • However, the same value c = 63 is not a possible solu- tion to the second problem: – indeed, if we had a = 99, – then by releasing c = 63 units of water, we would be left with b = a − c = 99 − 63 = 36 units, – and we want the remaining amount to be always between 38 and 42.
  • 30. What We Want: Two . . . Need to Take . . . First Practical Problem Second Practical Problem Second Example Lesson Learned So, What Do We Do? How to Actually Find . . . Conclusion Home Page Title Page JJ II J I Page 30 of 48 Go Back Full Screen Close Quit 29. Second Example • A simple modification can make the different between the first and second problems even more drastic. • To get such a modification, let us take use different interval granules: A = [98, 102] and B = [39, 41]. • The difference is not so big for the first problem. • In this case, we want to find the range of possible values of the resulting amount c = a − b, i.e., the set C = {c = a − b : a ∈ [98, 102], b ∈ [39, 41]}. • The function c = a−b is increasing in a and decreasing in b. • So, the largest possible value of c is attained when a is the largest (a = 102) and b is the smallest (b = 39). • The resulting largest possible value of c is thus equal to c = 102 − 39 = 63.
  • 31. What We Want: Two . . . Need to Take . . . First Practical Problem Second Practical Problem Second Example Lesson Learned So, What Do We Do? How to Actually Find . . . Conclusion Home Page Title Page JJ II J I Page 31 of 48 Go Back Full Screen Close Quit 30. Second Example (cont-d) • The smallest possible value of c is attained when a is the smallest (a = 98) and b is the largest (b = 41). • The resulting largest possible value of c is thus equal to c = 98 − 41 = 57. • Thus, the desired interval of possible values of c is equal to C = [57, 63]. • In the second practical problem: – all we know about the original amount of water a is that a is somewhere between 98 and 102, and – we want to make sure that after releasing the amount c, the remaining amount is between 39 and 41.
  • 32. What We Want: Two . . . Need to Take . . . First Practical Problem Second Practical Problem Second Example Lesson Learned So, What Do We Do? How to Actually Find . . . Conclusion Home Page Title Page JJ II J I Page 32 of 48 Go Back Full Screen Close Quit 31. Second Example (cont-d) • Thus, we need to find the values c for which: – no matter what was the original value a ∈ [98, 102], – the remaining amount b = a − c will be between 39 and 41: 39 ≤ a − c ≤ 41. • By reversing signs, we get an equivalent inequality −41 ≤ c − a ≤ −39, i.e., a − 41 ≤ c ≤ a − 39. • For a = 98, the right side of this double inequality implies that c ≤ 98 − 39 = 59, so c ≤ 59. • On the other hand, for a = 102, the left side of this inequality implies that c ≥ 102 − 41 = 61, so c ≥ 61. • But a number cannot be at the same time larger than or equal to 61 and smaller than or equal to 59. • Thus, for A = [98, 102] and B = [39, 41], the second practical problem simply has no solutions to all.
  • 33. What We Want: Two . . . Need to Take . . . First Practical Problem Second Practical Problem Second Example Lesson Learned So, What Do We Do? How to Actually Find . . . Conclusion Home Page Title Page JJ II J I Page 33 of 48 Go Back Full Screen Close Quit 32. Lesson Learned • There are many papers that: – first, come up with algorithms for solving, e.g., sys- tems of linear equations under uncertainty, and – then, apply these algorithms to all the cases. • We hope that the above two examples convinced the readers that it is not possible to just know the equation. • We need to take into account what exactly practical problem is being solved. • Depending on that, different solutions will be adequate.
  • 34. What We Want: Two . . . Need to Take . . . First Practical Problem Second Practical Problem Second Example Lesson Learned So, What Do We Do? How to Actually Find . . . Conclusion Home Page Title Page JJ II J I Page 34 of 48 Go Back Full Screen Close Quit 33. So, What Do We Do? • In general, instead of knowing the exact state x (or t), we only know the set X (or T) of possible states. • For the understanding the world, a natural idea is to find all possible values y, i.e., to find the set Y = {y : ∃x ∈ X ∃z ∈ Z (F1(x, y, z) = 0 & . . . & Fq(x, y, z) = 0)}. • This set combines (“unites”) all the values y corre- sponding to all possible values x ∈ X. • It is thus known as the united solution set. • For changing the world, we need to find the values y for which: – for all possible values x ∈ X, – the resulting vector t is within the desired range T.
  • 35. What We Want: Two . . . Need to Take . . . First Practical Problem Second Practical Problem Second Example Lesson Learned So, What Do We Do? How to Actually Find . . . Conclusion Home Page Title Page JJ II J I Page 35 of 48 Go Back Full Screen Close Quit 34. So, What Do We Do (cont-d) • In this case, the desired set Y has the form Y = {y : ∀x ∈ X ∃t ∈ T ∃z ∈ Z (F1(x, t, y, z) = 0 & . . .)}; – when we select the control parameters values y from this set Y , – the resulting state t is guaranteed to belong to the set T of desirable (tolerable) sets. • Because of this, this solution is known as the tolerance solution set.
  • 36. What We Want: Two . . . Need to Take . . . First Practical Problem Second Practical Problem Second Example Lesson Learned So, What Do We Do? How to Actually Find . . . Conclusion Home Page Title Page JJ II J I Page 36 of 48 Go Back Full Screen Close Quit 35. How to Actually Find Solutions • In general, the corresponding problems are NP-hard, even under interval uncertainty. • However, in many cases, there are efficient algorithms for solving these problems. • The most well-studied problem is the problem of find- ing the united solution set. • The simplest algorithm for solving this problem is the naive interval computation algorithms, in which: – we start with an algorithm for solving the system, and – we replace each elementary arithmetic operation with the corresponding interval operation.
  • 37. What We Want: Two . . . Need to Take . . . First Practical Problem Second Practical Problem Second Example Lesson Learned So, What Do We Do? How to Actually Find . . . Conclusion Home Page Title Page JJ II J I Page 37 of 48 Go Back Full Screen Close Quit 36. How to Find Solutions (cont-d) • These operations can be easily determined via mono- tonicity, like we described the range of a − b: – if we know that the value a belongs to [a, a] and that the value b belongs to [b, b], – then the set [c, c] of possible values of the difference c = a − b can be computed as [c, c] = [a − b, a − b]. • This fact can be described as [a, a] − [b, b] = [a − b, a − b].
  • 38. What We Want: Two . . . Need to Take . . . First Practical Problem Second Practical Problem Second Example Lesson Learned So, What Do We Do? How to Actually Find . . . Conclusion Home Page Title Page JJ II J I Page 38 of 48 Go Back Full Screen Close Quit 37. How to Find Solutions (cont-d) • Similarly, for other arithmetic operations, the corre- sponding ranges can be described as follows: [a, a] + [b, b] = [a + b, a + b]; [a, a]·[b, b] = [min(a·b, a·b, a·b, a·b), max(a·b, a·b, a·b, a·b)]; [a, a]/[b, b] = [a, a] · (1/[b, b]), where 1/[b, b] = [1/b, 1/b] when 0 6∈ [b, b]. • The resulting enclosure is often a drastic overestima- tion. • So more efficient methods need to be used: central value method, monotonicity checking, bisection, etc. • Methods of computing tolerance solutions are some- times called modal interval mathematics.
  • 39. What We Want: Two . . . Need to Take . . . First Practical Problem Second Practical Problem Second Example Lesson Learned So, What Do We Do? How to Actually Find . . . Conclusion Home Page Title Page JJ II J I Page 39 of 48 Go Back Full Screen Close Quit 38. How to Find Solutions (cont-d) • The reason for this name is that: – the main difference from the traditional interval computations (that computes the united solution) – is that one of the existential quantifiers is replaced by the universal one. • This is similar to the usual interpretation of modalities like “possible” and “necessary”, in which: – “possible” is understood as occurring in one of the possible worlds (which corresponds to ∃), while – “necessary” is understood as occurring in all possi- ble worlds (which corresponds to ∀). • Intervals [ti, ti] corresponding to inverse modality can be formally viewed as improper (Kaucher) intervals [ti, ti] with ti > ti.
  • 40. What We Want: Two . . . Need to Take . . . First Practical Problem Second Practical Problem Second Example Lesson Learned So, What Do We Do? How to Actually Find . . . Conclusion Home Page Title Page JJ II J I Page 40 of 48 Go Back Full Screen Close Quit 39. How to Find Solutions (cont-d) • Kaucher intervals are indeed useful in solving the cor- responding tolerance problem. • For example, in the second problem: – we know that a ∈ [a, a], – we are given the tolerance interval [b, b], and – we want to find the value c for which b = a − c ∈ [b, b] for all a ∈ [a, a]. • Arguments like the ones that we had lead to the fol- lowing interval of possible value of c: [c, c] = [a − b, a − b]. • This is exactly what we get if we apply naive formula to the improper interval A∗ def = [a, a] and to [b, b]. • Similar ideas can be used to solve more complex sys- tems of equations.
  • 41. What We Want: Two . . . Need to Take . . . First Practical Problem Second Practical Problem Second Example Lesson Learned So, What Do We Do? How to Actually Find . . . Conclusion Home Page Title Page JJ II J I Page 41 of 48 Go Back Full Screen Close Quit 40. How These Methods Help to Solve Our Two Practical Problems: First Example • The only information that we have about the quantity a is that it is in the interval A = [99, 101]. • The only information that we have about the quantity b is that it is in the interval B = [38, 42]. • In the first practical problem, we need to find the range C of all possible values c = a−b when a ∈ A and b ∈ B. • In other words, we need to find the set C = {c : ∃a ∈ A ∃b ∈ B (c = a − b)}. • This is a particular case of the united solution set. • As we have mentioned, to compute this set, we can use naive (straightforward) interval computations. • Specifically, the computation of c consists of a single arithmetic operation (subtraction).
  • 42. What We Want: Two . . . Need to Take . . . First Practical Problem Second Practical Problem Second Example Lesson Learned So, What Do We Do? How to Actually Find . . . Conclusion Home Page Title Page JJ II J I Page 42 of 48 Go Back Full Screen Close Quit 41. First Example (cont-d) • According to the naive interval computation method, to compute the set C: – we replace this operation with numbers by the cor- responding operation with intervals, – i.e., we compute C = A − B = [99, 101] − [38, 42] = [57, 63]. • This is exactly the range that we obtained earlier. • In the second practical problem, we need to find the range C of all possible values c for which: – for all a ∈ A, – the value b = a − c belongs to the interval B. • In other words, we need to find the set C = {c : ∀a ∈ A ∃b ∈ B (c = a − b)}.
  • 43. What We Want: Two . . . Need to Take . . . First Practical Problem Second Practical Problem Second Example Lesson Learned So, What Do We Do? How to Actually Find . . . Conclusion Home Page Title Page JJ II J I Page 43 of 48 Go Back Full Screen Close Quit 42. First Example (cont-d) • This is a particular case of the tolerance solution. • As we have mentioned, to compute this set, we can use Kaucher arithmetic. • The variable a enters this formula with a universal quantifier instead of the existential one. • So, instead of the original interval A = [99, 101], we need to consider an improper interval A∗ = [101, 99]. • For the resulting pair of intervals A∗ and B, the above general rule of interval subtraction leads to C = A∗ − B = [101, 99] − [38, 42] = [59, 61]. • This is exactly the range we found.
  • 44. What We Want: Two . . . Need to Take . . . First Practical Problem Second Practical Problem Second Example Lesson Learned So, What Do We Do? How to Actually Find . . . Conclusion Home Page Title Page JJ II J I Page 44 of 48 Go Back Full Screen Close Quit 43. Second Example • In the second example, we have A = [98, 102] and B = [39, 41]. • To solve the first problem, we perform naive interval computations and compute C = A − B = [98, 102] − [39, 41] = [57, 63]. • This is exactly what we obtained. • To compute the range corresponding to the second problem, we use Kaucher arithmetic and compute: C = A∗ − B = [102, 98] − [39, 41] = [61, 59].
  • 45. What We Want: Two . . . Need to Take . . . First Practical Problem Second Practical Problem Second Example Lesson Learned So, What Do We Do? How to Actually Find . . . Conclusion Home Page Title Page JJ II J I Page 45 of 48 Go Back Full Screen Close Quit 44. Second Example (cont-d) • What is the meaning of this answer? • We are looking for all possible values c for which c ≤ c ≤ c. • In this example, c > c, so no such c are possible. • Thus, for these intervals A and B, the second problem has no solutions. • This is exactly the conclusion that we obtained earlier.
  • 46. What We Want: Two . . . Need to Take . . . First Practical Problem Second Practical Problem Second Example Lesson Learned So, What Do We Do? How to Actually Find . . . Conclusion Home Page Title Page JJ II J I Page 46 of 48 Go Back Full Screen Close Quit 45. Other Formulations Are Possible • in some practical problems, the control parameters y can be divide into two groups: – parameters y0 that we select once and for all (e.g., the parameters that describe the design), and – parameters y00 that we can change all the time. • In this case: – instead of a single desired state t, – it makes sense to consider different desired states that form a set T, – so that at different moments of time, we can reach different states. • This is exactly the case with heating and air condition- ing.
  • 47. What We Want: Two . . . Need to Take . . . First Practical Problem Second Practical Problem Second Example Lesson Learned So, What Do We Do? How to Actually Find . . . Conclusion Home Page Title Page JJ II J I Page 47 of 48 Go Back Full Screen Close Quit 46. Other Formulations Are Possible (cont-d) • It is usually set up in such a way that different users can set up different desired temperatures. • In this case, when look for the original setting y0 , we must set it in such a way that: – any state from T – is accessible via an appropriate selection of y00 . • The resulting solution set has the following form Y 0 = {y0 : ∃y00 ∈ Y 00 ∀x ∈ X ∃z ∈ Z ∃t ∈ T (F1(x, t, y, z) = 0 & . . .}. • This solution set is known as the controlled set. • More complex sets appear in game-type situations, when participants make selections in turn.
  • 48. What We Want: Two . . . Need to Take . . . First Practical Problem Second Practical Problem Second Example Lesson Learned So, What Do We Do? How to Actually Find . . . Conclusion Home Page Title Page JJ II J I Page 48 of 48 Go Back Full Screen Close Quit 47. Conclusion • We showed that when a practical problem reduces to a system of equations, to find its solution: – it is not enough to know the corresponding gran- ules, – we also need to take into account the original prac- tical problem.