计算机科学>计算与语言
标题: 从结构化英语合同到CL规范
摘要: 在本文中,我们提出了一个框架来分析用结构化英语编写的合同冲突。 用结构化英语手动改写的合同将使用语法框架(GF)自动翻译为正式语言。 特别是,我们使用合同语言CL作为此翻译的目标形式语言。 在我们的框架中,CL规范可以输入到工具CLAN中,以检测冲突的存在(是否存在相互矛盾的义务、权限和禁令)。我们还使用GF获得CL公式的(受限)英语版本。 我们讨论了这样一个框架的实施。