受控自然语言中逻辑程序的指定
cmp-lg
2008-02-03 v1 计算与语言
摘要
为计算机程序编写规范并不容易，因为需要考虑应用域和软件开发之间不同的概念世界之间的差异。为弥合这种概念鸿沟，我们提出将受控自然语言作为一种声明性和特定于应用程序的规范语言。受控自然语言是一套自然语言的子集，能够被计算机准确且高效地处理，但又足够表达，允许非专业人员自然地使用。受控自然语言的规范会自动翻译成 Prolog 子句，从而变得正式和可执行。该翻译使用增强了特征结构的确定性语法树（DCG）。规范中的文本间引用（例如，指代）通过指代表示理论（DRT）来解决。生成的 Prolog 子句被添加到知识库中。我们实现了一个能够成功处理简单自动提款机规范的原型规范系统。
引用
@article{arxiv.cmp-lg/9507009,
title = {Specifying Logic Programs in Controlled Natural Language},
author = {Norbert E. Fuchs and Rolf Schwitter},
journal= {arXiv preprint arXiv:cmp-lg/9507009},
year = {2008}
}
备注
16 pages, compressed, uuencoded Postscript, published in Proceedings CLNLP 95, COMPULOGNET/ELSNET/EAGLES Workshop on Computational Logic for Natural Language Processing, Edinburgh, April 3-5, 1995