Please use this identifier to cite or link to this item: http://hdl.handle.net/1959.14/197418
32 Visitors
41 Hits
0 Downloads
- Title
- Answer set programming via controlled natural language processing
- Related
- International Workshop on Controlled Natural Language (3rd : 2012) (29 - 31 August 2012 : Zurich, Switzerland)
- Related
- Kuhn, Tobias and Fuchs, Norbert E.. Controlled natural language : third international workshop, CNL 2012, Zurich, Switzerland, August 29-31 2012 : proceedings, p.26-43
- DOI
- 10.1007/978-3-642-32612-7_3
- Related
- Lecture notes in computer science Vol. 7427
- Publisher
- Heidelberg, Germany : Springer-Verlag
- Date
- 2012
- Author/Creator
- Schwitter, Rolf
- Description
- 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.
- Description
- 18 page(s)
- Subject Keyword
- answer set programming
- Subject Keyword
- controlled natural language processing
- Subject Keyword
- knowledge representation
- Subject Keyword
- model-based problem solving
- Resource Type
- conference paper
- Organisation
- Macquarie University. Dept. of Computing
- Identifier
- http://hdl.handle.net/1959.14/197418
- Identifier
- ISBN:9783642326110
- Identifier
- ISSN:0302-9743
- Identifier
- mq_res-ext-2-s2.0-84865682581
- Language
- eng
- Reviewed
