What are the Limitations of the Situation Calculus?

  title={What are the Limitations of the Situation Calculus?},
  author={Michael Gelfond and Vladimir Lifschitz and Arkady Rabinov},
  booktitle={Automated Reasoning: Essays in Honor of Woody Bledsoe},
A filter housing is disclosed. It is preferably used to house membrane filters supported on plates. The base, top and a two-way cap cooperate to form a pressure-tight vessel. The top can be moved vertically to permit use of various numbers of filters and support plates in the housing without requiring spacers or spacer tubes. The structure of the housing is such that all surfaces exposed to liquid are free of screw threads or other surface configurations which are not readily sanitizable or… 

The coin

The Coin is a stylized experiment inspired by graphic books that utilizes motion capture and traditional keyframe tools together in a nonrealistic piece of animation to prove that high-quality animation can be produced within a shoestring budget.

An introduction to the anchoring problem

Causality and the Qualification Problem

This work proposes to incorporate causality by treating the proposition that an action is qualified as a fluent which is initially assumed away by default but otherwise potentially indirectly affected by the execution of actions.

Concurrent Actions in the Situation Calculus

This work proposes a representation of Concurrent actions by introducing the notions of global actions and primitive actions, whose relationship is analogous to' that between situations and fluents, and proposes a framework in which situations and actions play quite symmetric roles.

CRIKEY! ― It's co-ordination in temporal planning

A comprehensive analysis of where temporal constraints appear in temporal planning problems is contributed, introducing the notions of minimum and maximum temporal constraints, and with these isolates where the planning and scheduling are coupled together tightly, in the form of co-ordination, it characterises this with the new concepts of envelope and contents.

Concurrent Actions in t Fang

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

Causality and the Qualiication Problem

In formal theories for reasoning about actions , the qualiication problem denotes the problem to account for the many conditions which, albeit being unlikely to occur, may prevent the successful

On the Existence and Formalization of Natural Events

In logical theories of change it is common to consider two types of objects that provoke change: 1) actions that are carried out by agents, and 2) events which occur externally, without agent

Natural Actions, Concurrency and Continuous Time in the Situation Calculus

This paper shows how to gracefully accommodate all features within the situation calculus, without sacri-cing the simple solution to the frame problem of Reiter 25].

Reasoning about Default Persistence

Lifschitz 1990] introduced the predicate frame in formal theories of action as a way of limiting the \common sense law of inertia" to certain designated uents. This idea was adopted in Lin and



Monotonic Solution of the Frame Problem in the Situation Calculus: An Efficient Method for Worlds wi

The frame problem originally surfaced within McCarthy’s Situation Calculus [McCarthy68], when [McCarthy&Hayes69] applied it to reasoning about goal achievement. To illustrate their approach, they

Temporal reasoning

The relationships between two events in time can also be absolute or relative: to ensure unwrinkled clothes remove them within an hour of the dryer finishing, or to ensure that one task must follow another.

Formal Theories of Action (Preliminary Report)

C circumscription is applied to formalizing reasoning about the effects of actions in the framework of the situation calculus and to a blocks world in which blocks can be moved and painted.

Miracles in Formal Theories of Action

Towards a General Theory of Action and Time


Knowledge Representation and Defeasible Reasoning

The present volume provides a collection of studies that focus on some of the central problems within the domain of artificial intelligence, and makes original contributions to each of these areas of inquiry.

Epistemological Problems of Artificial Intelligence

Reasoning about actions and plans

This book contains 17 papers on the semantics of STRIPS, a theory of plans, and a representation of parallel activity based on events, structure, and causality.

Applications of Circumscription to Formalizing Common Sense Knowledge