put "All dogs chew bones" into line 1 of card field "Assertions"
play "harpsichord" "c"
put "All dogs chew bones is True." into card field "Status"
play "harpsichord" "e"
wait 3 seconds
put "Socrates is a dog" into line 2 of card field "Assertions"
play "harpsichord" "g"
put "Socrates is a dog is False" into card field "Status"
play "boing"
put "If any of these Facts are proven to be false,"&& "then the Rule is considered to have failed." into card field "Comment"
put "This Rule has failed!" into card field "Status"
wait 5 seconds
put empty into card field "Assertions"
put empty into card field "Conclusion"
put empty into card field "Status"
put empty into card field "Comment"
put "All men are mortal" into line 1 of card field "Assertions"
play "harpsichord" "c"
put "All men are mortal is True." into card field "Status"
play "harpsichord" "e"
wait 3 seconds
put "Socrates is a man" into line 2 of card field "Assertions"
play "harpsichord" "c"
put "Socrates is a man is True" into card field "Status"
play "harpsichord" "g"
put "Socrates is mortal" into card field "Conclusion"
play "harpsichord" "c5"
put "If all the Facts are true, then the Conclusion is now"&& "also considered true, and the Rule has passed." into card field "Comment"
put "This Rule has passed!" into card field "Status"
end cardStuff
on closeCard
put empty into card field "Assertions"
put empty into card field "Conclusion"
put empty into card field "Status"
put empty into card field "Comment"
end closeCard
-- part 1 (field)
-- low flags: 01
-- high flags: 0001
-- rect: left=29 top=76 right=204 bottom=494
-- title width / last selected line: 0
-- icon id / first selected line: 0 / 0
-- text alignment: 0
-- font id: 3
-- text size: 14
-- style flags: 256
-- line height: 18
-- part name:
-- part 6 (field)
-- low flags: 01
-- high flags: 0000
-- rect: left=76 top=212 right=238 bottom=106
-- title width / last selected line: 0
-- icon id / first selected line: 0 / 0
-- text alignment: 0
-- font id: 3
-- text size: 14
-- style flags: 16640
-- line height: 18
-- part name:
-- part 7 (field)
-- low flags: 01
-- high flags: 0000
-- rect: left=51 top=248 right=272 bottom=106
-- title width / last selected line: 0
-- icon id / first selected line: 0 / 0
-- text alignment: 0
-- font id: 3
-- text size: 14
-- style flags: 16640
-- line height: 18
-- part name:
-- part 8 (field)
-- low flags: 01
-- high flags: 0000
-- rect: left=108 top=214 right=249 bottom=304
-- title width / last selected line: 0
-- icon id / first selected line: 0 / 0
-- text alignment: 0
-- font id: 3
-- text size: 12
-- style flags: 0
-- line height: 16
-- part name: Assertions
-- part 9 (field)
-- low flags: 01
-- high flags: 0000
-- rect: left=109 top=250 right=272 bottom=304
-- title width / last selected line: 0
-- icon id / first selected line: 0 / 0
-- text alignment: 0
-- font id: 3
-- text size: 12
-- style flags: 0
-- line height: 16
-- part name: Conclusion
-- part 11 (field)
-- low flags: 01
-- high flags: 0000
-- rect: left=373 top=208 right=229 bottom=446
-- title width / last selected line: 0
-- icon id / first selected line: 0 / 0
-- text alignment: 1
-- font id: 3
-- text size: 14
-- style flags: 16640
-- line height: 18
-- part name:
-- part 12 (field)
-- low flags: 01
-- high flags: 0000
-- rect: left=347 top=231 right=277 bottom=477
-- title width / last selected line: 0
-- icon id / first selected line: 0 / 0
-- text alignment: 0
-- font id: 3
-- text size: 12
-- style flags: 0
-- line height: 16
-- part name: Status
-- part 13 (field)
-- low flags: 01
-- high flags: 0001
-- rect: left=41 top=283 right=339 bottom=332
-- title width / last selected line: 0
-- icon id / first selected line: 0 / 0
-- text alignment: 0
-- font id: 3
-- text size: 14
-- style flags: 256
-- line height: 18
-- part name: Comment
-- part contents for background part 1
----- text -----
Inference Engine
-- part contents for card part 1
----- text -----
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.