Situation Calculus on a Dense Flow of Time

Akira Fusaoka

In this paper, we attempt to reconstruct the situation calculus on a dense flow of time. The proposed system: ISC, which is formulated in the framework of S2S (the monoadic second-order theory of two successor functions), allows to deal with temporal properties of time duration such as the continuity of fluents. Also it incorporates an intensional feature into the situation calculus so that the inferential process itself can be represented in ISC. On the basis of this modification, we define a nonmonotonice schema called epistemological minimization which selects the preferable model with respect to the information order in the inferential process. This method of nonmonotonic reasoning is useful for a temporal explanation problem because a sequence of events is interpreted sometimes depending on the information order in the inferential process rather than the chronological order of the actual process.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.