10 Mar 2005
CS 3243 - FOL and Prolog
23
The electronic circuits domain
1.Identify the
task
¡Does the circuit
actually add properly? (circuit verification)
2.Assemble the
relevant knowledge
¡Composed of wires
and gates; Types of gates (AND, OR, XOR,
NOT)
¡Irrelevant: size,
shape, color, cost of gates
n
3.Decide on a
vocabulary
¡Alternatives:
Type(X1) = XOR
Type(X1, XOR)
XOR(X1)