在本文中,我们关注的是对规范冲突的分析,或者检测以受控自然语言(CNL)编写的规范文本中相互冲突的义务、许可和禁令。为此,我们提出了AnaCon,这是一个概念验证系统,使用语法框架(GF)将用CNL编写的规范性文本自动翻译为正式语言CL。然后使用CLAN工具分析此类CL表达式的规范冲突,并在发现冲突的情况下给出反例。该框架还使用GF给出了反例的CNL版本,帮助用户识别原始文本中的冲突。我们详细介绍了AnaCon在两个案例研究中的应用,并讨论了我们的方法的有效性。
找不到反向链接。