The Commonsense Law of Inertia
A quality of the commonsense world is that objects tend to stay in the same state unless they are affected by events. A book sitting on a table remains on the table unless it is picked up, a light stays on until it is turned off, and a falling object continues to fall until it hits something. This is known as the commonsense law of inertia. This chapter discusses the representation of the commonsense law of inertia in the event calculus. We retrace the development of the DEC axioms, and we discuss the enforcement of the commonsense law of inertia and the release of fluents from inertia.
5.1 Representation of the Commonsense Law of Inertia
How should we represent the commonsense law of inertia? Let us ...