To represent the dynamics of a system, we include1. Effect axioms Poss(a,s) ? a=turnOn(Pump) ? on(Pump,do(a,s)) Poss(a,s) ? a=turnOff(Pump) ? ?on(Pump,do(a,s)) Poss(a,s) ? a=burnOut(Pump) ? broken(Pump,do(a,s)) Poss(a,s) ? a=fix(Pump) ? ?broken(Pump,do(a,s)) ... 2. Necessary conditions for actions Poss(fix(Pump),s) ? ?on(Pump,s) ...3. What is known of the initial situation, S0 on(Pump,S0), ?AB(Boiler, S0 ), … 4. Unique names assumption for actions turnOff(x) ? burnOut ? ...

Axiomatizing a Domain

Previous slide

Next slide

Back to first slide

View graphic version