Difference between revisions of "Condition Effect Learning"

From AardRock Wiki
Jump to navigation Jump to search
Line 28: Line 28:




Using logics, set theory, intuition and commson sense, I came up with the following theorem. Lets call it ''Kingma's Theorem'' :). I havent formally proved it yet, but this seems to be true for all cases. Its actually quite logical.<br/>
Using intuition, I came up with the following theorem. I have to give it a name so lets call it ''Kingma's Theorem'' :). It's not formally proved yet, but the following seems to be true for all cases. Its actually quite logical.<br/>
if e is a port of set S (''and (S-e) is set S minus condition c')<br/>
If condition c is part of set S (''and (S-c) is set S minus condition c')<br/>
and S<sub>min</sub> and S<sub>max</sub> are known<br/>
and S<sub>min</sub> and S<sub>max</sub> are known<br/>
and c<sub>hardmin</sub> and c<sub>hardmax</sub> are known<br/>
and c<sub>hardmin</sub> and c<sub>hardmax</sub> are known<br/>
Line 48: Line 48:
'''Example 1.1'''
'''Example 1.1'''


Lets look at an example of how a system would learn. Say, the user adds a glucose mearurement entry and the system starts its learning system.
Lets look at a simple example of how a system would learn. Say, the user adds a glucose mearurement entry and the system starts its learning system. The user has taken a glass of applejuice A and a bread B. The user fills in a blood glucose measurement of 15.


[Example is to be added]
The system knows a priori (from its database):
 
A<sub>hardmin</sub> = 2<br/>
A<sub>hardmax</sub> = 5<br/>
B<sub>hardmin</sub> = 7<br/>
B<sub>hardmax</sub> = 9
 
The system calculates the effect range these two items must have had:
 
UE<sub>min</sub> = BG<sub>measurement</sub> - CE<sub>max</sub> = 20 - 13 = 7<br/>
UE<sub>max</sub> = BG<sub>measurement</sub> - CE<sub>min</sub> = 20 - 9 = 11
 
Using Kingma's Theorem, The system then calculates the current A<sub>min</sub>, A<sub>max</sub>, B<sub>min</sub>, B<sub>max</sub> values:
 
(UE-A)<sub>min</sub> = UE<sub>min</sub> - A<sub>hardmax</sub> = 7 - 5 = 2 (this is under B's hardmin, so) => 7<br/>
(UE-A)<sub>max</sub> = UE<sub>max</sub> - A<sub>hardmin</sub> = 11 - 2 = 9 (not above B's hardmax, so keep it)<br/>
 
(UE-B)<sub>min</sub> = UE<sub>min</sub> - B<sub>hardmax</sub> = 7 - 9 = -2 (this is under A's hardmin, so) => 2<br/>
(UE-B)<sub>max</sub> = UE<sub>max</sub> - B<sub>hardmin</sub> = 11 - 7 = 4 (not above A's hardmax, so keep it)<br/>
 
In this case, (UE-A) is B, and (UE-B) is A, is the system already calculated everything it needed:
 
A<sub>min</sub> = (UE-B)<sub>min</sub> = 2<br/>
A<sub>max</sub> = (UE-B)<sub>max</sub> = 4<br/>
B<sub>min</sub> = (UE-A)<sub>min</sub> = 7<br/>
B<sub>max</sub> = (UE-A)<sub>max</sub> = 9<br/>
 
Above values indicate the possible current effect range of A and B. The system can use this to tweak its knowledge about the overall effect range of this values. This could be done by giving a condition a list of these calculated effect ranges. An algorithm then a mean (or something) of this list to use in effect prediction.
 
In other cases, when there are more then 2 conditions, the system iterates down a few levels to calculate the individual possible condition effect ranges. I will add such an example when I have time.


== 2. Learning a condition's effect by seeing it as a normally distributed random variable ==
== 2. Learning a condition's effect by seeing it as a normally distributed random variable ==

Revision as of 11:08, 7 May 2006

This page reflects my idea about the Condition Effect Learning system. If you have comments, please dont delete text but add comments so I can reflect. See this as a first draft, which can be used as a basis for the Cheetah condition effect learning system.

As said in Advisory System, Cheetah needs a system that learns about the effect of certain conditions. As you can read in Advisory System, I think there are three kinds of conditions:

  1. Certain conditions: the effect is known and fixed. The effect is fixed, so the learning system will see the effect as certain.
  2. Uncertain conditions: the effect is not certain or not known yet. So, the effect is a prediction done by the system. The learning system tries to approve the prediction by looking at the past.

There are some comlications regarding learning about condition (e.g. food) effects. Since each human and each body is different, conditions dont always have a fixed certain effect. Food for instance has a GL (Glycamic Load) that tells about the effect of the food on BG (Blood Glucose) levels. Food effect (response) varies between individuals and between days as much as 20%. Likewise, effect of insulin and activities varies between people and temporally. Therefore, to account for intra-individual and temporal differences, I think it is a good thing to generally express condition effect by a range instead of a simple number. Such a range could be a probability distribution, or expressed as (minimum,maximum) tuple. For Cheetah, 'Learning' about conditions means assigning a range or distribution to it. There are several levels of expressing such variation in terms of a range or distribution. I solved the first one, but not yet the second.

  1. Learning a condition's effect by assigning it a minimal and maximal effect value. For example, a minimum and maximum BG effect.
  2. Learning a condition's effect by seeing it as a normally distributed random variable.

1. Learning a condition's effect by assigning it a minimal and maximal effect value

With this system, all conditions X have a Xhardmin and Xhardmax variables which tells the system the hard minimum and maximum of effect. For example, research has pointed out that a can of Coca-Cola has a Glycemic Load (GL) of minimally 14 and maximally 16. If we see the GL as the foods effect, we can assign CocaColahardmin=14 and CocaColahardmax=16. So, CocaCola could be a type 1 condition because it has a certain effect. When a user adds a new food type X to the database, it can add information like carbonhydrate(%), GI and such, to help the system determine Xhardmin and Xhardmax.


So, all conditions have a minimum and a maximum effect.
Suppose c is a condition, then:
<math>c_{min}, c_{max} \in \mathbb{R}</math>
<math>c_{min} \le c_{max}</math>


Also, conditions can be contained in a group (set) of conditions S:
S = {c1, c2, ...}
Like conditions, such group of conditions S also has minimum and maxmimum cumulative effect. Such effect is the sum of all of the effects of its contained conditions:
Smin = c1min + c2min + ...
Smax = c1max + c2max + ...


Using intuition, I came up with the following theorem. I have to give it a name so lets call it Kingma's Theorem :). It's not formally proved yet, but the following seems to be true for all cases. Its actually quite logical.
If condition c is part of set S (and (S-c) is set S minus condition c')
and Smin and Smax are known
and chardmin and chardmax are known
then can be said:
(S-c)min = Smin - chardmax
(S-c)max = Smax - chardmin


Lets assume that at each blood glucose (BG) measurement, Cheetah starts its learning system. Cheetah looks at all conditions that could have an effect, and puts all type 1 conditions into group CE (certain effect) and all type 2 into group UE (uncertain effect). Then, cheetah calculates the difference (min and max) between the BGmeasurement and predicted CE group effect. This difference should equal the UE group effect. So:
BGmeasurement = UEreal + CEreal
So:
UEmin = BGmeasurement - CEmax
UEmax = BGmeasurement - CEmin

UE is the range of the sum of the to be learned conditions. These conditions all have their own effect range, chardmin and chardmax. But because the sum of effects (UE) is restricted , each individual effect for each condition must be somewhat more restricted. The possible effect range for each effect can be deduced from the total effect and the hardmin and hardmax value of the other effects. Using Kingma's Theorem, one can deduce the effect range of each individual condition.

Example 1.1

Lets look at a simple example of how a system would learn. Say, the user adds a glucose mearurement entry and the system starts its learning system. The user has taken a glass of applejuice A and a bread B. The user fills in a blood glucose measurement of 15.

The system knows a priori (from its database):

Ahardmin = 2
Ahardmax = 5
Bhardmin = 7
Bhardmax = 9

The system calculates the effect range these two items must have had:

UEmin = BGmeasurement - CEmax = 20 - 13 = 7
UEmax = BGmeasurement - CEmin = 20 - 9 = 11

Using Kingma's Theorem, The system then calculates the current Amin, Amax, Bmin, Bmax values:

(UE-A)min = UEmin - Ahardmax = 7 - 5 = 2 (this is under B's hardmin, so) => 7
(UE-A)max = UEmax - Ahardmin = 11 - 2 = 9 (not above B's hardmax, so keep it)

(UE-B)min = UEmin - Bhardmax = 7 - 9 = -2 (this is under A's hardmin, so) => 2
(UE-B)max = UEmax - Bhardmin = 11 - 7 = 4 (not above A's hardmax, so keep it)

In this case, (UE-A) is B, and (UE-B) is A, is the system already calculated everything it needed:

Amin = (UE-B)min = 2
Amax = (UE-B)max = 4
Bmin = (UE-A)min = 7
Bmax = (UE-A)max = 9

Above values indicate the possible current effect range of A and B. The system can use this to tweak its knowledge about the overall effect range of this values. This could be done by giving a condition a list of these calculated effect ranges. An algorithm then a mean (or something) of this list to use in effect prediction.

In other cases, when there are more then 2 conditions, the system iterates down a few levels to calculate the individual possible condition effect ranges. I will add such an example when I have time.

2. Learning a condition's effect by seeing it as a normally distributed random variable

This is somewhat more complicated and needs to be mathematically worked out. One fact is that conditions can be seen as independent random variables that are normally distributed. This implies that the total effect of an arbitrarely large set of conditions can be easily computed as a Sum of normally distributed random variables. As quoted from wikipedia:

if

<math>X \sim N(\mu, \sigma^2)\,</math>

and

<math>Y \sim N(\nu, \tau^2)\,</math>

and X and Y are independent, then

<math>Z = X + Y \sim N(\mu + \nu, \sigma^2 + \tau^2).\,</math>