Augmenting an answer set based controlled natural language with temporal expressions

Rolf Schwitter*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

Abstract

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.

Original languageEnglish
Title of host publicationPRICAI 2019
Subtitle of host publicationTrends in Artificial Intelligence - 16th Pacific Rim International Conference on Artificial Intelligence, Proceedings, Part I
EditorsAbhaya C. Nayak, Alok Sharma
Place of PublicationCham
PublisherSpringer-VDI-Verlag GmbH & Co. KG
Pages500-513
Number of pages14
ISBN (Electronic)9783030299088
ISBN (Print)9783030299071
DOIs
Publication statusPublished - 2019
Event16th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2019 - Yanuka Island, Fiji
Duration: 26 Aug 201930 Aug 2019

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume11670 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference16th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2019
CountryFiji
CityYanuka Island
Period26/08/1930/08/19

Keywords

  • Answer set programming
  • Controlled natural language
  • Event calculus

Fingerprint Dive into the research topics of 'Augmenting an answer set based controlled natural language with temporal expressions'. Together they form a unique fingerprint.

  • Cite this

    Schwitter, R. (2019). Augmenting an answer set based controlled natural language with temporal expressions. In A. C. Nayak, & A. Sharma (Eds.), PRICAI 2019: Trends in Artificial Intelligence - 16th Pacific Rim International Conference on Artificial Intelligence, Proceedings, Part I (pp. 500-513). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11670 LNAI). Cham: Springer-VDI-Verlag GmbH & Co. KG. https://doi.org/10.1007/978-3-030-29908-8_40