TY - GEN
T1 - Non-atomic actions in the situation calculus
AU - Alferes, José Júlio
AU - Li, Renwei
AU - Pereira, Luís Moniz
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1996.
PY - 1995
Y1 - 1995
N2 - In this paper we investigate non-atomic actions and changes in the framework of the situation calculus. We classify non-atomic actions into three types: simultaneous actions, inclusive selective actions, and exclusive selective actions. We show that the extended situation calculus with non-atomic actions has the same expressive power as the basic situation calculus. We identify a problem, called composition problem, which relates effects of non-atomic actions to those of their component actions. A defensible solution to the composition problem is proposed. The believability of some choices of default rules for the composition problem are discussed. We also provide some simple examples to illustrate the usefulness of our default rules.
AB - In this paper we investigate non-atomic actions and changes in the framework of the situation calculus. We classify non-atomic actions into three types: simultaneous actions, inclusive selective actions, and exclusive selective actions. We show that the extended situation calculus with non-atomic actions has the same expressive power as the basic situation calculus. We identify a problem, called composition problem, which relates effects of non-atomic actions to those of their component actions. A defensible solution to the composition problem is proposed. The believability of some choices of default rules for the composition problem are discussed. We also provide some simple examples to illustrate the usefulness of our default rules.
UR - http://www.scopus.com/inward/record.url?scp=84948974053&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:84948974053
SN - 9783540604280
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 273
EP - 284
BT - Progress in Artificial Intelligence - 7th Portuguese Conference on Artificial Intelligence, EPIA 1995, Proceedings
A2 - Pinto-Ferreira, Carlos
A2 - Mamede, Nuno J.
PB - Springer
T2 - 7th Portuguese Conference on Artificial Intelligence, EPIA 1995
Y2 - 3 October 1995 through 6 October 1995
ER -