Prev Up Next
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).

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

Prev Up Next