Augmenting an Answer Set Based Controlled Natural Language with Temporal Expressions

In this paper we discuss how we can augment an existing controlled natural language in a systematic way with temporal expressions in order to write high-level temporal specifications which require reasoning about action and change. We show that domain-dependent axioms which are necessary to specify...

Full description

Saved in:
Bibliographic Details
Published inPRICAI 2019: Trends in Artificial Intelligence Vol. 11670; pp. 500 - 513
Main Author Schwitter, Rolf
Format Book Chapter
LanguageEnglish
Published Switzerland Springer International Publishing AG 2019
Springer International Publishing
SeriesLecture Notes in Computer Science
Subjects
Answer set programming
Controlled natural language
Event calculus
Online AccessGet full text

Cover

More Information
Summary:In this paper we discuss how we can augment an existing controlled natural language in a systematic way with temporal expressions in order to write high-level temporal specifications which require reasoning about action and change. We show that domain-dependent axioms which are necessary to specify time-varying properties, deal with the commonsense law of inertia, and with continuous change can be expressed directly and in a transparent way on the level of the controlled natural language. The resulting temporal specification including the corresponding axioms and the required terminological knowledge can be translated automatically into an executable answer set program and then be used by a linguistically motivated version of the Event Calculus, implemented as an answer set program, for temporal reasoning and question answering.
ISBN:3030299074
9783030299071
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-030-29908-8_40