Evaluation of logic-based smart contracts for blockchain systems
Title: Evaluation of logic-based smart contracts for blockchain systems
Citation: Jose Julio ALFERES, Leopoldo BERTOSSI, Guido GOVERNATORI, Paul FODOR and Dumitru ROMAN (eds), Rule technologies : research, tools, and applications : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings, Switzerland : Springer, 2016, Lecture notes in computer science, Vol. 9718, pp. 167-183
ISBN: 9783319420189; 9783319420196
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.
Date: 28 June 2016
Files in this item
There are no files associated with this item.