Answer set programming via controlled natural language processing

Rolf Schwitter*

*Corresponding author for this work

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

6 Citations (Scopus)

Abstract

Controlled natural languages are subsets of natural languages that can be used to describe a problem in a very precise way, furthermore they can often be translated automatically into a formal notation. We investigate in this paper how a controlled natural language can be used as a specification language for Answer Set Programming (ASP). ASP is a declarative approach to problem solving and has its roots in knowledge representation, logic programming, and constraint satisfaction. Solutions of ASP programs are stable models (= answer sets) that build the starting point for question answering. As a proof of concept, we translate a problem specification written in controlled natural language into an ASP program and compute a stable model that contains the answers to a number of questions.

Original languageEnglish
Title of host publicationControlled Natural Language - Third International Workshop, CNL 2012, Proceedings
EditorsTobias Kuhn, Norbert E. Fuchs
Place of PublicationHeidelberg, Germany
PublisherSpringer, Springer Nature
Pages26-43
Number of pages18
Volume7427 LNAI
ISBN (Print)9783642326110
DOIs
Publication statusPublished - 2012
Event3rd International Workshop on Controlled Natural Language, CNL 2012 - Zurich, Switzerland
Duration: 29 Aug 201231 Aug 2012

Publication series

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

Other

Other3rd International Workshop on Controlled Natural Language, CNL 2012
Country/TerritorySwitzerland
CityZurich
Period29/08/1231/08/12

Fingerprint

Dive into the research topics of 'Answer set programming via controlled natural language processing'. Together they form a unique fingerprint.

Cite this