Exercise 5.1 Suppose we want to be able to reason about an electric kettle plugged into a power outlet for the electrical domain. 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.

Using AILog syntax, write axioms that let the system determine whether kettles are heating. AILog code for the electrical environment is available from the web.

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.