Up Next
Go up to 3 House Plumbing
Go forward to Solution to part (b).

Solution to part (a).

Finish the axiomatization for the sink in the same manner as the axiomatization for the bath.
pressurised(p3) <-  on(t1) & pressurised(p1).
wet(sink) <- on(t3) & pressurised(p3).
flow(d3) <- wet(sink) & unplugged(sink).
flow(d1) <- flow(d3).

Computational Intelligence online material, ©David Poole, Alan Mackworth and Randy Goebel, 1999

Up Next