repositories
/
ker2014-2.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
5c232e0
)
working ailog code jow
author
Mart Lubbers
<mart@martlubbers.net>
Tue, 6 Jan 2015 10:07:17 +0000
(11:07 +0100)
committer
Mart Lubbers
<mart@martlubbers.net>
Tue, 6 Jan 2015 10:07:17 +0000
(11:07 +0100)
report/src/alarm.ail
patch
|
blob
|
history
diff --git
a/report/src/alarm.ail
b/report/src/alarm.ail
index
4e1c077
..
3a1b615
100644
(file)
--- a/
report/src/alarm.ail
+++ b/
report/src/alarm.ail
@@
-1,42
+1,42
@@
-prob earthquake: 1/(365 + 0.25 + 0.01 + 0.0025)
-prob burglar: 1/(365 + 0.25 + 0.01 + 0.0025)
+prob earthquake: 1/(365 + 0.25 + 0.01 + 0.0025)
.
+prob burglar: 1/(365 + 0.25 + 0.01 + 0.0025)
.
-% P(i1 | earthquake):
-i1 <- earthquake & i1WhenEartquake
-prob i1WhenEartquake: 0.2
-i1 <- ~earthquake & i1WhenNotEartquake
-prob i1WhenNotEartquake: 0
+% P(i1 | earthquake):
.
+i1 <- earthquake & i1WhenEartquake
.
+prob i1WhenEartquake: 0.2
.
+i1 <- ~earthquake & i1WhenNotEartquake
.
+prob i1WhenNotEartquake: 0
.
-% P(i2 | burglar):
-i2 <- burglar & i2WhenBurglar
-prob i2WhenBurglar: 0.95
-i2 <- ~burglar & i2WhenNotBurglar
-prob i2WhenNotBurglar: 0
+% P(i2 | burglar):
.
+i2 <- burglar & i2WhenBurglar
.
+prob i2WhenBurglar: 0.95
.
+i2 <- ~burglar & i2WhenNotBurglar
.
+prob i2WhenNotBurglar: 0
.
-% P(
Alarm | i1, i2):
-Alarm <- i1 & i2 & i1i2both
-prob i1i2both: 1
-Alarm <- ~i1 & i2 & i1i2i2
-prob i1i2i2: 1
-Alarm <- i1 & ~i2 & i1i2i1
-prob i1i2i1: 1
-Alarm <- i1 & ~i2 & i1i2none
-prob i1i2none: 0
+% P(
alarm | i1, i2):.
+alarm <- i1 & i2 & i1i2both.
+prob i1i2both: 1
.
+alarm <- ~i1 & i2 & i1i2i2.
+prob i1i2i2: 1
.
+alarm <- i1 & ~i2 & i1i2i1.
+prob i1i2i1: 1
.
+alarm <- i1 & ~i2 & i1i2none.
+prob i1i2none: 0
.
-% P(
Gibbons calls | Alarm)
-Gibbons <- Alarm & GibbonsWhenAlarm
-prob
GibbonsWhenAlarm: 0.99
-Gibbons <- ~Alarm & GibbonsWhenNoAlarm
-prob
GibbonsWhenNoAlarm: 0.04
+% P(
gibbons calls | alarm).
+gibbons <- alarm & gibbonsWhenalarm.
+prob
gibbonsWhenalarm: 0.99.
+gibbons <- ~alarm & gibbonsWhenNoalarm.
+prob
gibbonsWhenNoalarm: 0.04.
-% P(
Watson calls | Alarm)
-Watson <- Alarm & WatsonWhenAlarm
-prob
WatsonWhenAlarm: 0.8
-Watson <- ~Alarm & WatsonWhenNoAlarm
-prob
WatsonWhenNoAlarm: 0.4
+% P(
watson calls | alarm).
+watson <- alarm & watsonWhenalarm.
+prob
watsonWhenalarm: 0.8.
+watson <- ~alarm & watsonWhenNoalarm.
+prob
watsonWhenNoalarm: 0.4.
-% P(
Radio | earthquake)
-Radio <- earthquake & RadioWhenEarthquake
-prob
RadioWhenEarthquake: 0.9998
-Radio <- ~earthquake & RadioWhenNoEarthquake
-prob
RadioWhenNoEarthquake: 0.0002
+% P(
radio | earthquake).
+radio <- earthquake & radioWhenEarthquake.
+prob
radioWhenEarthquake: 0.9998.
+radio <- ~earthquake & radioWhenNoEarthquake.
+prob
radioWhenNoEarthquake: 0.0002.