Computational Intelligence - Problems for Chapter 3 -- Solution to part (a).

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).