Bounded Situation Calculus Action Theories and Decidable Verification

  title={Bounded Situation Calculus Action Theories and Decidable Verification},
  author={Giuseppe De Giacomo and Yves Lesp{\'e}rance and Fabio Patrizi},
We define a notion of bounded action theory in the situation calculus, where the theory entails that in all situations, the number of ground fluent atoms is bounded by a constant. Such theories can still have an infinite domain and an infinite set of states. We argue that such theories are fairly common in applications, either because facts do not persist indefinitely or because one eventually forgets some facts, as one learns new ones. We discuss various ways of obtaining bounded action… CONTINUE READING
Highly Cited
This paper has 67 citations. REVIEW CITATIONS

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.
42 Extracted Citations
29 Extracted References
Similar Papers

Citing Papers

Publications influenced by this paper.
Showing 1-10 of 42 extracted citations

68 Citations

Citations per Year
Semantic Scholar estimates that this publication has 68 citations based on the available data.

See our FAQ for additional information.

Referenced Papers

Publications referenced by this paper.

Similar Papers

Loading similar papers…