Attempto 受控英语 (ACE)
cmp-lg
2008-02-03 v1 计算与语言
摘要
Attempto 受控英语 (ACE) 允许领域专家以领域概念交互式地 formulate 需求规范。ACE 可以被计算机准确且高效地处理,但足够表达,允许自然用法。Attempto 系统将 ACE 中的规格文本翻译为话语表示结构,并可选地翻译为 Prolog。翻译后的规格文本逐步添加到知识库中。该知识库可用于 ACE 查询验证,亦可用于规格的仿真、原型和验证。
关键词
引用
@article{arxiv.cmp-lg/9603003,
title = {Attempto Controlled English (ACE)},
author = {Norbert E. Fuchs and Rolf Schwitter},
journal= {arXiv preprint arXiv:cmp-lg/9603003},
year = {2008}
}
备注
13 pages, compressed, uuencoded Postscript, to be presented at CLAW 96, The First International Workshop on Controlled Language Applications, Katholieke Universiteit Leuven, 26-27 March 1996