受控自然语言规范文本冲突分析框架

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