Prev Up Next
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
  • Solution to Overhead Projector Problem.

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

    Prev Up Next