Specifying Events and their Effects in Controlled Natural Language

• Published in: Procedia, social and behavioral sciences Vol. 27; pp. 12 - 21
• Main Author: Schwitter, Rolf
• Format: Journal Article
• Language: English
• Published: Elsevier Ltd 2011
• Subjects: commonsense knowledge; Controlled natural language; Event Calculus; specifications; Controlled natural language; commonsense knowledge; specifications; Event Calculus

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...