中文

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