From: Margo van der Stam Date: Tue, 6 Jan 2015 09:38:48 +0000 (+0100) Subject: Andere helft van het netwerk toegevoegd. X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=a10ed62a82b6c2c8a3e3097af4f04d64c675d04c;p=ker2014-2.git Andere helft van het netwerk toegevoegd. --- diff --git a/report/src/alarm.ail b/report/src/alarm.ail index 563704a..4e1c077 100644 --- a/report/src/alarm.ail +++ b/report/src/alarm.ail @@ -22,3 +22,21 @@ 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(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