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_new_car.xml 4.0KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179
  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. <DEFINITION>
  88. <FOR>WaterLeak</FOR>
  89. <GIVEN>IcyWeather</GIVEN>
  90. <TABLE>0.2 0.8 0.1 0.9</TABLE>
  91. </DEFINITION>
  92. <DEFINITION>
  93. <FOR>WaterLeakWarning</FOR>
  94. <GIVEN>WaterLeak</GIVEN>
  95. <TABLE>0.9 0.1 0.05 0.95</TABLE>
  96. </DEFINITION>
  97. <DEFINITION>
  98. <FOR>IcyWeather</FOR>
  99. <TABLE>0.05 0.95</TABLE>
  100. </DEFINITION>
  101. <DEFINITION>
  102. <FOR>PumpFailure</FOR>
  103. <TABLE>0.1 0.9</TABLE>
  104. </DEFINITION>
  105. <DEFINITION>
  106. <FOR>PumpFailureWarning</FOR>
  107. <GIVEN>PumpFailure</GIVEN>
  108. <TABLE>0.9 0.1 0.05 0.95</TABLE>
  109. </DEFINITION>
  110. <DEFINITION>
  111. <FOR>Meltdown</FOR>
  112. <GIVEN>WaterLeak</GIVEN>
  113. <GIVEN>PumpFailure</GIVEN>
  114. <TABLE>0.2 0.8 0.1 0.9 0.15 0.85 0.001 0.999</TABLE>
  115. </DEFINITION>
  116. <DEFINITION>
  117. <FOR>Battery</FOR>
  118. <GIVEN>IcyWeather</GIVEN>
  119. <TABLE>0.8 0.2 0.95 0.05</TABLE>
  120. </DEFINITION>
  121. <DEFINITION>
  122. <FOR>Radio</FOR>
  123. <GIVEN>Battery</GIVEN>
  124. <TABLE>0.95 0.05 0.0 1.0</TABLE>
  125. </DEFINITION>
  126. <DEFINITION>
  127. <FOR>Ignition</FOR>
  128. <GIVEN>Battery</GIVEN>
  129. <TABLE>0.95 0.05 0.0 1.0</TABLE>
  130. </DEFINITION>
  131. <DEFINITION>
  132. <FOR>Gas</FOR>
  133. <TABLE>0.95 0.05</TABLE>
  134. </DEFINITION>
  135. <DEFINITION>
  136. <FOR>Start</FOR>
  137. <GIVEN>Ignition</GIVEN>
  138. <GIVEN>Gas</GIVEN>
  139. <TABLE>0.95 0.05 0.0 1.0 0.0 1.0 0.0 1.0</TABLE>
  140. </DEFINITION>
  141. <DEFINITION>
  142. <FOR>Moves</FOR>
  143. <GIVEN>Start</GIVEN>
  144. <TABLE>0.95 0.05 0.0 1.0</TABLE>
  145. </DEFINITION>
  146. <DEFINITION>
  147. <FOR>Survives</FOR>
  148. <GIVEN>Meltdown</GIVEN>
  149. <GIVEN>Moves</GIVEN>
  150. <TABLE>0.8 0.2 0.0 1.0 1.0 0.0 1.0 0.0</TABLE>
  151. </DEFINITION>
  152. </NETWORK>
  153. </BIF>