Go backward to Solution to part (b).
Go up to 3 House Plumbing
Solution to part (c).
Suppose there is a hot water system is installed to the left of
tap t1. This has another tap in the pipe leading into it, and
supplies hot water to the shower and the sink (there are separate hot
and cold water taps for each). Add this to your axiomatization. Give
the denotation for all constants and predicate symbols you
The denotation is given in
the following diagram:
The Plumbing Domain with hot water
Here is the simplest axiomatization:
The file plumbing2.pl
contains a full axiomatization.
pressurised(hws) <- on(t4) & pressurised(p2).
pressurised(p4) <- pressurised(hws).
pressurised(p5) <- pressurised(hws).
flow(shower) <- on(t5) & pressurised(p5).
wet(sink) <- on(t6) & pressurised(p4).
material, ©David Poole, Alan Mackworth and Randy Goebel, 1999