1. Suppose we want to be able to reason about an electric kettle plugged into one of the power outlets for the electrical domain of Figure 5.2. Suppose a kettle must be plugged into a working power outlet, it must be turned on, and it must be filled with water, in order to heat.

Write axioms in terms of definite clauses that let the system determine whether kettles are heating. AILog code for the electrical environment is available from the book website.

You must

• give the intended interpretation of all symbols used

• write the clauses so they can be loaded into AILog

• show that the resulting knowledge base runs in AILog.