Variants of the Event Calculus

Abstract. The Event Calculus is a narrative based formalism for reasoning about actions and change originally proposed in logic programming form by Kowalski and Sergot. In this paper we summarise how variants of the Event Calculus may be expressed as classical logic axiomatisations, and how under certain circumstances these theories may be reformulated as “action description language” domain descriptions using the Language E. This enables the classical logic Event Calculus to inherit various provably correct automated reasoning procedures recently developed for E.

• Type: Conference
• Year: 1995
• Where: ICLP
• Authors: Fariba Sadri, Robert A. Kowalski
• Keywords: Automated Reasoning, Classical Logic, Event Calculus, ICLP 1995, Logic Event Calculus