Evaluation of Logic-Based Smart Contracts for Blockchain Systems

被引：101

作者：

Idelberger, Florian ^{[1
]}

Governatori, Guido ^{[2
]}

Riveret, Regis ^{[2
]}

Sartor, Giovanni ^{[1
]}

机构：

[1] European Univ Inst, Fiesole, Italy

[2] Data61 CSIRO NICTA, Brisbane, Qld, Australia

来源：

RULE TECHNOLOGIES: RESEARCH, TOOLS, AND APPLICATIONS | 2016年 / 9718卷

关键词：

Smart contract; Blockchain; Programming paradigm; Logic; ARGUMENTATION;

D O I：

10.1007/978-3-319-42019-6_11

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

While procedural languages are commonly used to program smart contracts in blockchain systems, logic-based languages may be interesting alternatives. In this paper, we inspect what are the possible legal and technical (dis) advantages of logic-based smart contracts in light of common activities featuring ordinary contracts, then we provide insights on how to use such logic-based smart contracts in combination with blockchain systems. These insights lead us to emphasize a fundamental challenge - algorithms for logic approaches have to be efficient, but they also need to be literally cheap as measured within the environment where they are deployed and according to its economic rules. We illustrate this with different algorithms from defeasible logic-based frameworks.

引用

页码：167 / 183

页数：17

共 19 条

[1]

Antoniou G., 2001, ACM Transactions on Computational Logic, V2, P255, DOI [10.1145/371316.371517, DOI 10.1145/371316.371517]

[2] LegalRuleML: Design Principles and Foundations [J].

Athan, Tara ;

Governatori, Guido ;

Palmirani, Monica ;

Paschke, Adrian ;

Wyner, Adam .

REASONING WEB: WEB LOGIC RULES, 2015, 9203 :151-188

[3] ON THE ACCEPTABILITY OF ARGUMENTS AND ITS FUNDAMENTAL ROLE IN NONMONOTONIC REASONING, LOGIC PROGRAMMING AND N-PERSON GAMES [J].

DUNG, PM .

ARTIFICIAL INTELLIGENCE, 1995, 77 (02) :321-357

[4]

Ethereum Foundation, ETH WHIT PAP

[5] A neural cognitive model of argumentation with application to legal inference and decision making [J].

Garcez, Artur S. d'Avila ;

Gabbay, Dov M. ;

Lamb, Luis C. .

JOURNAL OF APPLIED LOGIC, 2014, 12 (02) :109-127

[6] Representing business contracts in ruleML [J].

Governatori, G .

INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS, 2005, 14 (2-3) :181-216

[7]

Governatori Guido, 2009, International Journal of Business Process Integration and Management, V4, P187, DOI 10.1504/IJBPIM.2009.030985

[8]

Governatori G, 2015, P 15 INT C ART INT L, P63, DOI [10.1145/2746090.2746105, DOI 10.1145/2746090.2746105]

[9]

Governatori Guido., 2007, Proceedings of the 11th International Conference on Artificial Intelligence and Law - ICAIL'07, P155, DOI DOI 10.1145/1276318.1276347

[10]

Lam HP, 2009, LECT NOTES COMPUT SC, V5858, P315

← 1 2 →