home *** CD-ROM | disk | FTP | other *** search
/ Carousel / CAROUSEL.cdr / mactosh / hc / hyperx11.sit / HyperX / card_11472.txt < prev    next >
Text File  |  1988-02-25  |  5KB  |  193 lines

  1. -- card: 11472 from stack: in
  2. -- bmap block id: 13765
  3. -- flags: 4000
  4. -- background id: 8367
  5. -- name: Inference Engine
  6. ----- HyperTalk script -----
  7. on openCard
  8.   global cardWait
  9.   put 0 into cardWait
  10. end openCard
  11.  
  12. on idle
  13.   global cardWait
  14.   if cardWait=16
  15.   then exit idle
  16.   wait 1 seconds
  17.   put cardWait+1 into cardWait
  18.   if cardWait=15
  19.   then send cardStuff to this card
  20. end idle
  21.  
  22. on cardStuff
  23.   put "All dogs chew bones" into line 1 of card field "Assertions"
  24.   play "harpsichord" "c"
  25.   put "All dogs chew bones is True." into card field "Status"
  26.   play "harpsichord" "e"
  27.   wait 3 seconds
  28.   put "Socrates is a dog" into line 2 of card field "Assertions"
  29.   play "harpsichord" "g"
  30.   put "Socrates is a dog is False" into card field "Status"
  31.   play "boing"
  32.   put "If any of these Facts are proven to be false,"&& "then the Rule is considered to have failed." into card field "Comment"
  33.   put "This Rule has failed!" into card field "Status"
  34.   wait 5 seconds
  35.   put empty into card field "Assertions"
  36.   put empty into card field "Conclusion"
  37.   put empty into card field "Status"
  38.   put empty into card field "Comment"
  39.   put "All men are mortal" into line 1 of card field "Assertions"
  40.   play "harpsichord" "c"
  41.   put "All men are mortal is True." into card field "Status"
  42.   play "harpsichord" "e"
  43.   wait 3 seconds
  44.   put "Socrates is a man" into line 2 of card field "Assertions"
  45.   play "harpsichord" "c"
  46.   put "Socrates is a man is True" into card field "Status"
  47.   play "harpsichord" "g"
  48.   put "Socrates is mortal" into card field "Conclusion"
  49.   play "harpsichord" "c5"
  50.   put "If all the Facts are true, then the Conclusion is now"&& "also considered true, and the Rule has passed." into card field "Comment"
  51.   put "This Rule has passed!" into card field "Status"
  52. end cardStuff
  53.  
  54. on closeCard
  55.   put empty into card field "Assertions"
  56.   put empty into card field "Conclusion"
  57.   put empty into card field "Status"
  58.   put empty into card field "Comment"
  59. end closeCard
  60.  
  61.  
  62.  
  63. -- part 1 (field)
  64. -- low flags: 01
  65. -- high flags: 0001
  66. -- rect: left=29 top=76 right=204 bottom=494
  67. -- title width / last selected line: 0
  68. -- icon id / first selected line: 0 / 0
  69. -- text alignment: 0
  70. -- font id: 3
  71. -- text size: 14
  72. -- style flags: 256
  73. -- line height: 18
  74. -- part name: 
  75.  
  76.  
  77. -- part 6 (field)
  78. -- low flags: 01
  79. -- high flags: 0000
  80. -- rect: left=76 top=212 right=238 bottom=106
  81. -- title width / last selected line: 0
  82. -- icon id / first selected line: 0 / 0
  83. -- text alignment: 0
  84. -- font id: 3
  85. -- text size: 14
  86. -- style flags: 16640
  87. -- line height: 18
  88. -- part name: 
  89.  
  90.  
  91. -- part 7 (field)
  92. -- low flags: 01
  93. -- high flags: 0000
  94. -- rect: left=51 top=248 right=272 bottom=106
  95. -- title width / last selected line: 0
  96. -- icon id / first selected line: 0 / 0
  97. -- text alignment: 0
  98. -- font id: 3
  99. -- text size: 14
  100. -- style flags: 16640
  101. -- line height: 18
  102. -- part name: 
  103.  
  104.  
  105. -- part 8 (field)
  106. -- low flags: 01
  107. -- high flags: 0000
  108. -- rect: left=108 top=214 right=249 bottom=304
  109. -- title width / last selected line: 0
  110. -- icon id / first selected line: 0 / 0
  111. -- text alignment: 0
  112. -- font id: 3
  113. -- text size: 12
  114. -- style flags: 0
  115. -- line height: 16
  116. -- part name: Assertions
  117.  
  118.  
  119. -- part 9 (field)
  120. -- low flags: 01
  121. -- high flags: 0000
  122. -- rect: left=109 top=250 right=272 bottom=304
  123. -- title width / last selected line: 0
  124. -- icon id / first selected line: 0 / 0
  125. -- text alignment: 0
  126. -- font id: 3
  127. -- text size: 12
  128. -- style flags: 0
  129. -- line height: 16
  130. -- part name: Conclusion
  131.  
  132.  
  133. -- part 11 (field)
  134. -- low flags: 01
  135. -- high flags: 0000
  136. -- rect: left=373 top=208 right=229 bottom=446
  137. -- title width / last selected line: 0
  138. -- icon id / first selected line: 0 / 0
  139. -- text alignment: 1
  140. -- font id: 3
  141. -- text size: 14
  142. -- style flags: 16640
  143. -- line height: 18
  144. -- part name: 
  145.  
  146.  
  147. -- part 12 (field)
  148. -- low flags: 01
  149. -- high flags: 0000
  150. -- rect: left=347 top=231 right=277 bottom=477
  151. -- title width / last selected line: 0
  152. -- icon id / first selected line: 0 / 0
  153. -- text alignment: 0
  154. -- font id: 3
  155. -- text size: 12
  156. -- style flags: 0
  157. -- line height: 16
  158. -- part name: Status
  159.  
  160.  
  161. -- part 13 (field)
  162. -- low flags: 01
  163. -- high flags: 0001
  164. -- rect: left=41 top=283 right=339 bottom=332
  165. -- title width / last selected line: 0
  166. -- icon id / first selected line: 0 / 0
  167. -- text alignment: 0
  168. -- font id: 3
  169. -- text size: 14
  170. -- style flags: 256
  171. -- line height: 18
  172. -- part name: Comment
  173.  
  174.  
  175. -- part contents for background part 1
  176. ----- text -----
  177. Inference Engine
  178.  
  179. -- part contents for card part 1
  180. ----- text -----
  181.    It is this ability to draw conclusions indirectly from other facts that provides the expert system with it's problem solving ability. This part of an expert system, which proves or disproves rules during a consultation, is called the inference engine. The inference engine works by testing each fact listed in the Assertions of the Rule currently being considered. 
  182.  
  183. -- part contents for card part 6
  184. ----- text -----
  185. If:
  186.  
  187. -- part contents for card part 7
  188. ----- text -----
  189. Then:
  190.  
  191. -- part contents for card part 11
  192. ----- text -----
  193. Status: