From a10ed62a82b6c2c8a3e3097af4f04d64c675d04c Mon Sep 17 00:00:00 2001 From: Margo van der Stam Date: Tue, 6 Jan 2015 10:38:48 +0100 Subject: [PATCH] Andere helft van het netwerk toegevoegd. --- report/src/alarm.ail | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) 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 -- 2.20.1