Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Start single access now
Request access for companies
EXTENDED SEARCH
Log in
Top

Hint

Swipe to navigate through the chapters of this book

Published in:
Programming in Picat Read chapter Read first chapter

2016 | OriginalPaper | Chapter

Evaluation of Logic-Based Smart Contracts for Blockchain Systems

Authors : Florian Idelberger, Guido Governatori, Régis Riveret, Giovanni Sartor

Published in: Rule Technologies. Research, Tools, and Applications

Publisher: Springer International Publishing

Log in

Abstract

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.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
previous chapter Setting Standards for Altering and Undoing Smart Contracts
next chapter Blockchain Temporality: Smart Contract Time Specifiability with Blocktime
Footnotes
2
While encouragement is not enforcement in all meanings of the word, it is either a precursor or a part of it.
 
3
This comparison was conducted by writing the basic solidity code for the requisite modus ponens inference and then comparing the ‘gas’ cost as estimated by the official solidity compiler.
 
Literature
1.
Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Representation results for defeasible logic. ACM Trans. Comput. Log. 2(2), 255–287 (2001) MathSciNetCrossRefMATH
2.
Athan, T., Governatori, G., Palmirani, M., Paschke, A., Wyner, A.: LegalRuleML: design principles and foundations. In: Faber, W., Paschke, A. (eds.) Reasoning Web 2015. LNCS, vol. 9203, pp. 151–188. Springer, Heidelberg (2015) CrossRef
3.
d’Avila Garcez, A.S., Gabbay, D.M., Lamb, L.C.: A neural cognitive model of argumentation with application to legal inference and decision making. J. Appl. Log. 12(2), 109–127 (2014) MathSciNetCrossRefMATH
4.
Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artif. Intell. 77(2), 321–358 (1995) MathSciNetCrossRefMATH
5.
Ethereum Foundation. Ethereum’s white paper
6.
Governatori, G.: Representing business contracts in RuleML. Int. J. Coop. Inf. Syst. 14(2–3), 181–216 (2005) CrossRef
7.
Governatori, G.: Thou shalt is not you will. In: Atkinson, K., (ed.) Proceedings of the Fifteenth International Conference on Artificial Intelligence and Law, pp. 63–68. ACM, New York (2015)
8.
Governatori, G., Pham, D.H.: DR-CONTRACT: an architecture for e-contracts in defeasible logic. Inter. J. Bus. Process Integr. Manag. 5(3), 187–199 (2009) CrossRef
9.
Governatori, G., Rotolo, A., Riveret, R., Palmirani, M., Sartor, G.: Variants of temporal defeasible logics for modelling norm modifications. In: Proceedings of the 11th International Conference on Artificial Intelligence and Law, Stanford, California, USA, pp. 155–159. ACM (2007)
10.
Lam, H.-P., Governatori, G.: The making of SPINdle. In: Governatori, G., Hall, J., Paschke, A. (eds.) RuleML 2009. LNCS, vol. 5858, pp. 315–322. Springer, Heidelberg (2009) CrossRef
11.
12.
Modgil, S., Caminada, M.: Proof theories and algorithms for abstract argumentation frameworks. In: Simari, G., Rahwan, I. (eds.) Argumentation in Artificial Intelligence, pp. 105–129. Springer, Heidelberg (2009) CrossRef
13.
Nakamoto, S.: Bitcoin: A Peer-to-Peer Electronic Cash System (2008). (The Nakamoto paper)
14.
Prakken, H., Sartor, G.: A dialectical model of assessing conflicting arguments in legal reasoning. Artif. Intell. Law 4(3–4), 331–368 (1996) CrossRef
15.
Riveret, R., Rotolo, A., Sartor, G.: Probabilistic rule-based argumentation for norm-governed learning agents. Artif. Intell. Law 20(4), 383–420 (2012) CrossRefMATH
16.
Sartor, G.: Legal Reasoning: A Cognitive Approach to the Law. Springer, Heidelberg (2005)
17.
Szabo, N.: The idea of smart contracts (1997)
18.
Wood, G.: Ethereum: a secure decentralised generalised transaction ledger (2014)
19.
Wright, A., De Filippi, P.: Decentralized Blockchain Technology and the Rise of Lex Cryptographia. SSRN Scholarly Paper ID 2580664, Social Science Research Network, Rochester, NY, March 2015
Metadata
Title
Evaluation of Logic-Based Smart Contracts for Blockchain Systems
Authors
Florian Idelberger
Guido Governatori
Régis Riveret
Giovanni Sartor
Copyright Year
2016
Book
Rule Technologies. Research, Tools, and Applications

Print ISBN: 978-3-319-42018-9

Electronic ISBN: 978-3-319-42019-6

Copyright Year: 2016

DOI
https://doi.org/10.1007/978-3-319-42019-6_11

Premium Partner

    Image Credits