Summary: Appears in Proceedings of 17th Nat'l Conference on Artificial Intelligence (AAAI '00). 1
(De)Composition of Situation Calculus Theories
Eyal Amir
Department of Computer Science,
Gates Building, 2A wing
Stanford University, Stanford, CA 94305­9020, USA
eyal.amir@cs.stanford.edu
Abstract
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. Sit­
uation calculus (McCarthy & Hayes 1969) is one of the lead­
ing logical representations for action and change, but large
situation calculus theories are not easy to design and main­
tain, nor are they flexible for extension or reuse. However,
we wish to use it to represent large, complex domains.
To address this problem, we apply our proposed methodol­
ogy to situation calculus theories and analyze the composi­
tion of theories in this light. The object­oriented tools that
we use do not change the semantics of situation calculus, so

Source: Amir, Eyal - Department of Computer Science, University of Illinois at Urbana-Champaign

Collections: Computer Technologies and Information Sciences