3 Mar 2004
CS 3243 - Chapter 8
26
The electronic circuits domain
6.Pose
queries to the inference procedure
What
are the possible sets of values of all the terminals for the adder circuit?
$i1,i2,i3,o1,o2 Signal(In(1,C1)) = i1 Ù Signal(In(2,C1)) = i2 Ù Signal(In(3,C1)) = i3 Ù Signal(Out(1,C1)) = o1 Ù Signal(Out(2,C1)) = o2
7.Debug the
knowledge base
May have
omitted assertions like 1 ≠ 0