In this paper I present an extension of the controlled natural language PENG Light that is motivated by the formal properties of the Event Calculus, a narrative-based formal language for events, fluents, and the periods for which these fluents hold. I show how this extension can be used to express domain-specific axioms in a natural way and sketch how PENG Light and the Event Calculus can be brought together for reasoning about events and time.
|Number of pages||43|
|Journal||CEUR Workshop Proceedings|
|Publication status||Published - 2010|