PENG light meets the event calculus

Rolf Schwitter*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

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 languageEnglish
Pages (from-to)1-43
Number of pages43
JournalCEUR Workshop Proceedings
Volume622
Publication statusPublished - 2010

Fingerprint Dive into the research topics of 'PENG light meets the event calculus'. Together they form a unique fingerprint.

Cite this