FMitF: Track 2: Formal Reasoning for Legal Conveyances

FMitF：轨道 2：法律转让的形式推理

• 批准号: 2019313
• 负责人: John Foster
• 金额: $ 10万
• 依托单位: Cornell University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2020
• 资助国家: 美国
• 起止时间: 2020-10-01 至 2023-03-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2019313&HistoricalAwards=false
• 关键词: FMitF; Track; Formal; Reasoning; Legal

Lawyers draft documents called "conveyances" that govern the transfer of property. These conveyances are written in an intricate syntax that follows precise rules. In previous work, the investigators developed a system for reading standard conveyances and computing their consequences. The present project extends that preliminary work by generalizing it to cover a wider range of conveyances and adding an accessible graphical interface. The project's novelties are in bringing ideas from the fields of programming languages and formal methods to bear on problems in the legal domain. The project's impacts are to create a system that can be used by lawyers and legal educators to reason about complex conveyances and to understand how the laws governing them work.At a technical level, the system models the language of conveyances as a domain-specific programming language whose concrete syntax is a restricted subset of the legal English used by the lawyers who draft them. It parses a conveyance into an abstract syntax tree, which it then transforms according to a formal operational semantics to account for subsequent events. A graphical interface provides features such as stepping forward and backward through events, enabling users without a background in computer science to absorb the insights offered by the language-based approach. The project develops a richer model of events, enabling the system to engage in automated reasoning about interactions between events and conveyances that are used by lawyers and judges to settle disputes. Finally, the investigators will deploy the system in the classroom, developing a series of exercises that explore the main elements of property law.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.

律师起草的文件称为“交通运输”，该文件管理财产转让。这些运输方式是用遵循精确规则的复杂语法写的。在先前的工作中，研究人员开发了一种用于阅读标准输送和计算其后果的系统。本项目通过将其推广以涵盖更广泛的运输范围并添加可访问的图形接口来扩展该初步工作。该项目的新颖性是从编程语言领域和正式方法中的想法来解决法律领域的问题。该项目的影响是创建一个可以由律师和法律教育者使用的系统来推理复杂的运输工具，并了解管理它们的法律如何工作。在技术层面上，该系统将运输语言作为一种特定于领域的编程语言，其混凝土语法是律师使用律师使用的法定英语的限制子集。它将运输量解析为抽象的语法树，然后根据正式的操作语义进行转换，以说明后续事件。图形界面提供了诸如通过事件向前和向后走的功能，使没有计算机科学背景的用户能够吸收基于语言的方法提供的见解。该项目开发了更丰富的事件模型，使系统能够对律师和法官使用的事件和交通工具之间的互动进行自动推理，以解决争议。最后，调查人员将在课堂上部署该系统，开发一系列探讨财产法的主要要素的练习。该奖项反映了NSF的法定任务，并认为使用基金会的知识分子和更广泛的影响评估审查标准，认为值得通过评估来支持。

项目成果

A Programming Language for Future Interests

适合未来兴趣的编程语言

• 发表时间: 2022
• 期刊: Yale journal of law technology
• 作者: Shrutarshi Basu;Nate Foster;James Grimmelmann;Shan Parikh;Ryan Richardson
• 通讯作者: Ryan Richardson