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

Go backward to Solution to part (a).
Go up to 3 House Plumbing
Go forward to Solution to part (c).

Solution to part (b).

Axiomatize how the floor is wet if the sink overflows or the bath overflows. They overflow if the plug is in and water is flowing in. You may invent new predicates as long as you give their intended interpretation. Here is the minimal set of clauses:

wet(floor) <- wet(sink) & plugged(sink).
wet(floor) <- wet(bath) & plugged(bath).