Abstract
A quality of the commonsense world is the object that tends to stay in the same state unless they are affected by events. For example, 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. The chapter retraces the development of the (discrete event calculas) DEC axioms and discusses the enforcement of the commonsense law of inertia and the release of fluent from inertia. Furthermore, a classical frame axiom represents that a given fluent does not change when a given event occurs. Unfortunately, classical frame axioms are unable to cope with several events occurring at one time point. Another type of axiom, an explanation closure axiom, represents that a given fluent does not change unless certain events occur.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
