Go backward to 1 Defining a Simple Relation
Go up to Top
Go forward to 3 House Plumbing
2 Adding to the Electrical Domain
Suppose we want to be able to reason about electric kettles plugged
into the power outlets. Suppose the kettles need to be plugged in to a
working power outlet, they need to be turned on, and be filled with
water, in order to be heating.
Using CILog write axioms that let the system determine whether
kettles are heating. Your program needs to be able to reason about
multiple kettles. You should assume that the axioms are to be added to
the axioms for the electrical domain.
You need to hand in
CILog code for the electrical environment is available as
- a description of the intended interpretation of all symbols used.
- the CILog program that works. Your program should contain
enough facts about specific kettles to test your axiomatization.
- a trace of your cilog program. Your trace should include enough
information to verify your axiomatization is correct.
material, ©David Poole, Alan Mackworth and Randy Goebel, 1999