192 lines
4.3 KiB
XML
192 lines
4.3 KiB
XML
<?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>
|