Specifying events and their effects in controlled natural language

Rolf Schwitter*

*Corresponding author for this work

Research output: Contribution to journalConference paper

4 Citations (Scopus)

Abstract

This paper shows how a controlled natural language can be used to construct precise formal representations for reasoning about events and their effects. Specifications written in PENG Light are translated with the help of discourse representation structures into the input language of the Simplified Event Calculus. This logic-based formalism is declarative and can be used for various reasoning tasks, among them for question answering. Taking a simple scenario from the transport domain as a starting point, we illustrate how PENG Light can be used to specify the narrative part of the scenario and the commonsense knowledge that is required to reason about direct and indirect effects of events as well as about continuous change. There is no need to encode this scenario and the background axioms in a formal notation, since the relevant information can be expressed directly on the level of the controlled natural language.

Original languageEnglish
Pages (from-to)12-21
Number of pages10
JournalProcedia - Social and Behavioral Sciences
Volume27
DOIs
Publication statusPublished - 2011
Event12th Conference of the Pacific Association for Computational Linguistics - Kuala Lumpur, Malaysia, Kuala Lumpur
Duration: 19 Jul 201121 Jul 2011

Fingerprint Dive into the research topics of 'Specifying events and their effects in controlled natural language'. Together they form a unique fingerprint.

Cite this