123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192 |
- <?xml version="1.0" encoding="UTF-8"?>
- <BIF VERSION="0.3" xmlns="http://www.cs.ubc.ca/labs/lci/fopi/ve/XMLBIFv0_3"
- xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
- xsi:schemaLocation="http://www.cs.ubc.ca/labs/lci/fopi/ve/XMLBIFv0_3 http://www.cs.ubc.ca/labs/lci/fopi/ve/XMLBIFv0_3/XMLBIFv0_3.xsd">
- <NETWORK>
- <NAME>Nuclear Power Station</NAME>
- <PROPERTY>detailed = </PROPERTY>
- <PROPERTY>short = </PROPERTY>
-
- <VARIABLE TYPE="nature">
- <NAME>WaterLeak</NAME>
- <OUTCOME>T</OUTCOME>
- <OUTCOME>F</OUTCOME>
- <PROPERTY>position = (7384.1337890625, 5342.26220703125)</PROPERTY>
- </VARIABLE>
-
- <VARIABLE TYPE="nature">
- <NAME>WaterLeakWarning</NAME>
- <OUTCOME>T</OUTCOME>
- <OUTCOME>F</OUTCOME>
- <PROPERTY>position = (7260.0986328125, 5584.7626953125)</PROPERTY>
- </VARIABLE>
-
- <VARIABLE TYPE="nature">
- <NAME>IcyWeather</NAME>
- <OUTCOME>T</OUTCOME>
- <OUTCOME>F</OUTCOME>
- <PROPERTY>position = (7579.63818359375, 5085.86474609375)</PROPERTY>
- </VARIABLE>
-
- <VARIABLE TYPE="nature">
- <NAME>PumpFailure</NAME>
- <OUTCOME>T</OUTCOME>
- <OUTCOME>F</OUTCOME>
- <PROPERTY>position = (7123.5244140625, 5338.97509765625)</PROPERTY>
- </VARIABLE>
-
- <VARIABLE TYPE="nature">
- <NAME>PumpFailureWarning</NAME>
- <OUTCOME>T</OUTCOME>
- <OUTCOME>F</OUTCOME>
- <PROPERTY>position = (7029.26171875, 5583.60107421875)</PROPERTY>
- </VARIABLE>
-
- <VARIABLE TYPE="nature">
- <NAME>Meltdown</NAME>
- <OUTCOME>T</OUTCOME>
- <OUTCOME>F</OUTCOME>
- <PROPERTY>position = (7482.10693359375, 5585.57177734375)</PROPERTY>
- </VARIABLE>
-
- <VARIABLE TYPE="nature">
- <NAME>Battery</NAME>
- <OUTCOME>T</OUTCOME>
- <OUTCOME>F</OUTCOME>
- <PROPERTY>position = (7773.16650390625, 5220.43408203125)</PROPERTY>
- </VARIABLE>
-
- <VARIABLE TYPE="nature">
- <NAME>Radio</NAME>
- <OUTCOME>T</OUTCOME>
- <OUTCOME>F</OUTCOME>
- <PROPERTY>position = (7679.6611328125, 5350.0634765625)</PROPERTY>
- </VARIABLE>
-
- <VARIABLE TYPE="nature">
- <NAME>Ignition</NAME>
- <OUTCOME>T</OUTCOME>
- <OUTCOME>F</OUTCOME>
- <PROPERTY>position = (7924.04248046875, 5350.0634765625)</PROPERTY>
- </VARIABLE>
-
- <VARIABLE TYPE="nature">
- <NAME>Gas</NAME>
- <OUTCOME>T</OUTCOME>
- <OUTCOME>F</OUTCOME>
- <PROPERTY>position = (8165.234375, 5358.56396484375)</PROPERTY>
- </VARIABLE>
-
- <VARIABLE TYPE="nature">
- <NAME>Start</NAME>
- <OUTCOME>T</OUTCOME>
- <OUTCOME>F</OUTCOME>
- <PROPERTY>position = (8058.9833984375, 5506.25390625)</PROPERTY>
- </VARIABLE>
-
- <VARIABLE TYPE="nature">
- <NAME>Moves</NAME>
- <OUTCOME>T</OUTCOME>
- <OUTCOME>F</OUTCOME>
- <PROPERTY>position = (8058.9833984375, 5660.31982421875)</PROPERTY>
- </VARIABLE>
-
- <VARIABLE TYPE="nature">
- <NAME>Survives</NAME>
- <OUTCOME>T</OUTCOME>
- <OUTCOME>F</OUTCOME>
- <PROPERTY>position = (7650.9716796875, 5801.63623046875)</PROPERTY>
- </VARIABLE>
-
- <VARIABLE TYPE="nature">
- <NAME>Bicycle_works</NAME>
- <OUTCOME>T</OUTCOME>
- <OUTCOME>F</OUTCOME>
- <PROPERTY>position = (7649.91162109375, 5662.4453125)</PROPERTY>
- </VARIABLE>
-
- <DEFINITION>
- <FOR>WaterLeak</FOR>
- <GIVEN>IcyWeather</GIVEN>
- <TABLE>0.2 0.8 0.1 0.9</TABLE>
- </DEFINITION>
-
- <DEFINITION>
- <FOR>WaterLeakWarning</FOR>
- <GIVEN>WaterLeak</GIVEN>
- <TABLE>0.9 0.1 0.05 0.95</TABLE>
- </DEFINITION>
-
- <DEFINITION>
- <FOR>IcyWeather</FOR>
- <TABLE>0.05 0.95</TABLE>
- </DEFINITION>
-
- <DEFINITION>
- <FOR>PumpFailure</FOR>
- <TABLE>0.1 0.9</TABLE>
- </DEFINITION>
-
- <DEFINITION>
- <FOR>PumpFailureWarning</FOR>
- <GIVEN>PumpFailure</GIVEN>
- <TABLE>0.9 0.1 0.05 0.95</TABLE>
- </DEFINITION>
-
- <DEFINITION>
- <FOR>Meltdown</FOR>
- <GIVEN>WaterLeak</GIVEN>
- <GIVEN>PumpFailure</GIVEN>
- <TABLE>0.2 0.8 0.1 0.9 0.15 0.85 0.001 0.999</TABLE>
- </DEFINITION>
-
- <DEFINITION>
- <FOR>Battery</FOR>
- <GIVEN>IcyWeather</GIVEN>
- <TABLE>0.8 0.2 0.95 0.05</TABLE>
- </DEFINITION>
-
- <DEFINITION>
- <FOR>Radio</FOR>
- <GIVEN>Battery</GIVEN>
- <TABLE>0.95 0.05 0.0 1.0</TABLE>
- </DEFINITION>
-
- <DEFINITION>
- <FOR>Ignition</FOR>
- <GIVEN>Battery</GIVEN>
- <TABLE>0.95 0.05 0.0 1.0</TABLE>
- </DEFINITION>
-
- <DEFINITION>
- <FOR>Gas</FOR>
- <TABLE>0.95 0.05</TABLE>
- </DEFINITION>
-
- <DEFINITION>
- <FOR>Start</FOR>
- <GIVEN>Ignition</GIVEN>
- <GIVEN>Gas</GIVEN>
- <TABLE>0.95 0.05 0.0 1.0 0.0 1.0 0.0 1.0</TABLE>
- </DEFINITION>
-
- <DEFINITION>
- <FOR>Moves</FOR>
- <GIVEN>Start</GIVEN>
- <TABLE>0.95 0.05 0.0 1.0</TABLE>
- </DEFINITION>
-
- <DEFINITION>
- <FOR>Survives</FOR>
- <GIVEN>Meltdown</GIVEN>
- <GIVEN>Moves</GIVEN>
- <GIVEN>Bicycle_works</GIVEN>
- <TABLE>0.9 0.1 0.8 0.2 0.6 0.4 0.0 1.0 1.0 0.0 1.0 0.0 1.0 0.0 1.0 0.0</TABLE>
- </DEFINITION>
-
- <DEFINITION>
- <FOR>Bicycle_works</FOR>
- <TABLE>0.9 0.1</TABLE>
- </DEFINITION>
- </NETWORK>
- </BIF>
|