3 Mar 2004
CS 3243 - Chapter 8
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
3.Decide on a
vocabulary
¡Alternatives:
Type(X1) = XOR
Type(X1, XOR)
XOR(X1)