摘要
无论我们是否意识到,我们的数字生活都受到各种合同的约束,例如隐私政策、软件许可证、服务协议和法规。本质上,此类规范性文件规定了两方或多方签订协议的权限、义务和禁令,包括违反规则时必须支付的罚款。这些文件通常很长,很难理解,大多数人倾向于在没有阅读过的情况下同意这些具有法律约束力的合同。我们的目标是创建一些工具,这些工具可以将自然语言文档作为输入,并允许最终用户轻松地就其含义提出问题,从而在合理的时间内用自然语言返回有意义的答案。我们通过将形式化方法引入规范性文本的分析,研究如何有效地对其进行建模,以及这些模型所支持的自动处理方式来实现这一点。本文包括作者的六篇研究论文,涵盖了该方法的各个方面:自然语言中的实体识别和模态提取、作为建模接口的受控自然语言和可视图、可用于合同表示的逻辑形式、,并通过句法过滤、跟踪评估、随机测试和模型检查进行分析。然后,将这些组件组合成一个面向最终用户的原型工具,以便对自然语言中的规范性文本进行端到端分析。
机构
计算机科学与工程系;研究所för data-och informationsteknik
争议
Onsdagen den 2017年11月1日,kl.10.00,HC3,Hoörsalsvagen 14
电子邮件
john.j.camilleri@cse.guse