Specifying events and their effects in controlled natural language

Research output: Contribution to journalConference paperResearchpeer-review

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.

Fingerprint

Language
scenario
event
language
Light
Calculi
logic
narrative
discourse

Cite this

@article{d1e937767a534226b5c809fdf087ac82,
title = "Specifying events and their effects in controlled natural language",
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.",
author = "Rolf Schwitter",
year = "2011",
doi = "10.1016/j.sbspro.2011.10.578",
language = "English",
volume = "27",
pages = "12--21",
journal = "Procedia - Social and Behavioral Sciences",
issn = "1877-0428",
publisher = "Elsevier",

}

Specifying events and their effects in controlled natural language. / Schwitter, Rolf.

In: Procedia - Social and Behavioral Sciences, Vol. 27, 2011, p. 12-21.

Research output: Contribution to journalConference paperResearchpeer-review

TY - JOUR

T1 - Specifying events and their effects in controlled natural language

AU - Schwitter, Rolf

PY - 2011

Y1 - 2011

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

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

UR - http://www.scopus.com/inward/record.url?scp=83755181612&partnerID=8YFLogxK

U2 - 10.1016/j.sbspro.2011.10.578

DO - 10.1016/j.sbspro.2011.10.578

M3 - Conference paper

VL - 27

SP - 12

EP - 21

JO - Procedia - Social and Behavioral Sciences

T2 - Procedia - Social and Behavioral Sciences

JF - Procedia - Social and Behavioral Sciences

SN - 1877-0428

ER -