Cartesian Situations and Knowledge Decomposition in the Situation Calculus

@inproceedings{Petrick2008CartesianSA,
  title={Cartesian Situations and Knowledge Decomposition in the Situation Calculus},
  author={Ronald P. A. Petrick},
  booktitle={KR},
  year={2008}
}
We formalize the notion of a Cartesian situation in the situation calculus, a property that imposes strong structural conditions on the configuration of a set of possible worlds. Focusing on action theories that use the Scherl and Levesque account of knowledge and action, we show how Cartesian situations give rise to a set of decomposition properties for simplifying epistemic formulae (in particular, certain disjunctive and existentially quantified formulae) into equivalent components that only… CONTINUE READING