On legal contracts, imperative and declarative smart contracts, and blockchain systems

被引：126

作者：

Governatori, Guido ^{[1
]}

Idelberger, Florian ^{[2
]}

Milosevic, Zoran ^{[3
]}

Riveret, Regis ^{[1
]}

Sartor, Giovanni ^{[2
]}

Xu, Xiwei ^{[4
]}

机构：

[1] CSIRO, Data61, Brisbane, Qld, Australia

[2] European Univ Inst, Florence, Italy

[3] Deontik, Brisbane, Qld, Australia

[4] CSIRO, Data61, Sydney, NSW, Australia

来源：

ARTIFICIAL INTELLIGENCE AND LAW | 2018年 / 26卷 / 04期

关键词：

Legal contracts; Smart contracts; Blockchain; LOGIC; WEB;

D O I：

10.1007/s10506-018-9223-3

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

This paper provides an analysis of how concepts pertinent to legal contracts can influence certain aspects of their digital implementation through smart contracts, as inspired by recent developments in distributed ledger technology. We discuss how properties of imperative and declarative languages including the underlying architectures to support contract management and lifecycle apply to various aspects of legal contracts. We then address these properties in the context of several blockchain architectures. While imperative languages are commonly used to implement smart contracts, we find that declarative languages provide more natural ways to deal with certain aspects of legal contracts and their automated management.

引用

页码：377 / 409

页数：33

共 47 条

[1]

Aberdeen Group, 2005, HDB CLM STRATEGY SOL

[2]

[Anonymous], 1999, ACM Conference on Electronic Commerce

[3] The Semantic Web - A new form of Web content that is meaningful to computers will unleash a revolution of new possibilities [J].