do(fix(Pump,do(turnOff(Pump,S0)))) do(turnOff(Pump,S0))   S0 do(turnOn(Boiler,S0)) The Tree of Situations 

Situation Calculus Ontology

Previous slide

Next slide

Back to first slide

View graphic version