合同与计算研讨会

握手

细节

约翰·卡米莱里博士论文答辩.

主办单位杰拉尔多·施奈德(主主机)和约翰·卡米莱里(网页,程序),REMU项目.

程序

每个时段50分钟(30-40分钟谈话+问题),但时间表可以根据需要稍作调整。

辩护方的陈述

摘要

“可击败的AceRules:原型”-马丁·迪勒、亚当·怀纳和汉内斯·斯特拉斯

本文采用AceRules系统的语法,该系统是一种现有的受控自然语言(CNL),并将生成的输出规则通过管道传输到可定义的推理机。有了这一点,我们可以用知识库(KB)来表示和推理严格且可解释的规则。对于严格规则,如果前提成立,则严格规则的结果必须成立;对于可废止规则,如果前提成立,则废止规则的结果应成立。只要适用,就会始终应用严格的规则,而最大限度地应用可废除的规则(就规则子集而言),但要保持一致性。在CNL中,可废止规则是以“通常”的形式表示的。对规则的CNL表达式进行解析和语义表示,以便推理机用于准确生成可能的事件状态。说话者用自然语言表达结果,这有助于理解。对可废止规则的方法与可用的方法进行了对比,例如否定即失败、异常和异常谓词的使用。这项工作大体上是在论证的背景下进行的。本文概述了基本形式主义和CNL;它提供了一个扩展示例。

“可计算合同的工业应用”-王孟翁(Meng Weng Wong)

孟将简要介绍和报告正在进行的各种工作:

并概述沿着上述线索进行协作的可能性。

Meng Wong目前是斯坦福大学CodeX研究员,在CompK.Stanford.edu工作,同时也是Legalese.com的联合创始人之一,该网站旨在通过一家开源初创公司将最近的学术研究转化为合同和法律形式化,并将其应用于工业应用。

参与者列表

  1. 马雷克·塞尔戈特(伦敦帝国理工学院)
  2. 亚当·怀纳(阿伯丁大学)
  3. 斯韦托斯拉夫·马里诺夫(Seal软件)
  4. 斯蒂芬·梅西(列克斯·科吉坦)
  5. Jenevra Georgini(美国国际集团)
  6. 王孟翁(Meng Weng Wong)(Legalese.com)
  7. 亚历克西斯·春(Legalese.com)
  8. 达斯汀·韦尔(Legalese.com)
  9. 恰丽翁(Legalese.com)
  10. 保拉·鲍洛夫斯基(Legalese.com)
  11. 克里斯蒂安·约翰森(奥斯陆大学)
  12. 马库斯·福斯伯格(哥德堡大学)
  13. 杰拉尔多·施奈德(查尔默斯和哥德堡大学)
  14. 阿内·兰塔(查尔默斯和哥德堡大学)
  15. 科恩·克莱森(查尔默斯和哥德堡大学)
  16. 克拉西米尔·安吉洛夫(查尔默斯和哥德堡大学)
  17. 约翰·卡米莱里(查尔默斯和哥德堡大学)
  18. 伊娜里·利斯滕马(查尔默斯和哥德堡大学)
  19. 普拉桑特·科拉奇纳(查尔默斯和哥德堡大学)
  20. 赫伯特·兰格(查尔默斯和哥德堡大学)
  21. 安·利利斯特罗姆(查尔默斯和哥德堡大学)
  22. 本特·诺德斯特伦(查尔默斯和哥德堡大学)