Question 3
It is often a problem to determine exactly where a document you
printed actually got printed. It can depend on which room you selected
the output to go to and which printer is actually plugged into the
printer port in that room.
Suppose there are three computers, that are named c1, c2 and
c3.
There are two rooms, r101 and r202, and three printers pr1,
pr2 and pr3. Each computer has a room selected. Each room can have
a printer plugged into its port.
Using CILog, we want to axiomatize a domain so that you can answer questions
about which room a document was printed and which printer it was
printed on.
- Give the intended interpretation of each symbol
used.
- Give the general axioms that are true for all configurations of
printers.
- Show that your axiomatization works for more than one configuration.
David Poole
