Working with events and states in PENG light

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionResearchpeer-review

Abstract

In this paper I discuss how the controlled natural language PENG Light can be modified so that it can serve as a high-level interface language to the Event Calculus. The Event Calculus is a narrative-based formal language for reasoning about events, their effects and timepoints, and can be used for various reasoning tasks where a representation of time is important. Using a scenario from a dynamic domain, I show what kind of modifications are necessary on the level of the controlled natural language to specify the background knowledge that is required to deal with direct and indirect effects of events and with continuous change in that domain. I discuss how the output of the controlled natural language processor of PENG Light that distinguishes between events and states can be aligned with the input language of the Event Calculus, and then be used for automated reasoning. Finally, I show how the Event Calculus can be used to support the question answering process and then evaluate its reasoning capabilities using a number of benchmark questions stated in controlled natural language.

LanguageEnglish
Title of host publicationControlled Natural Language - Second International Workshop, CNL 2010, Revised Papers
EditorsMichael Rosner, Norbert E. Fuchs
Place of PublicationMarettimo Island, Italy
PublisherSpringer, Springer Nature
Pages154-174
Number of pages21
Volume7175 LNAI
ISBN (Print)9783642311741
DOIs
Publication statusPublished - 2012
Event2nd Workshop on Controlled Natural Language, CNL 2010 - Marettimo Island, Italy
Duration: 13 Sep 201015 Sep 2010

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume7175 LNAI
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other2nd Workshop on Controlled Natural Language, CNL 2010
CountryItaly
CityMarettimo Island
Period13/09/1015/09/10

Fingerprint

Event Calculus
Natural Language
Formal languages
Reasoning
Automated Reasoning
Question Answering
Formal Languages
Benchmark
Scenarios
Necessary
Evaluate
Output
Language

Cite this

Schwitter, R. (2012). Working with events and states in PENG light. In M. Rosner, & N. E. Fuchs (Eds.), Controlled Natural Language - Second International Workshop, CNL 2010, Revised Papers (Vol. 7175 LNAI, pp. 154-174). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7175 LNAI). Marettimo Island, Italy: Springer, Springer Nature. https://doi.org/10.1007/978-3-642-31175-8_9
Schwitter, Rolf. / Working with events and states in PENG light. Controlled Natural Language - Second International Workshop, CNL 2010, Revised Papers. editor / Michael Rosner ; Norbert E. Fuchs. Vol. 7175 LNAI Marettimo Island, Italy : Springer, Springer Nature, 2012. pp. 154-174 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{41e0dea39dbc4c95a9d26dd69ce559e2,
title = "Working with events and states in PENG light",
abstract = "In this paper I discuss how the controlled natural language PENG Light can be modified so that it can serve as a high-level interface language to the Event Calculus. The Event Calculus is a narrative-based formal language for reasoning about events, their effects and timepoints, and can be used for various reasoning tasks where a representation of time is important. Using a scenario from a dynamic domain, I show what kind of modifications are necessary on the level of the controlled natural language to specify the background knowledge that is required to deal with direct and indirect effects of events and with continuous change in that domain. I discuss how the output of the controlled natural language processor of PENG Light that distinguishes between events and states can be aligned with the input language of the Event Calculus, and then be used for automated reasoning. Finally, I show how the Event Calculus can be used to support the question answering process and then evaluate its reasoning capabilities using a number of benchmark questions stated in controlled natural language.",
author = "Rolf Schwitter",
year = "2012",
doi = "10.1007/978-3-642-31175-8_9",
language = "English",
isbn = "9783642311741",
volume = "7175 LNAI",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer, Springer Nature",
pages = "154--174",
editor = "Michael Rosner and Fuchs, {Norbert E.}",
booktitle = "Controlled Natural Language - Second International Workshop, CNL 2010, Revised Papers",
address = "United States",

}

Schwitter, R 2012, Working with events and states in PENG light. in M Rosner & NE Fuchs (eds), Controlled Natural Language - Second International Workshop, CNL 2010, Revised Papers. vol. 7175 LNAI, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 7175 LNAI, Springer, Springer Nature, Marettimo Island, Italy, pp. 154-174, 2nd Workshop on Controlled Natural Language, CNL 2010, Marettimo Island, Italy, 13/09/10. https://doi.org/10.1007/978-3-642-31175-8_9

Working with events and states in PENG light. / Schwitter, Rolf.

Controlled Natural Language - Second International Workshop, CNL 2010, Revised Papers. ed. / Michael Rosner; Norbert E. Fuchs. Vol. 7175 LNAI Marettimo Island, Italy : Springer, Springer Nature, 2012. p. 154-174 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7175 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionResearchpeer-review

TY - GEN

T1 - Working with events and states in PENG light

AU - Schwitter, Rolf

PY - 2012

Y1 - 2012

N2 - In this paper I discuss how the controlled natural language PENG Light can be modified so that it can serve as a high-level interface language to the Event Calculus. The Event Calculus is a narrative-based formal language for reasoning about events, their effects and timepoints, and can be used for various reasoning tasks where a representation of time is important. Using a scenario from a dynamic domain, I show what kind of modifications are necessary on the level of the controlled natural language to specify the background knowledge that is required to deal with direct and indirect effects of events and with continuous change in that domain. I discuss how the output of the controlled natural language processor of PENG Light that distinguishes between events and states can be aligned with the input language of the Event Calculus, and then be used for automated reasoning. Finally, I show how the Event Calculus can be used to support the question answering process and then evaluate its reasoning capabilities using a number of benchmark questions stated in controlled natural language.

AB - In this paper I discuss how the controlled natural language PENG Light can be modified so that it can serve as a high-level interface language to the Event Calculus. The Event Calculus is a narrative-based formal language for reasoning about events, their effects and timepoints, and can be used for various reasoning tasks where a representation of time is important. Using a scenario from a dynamic domain, I show what kind of modifications are necessary on the level of the controlled natural language to specify the background knowledge that is required to deal with direct and indirect effects of events and with continuous change in that domain. I discuss how the output of the controlled natural language processor of PENG Light that distinguishes between events and states can be aligned with the input language of the Event Calculus, and then be used for automated reasoning. Finally, I show how the Event Calculus can be used to support the question answering process and then evaluate its reasoning capabilities using a number of benchmark questions stated in controlled natural language.

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

U2 - 10.1007/978-3-642-31175-8_9

DO - 10.1007/978-3-642-31175-8_9

M3 - Conference proceeding contribution

SN - 9783642311741

VL - 7175 LNAI

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 154

EP - 174

BT - Controlled Natural Language - Second International Workshop, CNL 2010, Revised Papers

A2 - Rosner, Michael

A2 - Fuchs, Norbert E.

PB - Springer, Springer Nature

CY - Marettimo Island, Italy

ER -

Schwitter R. Working with events and states in PENG light. In Rosner M, Fuchs NE, editors, Controlled Natural Language - Second International Workshop, CNL 2010, Revised Papers. Vol. 7175 LNAI. Marettimo Island, Italy: Springer, Springer Nature. 2012. p. 154-174. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-642-31175-8_9