Abstract
This paper presents a survey of research in controlled natural languages that can be used as high-level knowledge representation languages. Over the past 10 years or so, a number of machine-oriented controlled natural languages have emerged that can be used as high-level interface languages to various kinds of knowledge systems. These languages are relevant to the area of computational linguistics since they have two very interesting properties: firstly, they look informal like natural languages and are therefore easier to write and understand by humans than formal languages; secondly, they are precisely defined subsets of natural languages and can be translated automatically (and often deterministically) into a formal target language and then be used for automated reasoning. We present and compare the most mature of these novel languages, show how they can balance the disadvantages of natural languages and formal languages for knowledge representation, and discuss how domain specialists can be supported writing specifications in controlled natural language.
| Original language | English |
|---|---|
| Title of host publication | Coling 2010 - 23rd International Conference on Computational Linguistics, Proceedings of the Conference |
| Editors | C-R. Huang |
| Place of Publication | Stroudsburg, PA |
| Publisher | Association for Computational Linguistics (ACL) |
| Pages | 1113-1121 |
| Number of pages | 9 |
| Volume | 2 |
| Publication status | Published - 2010 |
| Event | 23rd International Conference on Computational Linguistics, Coling 2010 - Beijing, China Duration: 23 Aug 2010 → 27 Aug 2010 |
Other
| Other | 23rd International Conference on Computational Linguistics, Coling 2010 |
|---|---|
| Country/Territory | China |
| City | Beijing |
| Period | 23/08/10 → 27/08/10 |