Question 3

For this question you should use AILog (see http://artint.info/code/ailog/ailog_man.html).

Consider the electrical domain of Figure 5.2 of the textbook. Using the relations of Example 12.11 of the textbook and the probabilities of the AIspace “electrical diagnosis problem”, write an AILog program that computes the same posterior probabilities as the belief network. Make the rules as general as possible, so that your axiomatization can be applied to different configurations. You need to hand in a documented program and evidence that it works.

Solution:

A solution is at http://artint.info/code/ailog/ailog_code/ch14/elect_relational_prob.ailog. This gives the same answers as the AIspace code at http://artint.info/code/ailog/ailog_code/ch14/elect_aispace.xml. Note that this is slightly modified from the original aispace code to make it consistent (so the switches all work the same).