Non-atomic actions in the situation calculus

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

1 Citation (Scopus)


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.

Original languageEnglish
Title of host publicationProgress in Artificial Intelligence - 7th Portuguese Conference on Artificial Intelligence, EPIA 1995, Proceedings
EditorsCarlos Pinto-Ferreira, Nuno J. Mamede
Number of pages12
ISBN (Print)9783540604280
Publication statusPublished - 1995
Event7th Portuguese Conference on Artificial Intelligence, EPIA 1995 - Funchal, Portugal
Duration: 3 Oct 19956 Oct 1995

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference7th Portuguese Conference on Artificial Intelligence, EPIA 1995


Dive into the research topics of 'Non-atomic actions in the situation calculus'. Together they form a unique fingerprint.

Cite this