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.
| Language | English |
|---|---|
| Title of host publication | Controlled Natural Language - Third International Workshop, CNL 2012, Proceedings |
| Editors | Tobias Kuhn, Norbert E. Fuchs |
| Place of Publication | Heidelberg, Germany |
| Publisher | Springer, Springer Nature |
| Pages | 26-43 |
| Number of pages | 18 |
| Volume | 7427 LNAI |
| ISBN (Print) | 9783642326110 |
| DOIs | |
| Publication status | Published - 2012 |
| Event | 3rd International Workshop on Controlled Natural Language, CNL 2012 - Zurich, Switzerland Duration: 29 Aug 2012 → 31 Aug 2012 |
Publication series
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Volume | 7427 LNAI |
| ISSN (Print) | 03029743 |
| ISSN (Electronic) | 16113349 |
Other
| Other | 3rd International Workshop on Controlled Natural Language, CNL 2012 |
|---|---|
| Country | Switzerland |
| City | Zurich |
| Period | 29/08/12 → 31/08/12 |
Fingerprint
Cite this
}
Answer set programming via controlled natural language processing. / Schwitter, Rolf.
Controlled Natural Language - Third International Workshop, CNL 2012, Proceedings. ed. / Tobias Kuhn; Norbert E. Fuchs. Vol. 7427 LNAI Heidelberg, Germany : Springer, Springer Nature, 2012. p. 26-43 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7427 LNAI).Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › Research › peer-review
TY - GEN
T1 - Answer set programming via controlled natural language processing
AU - Schwitter, Rolf
PY - 2012
Y1 - 2012
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84865682581&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-32612-7_3
DO - 10.1007/978-3-642-32612-7_3
M3 - Conference proceeding contribution
SN - 9783642326110
VL - 7427 LNAI
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 26
EP - 43
BT - Controlled Natural Language - Third International Workshop, CNL 2012, Proceedings
A2 - Kuhn, Tobias
A2 - Fuchs, Norbert E.
PB - Springer, Springer Nature
CY - Heidelberg, Germany
ER -