Sharing of my labs carried out during the TDDC17 course at Linköping University.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

lab3_bicycle.xml 4.3KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192
  1. <?xml version="1.0" encoding="UTF-8"?>
  2. <BIF VERSION="0.3" xmlns="http://www.cs.ubc.ca/labs/lci/fopi/ve/XMLBIFv0_3"
  3. xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
  4. 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">
  5. <NETWORK>
  6. <NAME>Nuclear Power Station</NAME>
  7. <PROPERTY>detailed = </PROPERTY>
  8. <PROPERTY>short = </PROPERTY>
  9. <VARIABLE TYPE="nature">
  10. <NAME>WaterLeak</NAME>
  11. <OUTCOME>T</OUTCOME>
  12. <OUTCOME>F</OUTCOME>
  13. <PROPERTY>position = (7384.1337890625, 5342.26220703125)</PROPERTY>
  14. </VARIABLE>
  15. <VARIABLE TYPE="nature">
  16. <NAME>WaterLeakWarning</NAME>
  17. <OUTCOME>T</OUTCOME>
  18. <OUTCOME>F</OUTCOME>
  19. <PROPERTY>position = (7260.0986328125, 5584.7626953125)</PROPERTY>
  20. </VARIABLE>
  21. <VARIABLE TYPE="nature">
  22. <NAME>IcyWeather</NAME>
  23. <OUTCOME>T</OUTCOME>
  24. <OUTCOME>F</OUTCOME>
  25. <PROPERTY>position = (7579.63818359375, 5085.86474609375)</PROPERTY>
  26. </VARIABLE>
  27. <VARIABLE TYPE="nature">
  28. <NAME>PumpFailure</NAME>
  29. <OUTCOME>T</OUTCOME>
  30. <OUTCOME>F</OUTCOME>
  31. <PROPERTY>position = (7123.5244140625, 5338.97509765625)</PROPERTY>
  32. </VARIABLE>
  33. <VARIABLE TYPE="nature">
  34. <NAME>PumpFailureWarning</NAME>
  35. <OUTCOME>T</OUTCOME>
  36. <OUTCOME>F</OUTCOME>
  37. <PROPERTY>position = (7029.26171875, 5583.60107421875)</PROPERTY>
  38. </VARIABLE>
  39. <VARIABLE TYPE="nature">
  40. <NAME>Meltdown</NAME>
  41. <OUTCOME>T</OUTCOME>
  42. <OUTCOME>F</OUTCOME>
  43. <PROPERTY>position = (7482.10693359375, 5585.57177734375)</PROPERTY>
  44. </VARIABLE>
  45. <VARIABLE TYPE="nature">
  46. <NAME>Battery</NAME>
  47. <OUTCOME>T</OUTCOME>
  48. <OUTCOME>F</OUTCOME>
  49. <PROPERTY>position = (7773.16650390625, 5220.43408203125)</PROPERTY>
  50. </VARIABLE>
  51. <VARIABLE TYPE="nature">
  52. <NAME>Radio</NAME>
  53. <OUTCOME>T</OUTCOME>
  54. <OUTCOME>F</OUTCOME>
  55. <PROPERTY>position = (7679.6611328125, 5350.0634765625)</PROPERTY>
  56. </VARIABLE>
  57. <VARIABLE TYPE="nature">
  58. <NAME>Ignition</NAME>
  59. <OUTCOME>T</OUTCOME>
  60. <OUTCOME>F</OUTCOME>
  61. <PROPERTY>position = (7924.04248046875, 5350.0634765625)</PROPERTY>
  62. </VARIABLE>
  63. <VARIABLE TYPE="nature">
  64. <NAME>Gas</NAME>
  65. <OUTCOME>T</OUTCOME>
  66. <OUTCOME>F</OUTCOME>
  67. <PROPERTY>position = (8165.234375, 5358.56396484375)</PROPERTY>
  68. </VARIABLE>
  69. <VARIABLE TYPE="nature">
  70. <NAME>Start</NAME>
  71. <OUTCOME>T</OUTCOME>
  72. <OUTCOME>F</OUTCOME>
  73. <PROPERTY>position = (8058.9833984375, 5506.25390625)</PROPERTY>
  74. </VARIABLE>
  75. <VARIABLE TYPE="nature">
  76. <NAME>Moves</NAME>
  77. <OUTCOME>T</OUTCOME>
  78. <OUTCOME>F</OUTCOME>
  79. <PROPERTY>position = (8058.9833984375, 5660.31982421875)</PROPERTY>
  80. </VARIABLE>
  81. <VARIABLE TYPE="nature">
  82. <NAME>Survives</NAME>
  83. <OUTCOME>T</OUTCOME>
  84. <OUTCOME>F</OUTCOME>
  85. <PROPERTY>position = (7650.9716796875, 5801.63623046875)</PROPERTY>
  86. </VARIABLE>
  87. <VARIABLE TYPE="nature">
  88. <NAME>Bicycle_works</NAME>
  89. <OUTCOME>T</OUTCOME>
  90. <OUTCOME>F</OUTCOME>
  91. <PROPERTY>position = (7649.91162109375, 5662.4453125)</PROPERTY>
  92. </VARIABLE>
  93. <DEFINITION>
  94. <FOR>WaterLeak</FOR>
  95. <GIVEN>IcyWeather</GIVEN>
  96. <TABLE>0.2 0.8 0.1 0.9</TABLE>
  97. </DEFINITION>
  98. <DEFINITION>
  99. <FOR>WaterLeakWarning</FOR>
  100. <GIVEN>WaterLeak</GIVEN>
  101. <TABLE>0.9 0.1 0.05 0.95</TABLE>
  102. </DEFINITION>
  103. <DEFINITION>
  104. <FOR>IcyWeather</FOR>
  105. <TABLE>0.05 0.95</TABLE>
  106. </DEFINITION>
  107. <DEFINITION>
  108. <FOR>PumpFailure</FOR>
  109. <TABLE>0.1 0.9</TABLE>
  110. </DEFINITION>
  111. <DEFINITION>
  112. <FOR>PumpFailureWarning</FOR>
  113. <GIVEN>PumpFailure</GIVEN>
  114. <TABLE>0.9 0.1 0.05 0.95</TABLE>
  115. </DEFINITION>
  116. <DEFINITION>
  117. <FOR>Meltdown</FOR>
  118. <GIVEN>WaterLeak</GIVEN>
  119. <GIVEN>PumpFailure</GIVEN>
  120. <TABLE>0.2 0.8 0.1 0.9 0.15 0.85 0.001 0.999</TABLE>
  121. </DEFINITION>
  122. <DEFINITION>
  123. <FOR>Battery</FOR>
  124. <GIVEN>IcyWeather</GIVEN>
  125. <TABLE>0.8 0.2 0.95 0.05</TABLE>
  126. </DEFINITION>
  127. <DEFINITION>
  128. <FOR>Radio</FOR>
  129. <GIVEN>Battery</GIVEN>
  130. <TABLE>0.95 0.05 0.0 1.0</TABLE>
  131. </DEFINITION>
  132. <DEFINITION>
  133. <FOR>Ignition</FOR>
  134. <GIVEN>Battery</GIVEN>
  135. <TABLE>0.95 0.05 0.0 1.0</TABLE>
  136. </DEFINITION>
  137. <DEFINITION>
  138. <FOR>Gas</FOR>
  139. <TABLE>0.95 0.05</TABLE>
  140. </DEFINITION>
  141. <DEFINITION>
  142. <FOR>Start</FOR>
  143. <GIVEN>Ignition</GIVEN>
  144. <GIVEN>Gas</GIVEN>
  145. <TABLE>0.95 0.05 0.0 1.0 0.0 1.0 0.0 1.0</TABLE>
  146. </DEFINITION>
  147. <DEFINITION>
  148. <FOR>Moves</FOR>
  149. <GIVEN>Start</GIVEN>
  150. <TABLE>0.95 0.05 0.0 1.0</TABLE>
  151. </DEFINITION>
  152. <DEFINITION>
  153. <FOR>Survives</FOR>
  154. <GIVEN>Meltdown</GIVEN>
  155. <GIVEN>Moves</GIVEN>
  156. <GIVEN>Bicycle_works</GIVEN>
  157. <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>
  158. </DEFINITION>
  159. <DEFINITION>
  160. <FOR>Bicycle_works</FOR>
  161. <TABLE>0.9 0.1</TABLE>
  162. </DEFINITION>
  163. </NETWORK>
  164. </BIF>