(De)Composition of Situation Calculus Theories

  title={(De)Composition of Situation Calculus Theories},
  author={Eyal Amir},
We show that designing large situation calculus theories can be simplified by using object-oriented techniques and tools together with established solutions to the frame problem. Situation calculus (McCarthy & Hayes 1969) is one of the leading logical representations for action and change, but large situation calculus theories are not easy to design and maintain, nor are they flexible for extension or reuse. However, we wish to use it to represent large, complex domains. To address this problem… CONTINUE READING
Highly Cited
This paper has 26 citations. REVIEW CITATIONS
17 Citations
23 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 23 references

Formalizing Context (Ex

  • S. c
  • 1998

The state of the art in ontology design.AI Magazine18(3):53–74

  • N. Press. Fridman-Noy, C. D. Hafner
  • In Proceedings of Frontiers of Combining Systems
  • 1997
1 Excerpt

Similar Papers

Loading similar papers…