AnaCon公司 swMATH ID: 14801 软件作者： 克拉西米尔·安吉洛夫（Krasimir Angelov）；约翰·卡米莱里（John J.Camilleri）。；杰拉尔多·施奈德 描述： 用受控自然语言编写的规范性文本的冲突分析框架。在本文中，我们关注的是对规范冲突的分析，或者检测以受控自然语言（CNL）编写的规范文本中相互冲突的义务、许可和禁令。为此，我们提出了AnaCon，这是一个概念验证系统，用CNL编写的规范性文本会自动翻译成正式语言𝒞ℒ 使用语法框架（GF）。这样的𝒞ℒ 然后使用CLAN工具分析表达式中的规范冲突，并在发现冲突的情况下给出反例。该框架还使用GF给出了反例的CNL版本，帮助用户识别原始文本中的冲突。我们详细介绍了AnaCon在两个案例研究中的应用，并讨论了我们方法的有效性。 主页： http://www.sciencedirect.com/science/article/pii/S1567832613000143 关键词： 规范性文本;电子合同;法律合同;受控自然语言;宗派;氯;冲突分析;语法框架 相关软件： 宗派;法律规则ML;Uppaal公司;斯坦福·塔格;GF公司 引用于： 2文件 3位作者引用 2 约翰·卡米莱里。 2 杰拉尔多·施奈德 1 克拉西米尔·安吉洛夫 2篇连载文章中引用 1 逻辑与代数程序设计杂志 1 程序设计中的逻辑和代数方法杂志 在2个字段中引用 2 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的引文