Abstract
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.
| Original language | English |
|---|---|
| Pages (from-to) | 1-43 |
| Number of pages | 43 |
| Journal | CEUR Workshop Proceedings |
| Volume | 622 |
| Publication status | Published - 2010 |