Integrating State Constraints and Obligations in Situation Calculus

  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},
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