3 Mar 2004
CS 3243 - Chapter 8
24
The electronic circuits domain
4.Encode general knowledge of the domain
¡"t1,t2 Connected(t1, t2) Þ Signal(t1)
= Signal(t2)
¡"t Signal(t) = 1
Ú Signal(t) = 0
¡1 ≠ 0
¡"t1,t2 Connected(t1, t2) Þ Connected(t2, t1)
¡"g Type(g) = OR Þ Signal(Out(1,g)) = 1 Û $n Signal(In(n,g))
= 1
¡"g Type(g) = AND
Þ Signal(Out(1,g)) = 0 Û $n Signal(In(n,g))
= 0
¡"g Type(g) = XOR
Þ Signal(Out(1,g)) = 1 Û Signal(In(1,g)) ≠
Signal(In(2,g))
¡"g Type(g) = NOT
Þ Signal(Out(1,g)) ≠ Signal(In(1,g))