Integrating State Constraints and Obligations in Situation Calculus

@article{Demolombe2006IntegratingSC,
  title={Integrating State Constraints and Obligations in Situation Calculus},
  author={Robert Demolombe and Maria del Pilar Pozos Parra},
  journal={Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial},
  year={2006},
  volume={13},
  pages={54-63}
}
The ramification problem concerns the characterisation of indirect effects of actions. This problem arises when a theory of action is integrated with a set of state constraints. Thus integrating state constraints to a solution of the frame problem must deal with the ramification problem. In the situation calculus a general solution to both the frame and… CONTINUE READING