next up previous
Next: Some reifications Up: Effect axioms and monotonic Previous: Effect axioms and monotonic

Frame axioms

 

The following four axioms assert that the colors of objects don't change when objects are moved or when other objects are painted and that objects don't change where they are at when other objects are moved or when any objects are painted.

  equation38

  equation41

  equation44

  equation47

Writing frame axioms this way means that if there are m properties and n actions (or events) mn frame axioms are required. By introducing frames as objects, this can be reduced to m axioms. In a practical system, this would be needed.



John McCarthy
Thu Jan 30 13:14:14 PDT 1997