Concurrent actions in the situation calculus

Authors:
Fangzhen Lin;Yoav Shoham
Affiliations:
Department of Computer Science, Stanford University, Stanford, CA;Department of Computer Science, Stanford University, Stanford, CA
Venue:
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Year:
1992

Citing 4
Cited 2

Towards a general theory of action and time

Artificial Intelligence
Concurrent dynamic logic

Journal of the ACM (JACM)
On the declarative semantics of logic programs with negation

Readings in nonmonotonic reasoning
Frames in the space of situations (research note)

Artificial Intelligence

Explanation in the situation calculus

IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
The event calculus explained

Artificial intelligence today

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose a representation of Concurrent actions; rather than invent a new formalism, we model them within the standard situation calculus by introducing the notions of global actions and primitive actions, whose relationship is analogous to' that between situations and fluents. The result is a framework in which situations and actions play quite symmetric roles. The rich structure of actions gives rise to' a new problem, which, due to' this symmetry between actions and situations, is analogous to' the traditional frame problem. In [Lin and Shoham 1991] we provided a solution to' the frame problem based on a formal adequacy criterion called "epistemological completeness." Here we show how to' solve the new problem based on the same adequacy criterion.