Top

Published in:

2019 | OriginalPaper | Chapter

Towards Agent-Oriented Blockchains: Autonomous Smart Contracts

Authors : Giovanni Ciatto, Alfredo Maffi, Stefano Mariani, Andrea Omicini

Published in: Advances in Practical Applications of Survivable Agents and Multi-Agent Systems: The PAAMS Collection

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

Abstract

Features of blockchain technology (BCT) such as decentralisation, trust, fault tolerance, and accountability, are of paramount importance for multi-agent systems (MAS). In this paper we argue that a principled approach to MAS-BCT integration cannot overlook the foundational character of agency—that is, autonomy. Accordingly, we present a custom BCT implementation where autonomy is placed in smart contracts (SC) interpreted as software agents. We show how agency can enhance SC expressiveness with autonomy, situatedness, sociality, and intelligence, and highlight the limitations of state-of-art BCT in supporting MAS design and implementation.

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 Towards Profile and Domain Modelling in Agent-Based Applications for Behavior Change

next chapter Towards Topological Analysis of Networked Holonic Multi-agent Systems

https://solidity.readthedocs.io/en/v0.5.3/introduction-to-smart-contracts.html, https://hyperledger-fabric.readthedocs.io/en/release-1.3/chaincode4ade.html.

Source code publicly available at [12].

We rely on Prolog standard notation for input/output arguments: + is an input, + is an output, ? can be both, whereas @ is a ground input.

Androulaki, E., et al.: Hyperledger fabric: a distributed operating system for permissioned blockchains. In: 13th EuroSys Conference (EuroSys 2018). ACM, New York (2018). https://doi.org/10.1145/3190508.3190538

Atzei, N., Bartoletti, M., Cimoli, T.: A survey of attacks on ethereum smart contracts (SoK). In: Maffei, M., Ryan, M. (eds.) POST 2017. LNCS, vol. 10204, pp. 164–186. Springer, Heidelberg (2017). https://doi.org/10.1007/978-3-662-54455-6_8CrossRef

BangBit Technologies: The power of smart contracts on the blockchain: how can businesses get the advantage? Medium, May 2018. http://medium.com/p/b8abd5086caf

Castelfranchi, C.: Guarantees for autonomy in cognitive agent architecture. In: Wooldridge, M.J., Jennings, N.R. (eds.) ATAL 1994. LNCS, vol. 890, pp. 56–70. Springer, Heidelberg (1995). https://doi.org/10.1007/3-540-58855-8_3CrossRef

Ciatto, G., Calegari, R., Mariani, S., Denti, E., Omicini, A.: From the blockchain to logic programming and back: research perspectives. In: Cossentino, M., Sabatucci, L., Seidita, V. (eds.) WOA 2018–19th Workshop “From Objects to Agents”. CEUR Workshop Proceedings, vol. 2215, pp. 69–74 (2018)

Conte, R., Castelfranchi, C.: Cognitive and Social Action. UCL Press, London (1995). http://books.google.com/books?isbn=1857281861

Denti, E., Omicini, A., Ricci, A.: tuProlog: a light-weight prolog for internet applications and infrastructures. In: Ramakrishnan, I.V. (ed.) PADL 2001. LNCS, vol. 1990, pp. 184–198. Springer, Heidelberg (2001). https://doi.org/10.1007/3-540-45241-9_13CrossRef

Idelberger, F., Governatori, G., Riveret, R., Sartor, G.: Evaluation of logic-based smart contracts for blockchain systems. In: Alferes, J.J.J., Bertossi, L., Governatori, G., Fodor, P., Roman, D. (eds.) RuleML 2016. LNCS, vol. 9718, pp. 167–183. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-42019-6_11CrossRef

Kowalski, R.A.: Predicate logic as programming language. In: Information Processing 74 - Proceedings of the 1974 IFIP Congress, pp. 569–574. North-Holland Publishing Company (1974)

10.

Kwon, J.: Tendermint: consensus without mining (2014). https://tendermint.com/static/docs/tendermint.pdf

11.

Luu, L., Chu, D.H., Olickel, H., Saxena, P., Hobor, A.: Making smart contracts smarter. In: ACM SIGSAC Conference on Computer and Communications Security (CCS 2016), pp. 254–269. ACM Press, New York (2016). https://doi.org/10.1145/2976749.2978309

12.

Maffi, A.: Tenderfone GitLab repository. https://gitlab.com/pika-lab/blockchain/tenderfone/tenderfone-sc

13.

Odell, J.: Objects and agents compared. J. Object Technol. 1, 41–53 (2002). https://doi.org/10.5381/jot.2002.1.1.c4CrossRef

14.

Omicini, A., Ricci, A., Viroli, M.: Timed environment for Web agents. Web Intell. Agent Syst. 5(2), 161–175 (2007). http://content.iospress.com/articles/web-intelligence-and-agent-systems-an-international-journal/wia00111

15.

Omicini, A., Ricci, A., Viroli, M.: Artifacts in the A&A meta-model for multi-agent systems. Auton. Agent. Multi-Agent Syst. 17(3), 432–456 (2008). https://doi.org/10.1007/s10458-008-9053-xCrossRef

16.

Rao, A.S., Georgeff, M.P.: An abstract architecture for rational agents. In: Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR 1992), pp. 439–449. Morgan Kaufmann (1992)

17.

Ricci, A., Omicini, A., Viroli, M., Gardelli, L., Oliva, E.: Cognitive stigmergy: towards a framework based on agents and artifacts. In: Weyns, D., Parunak, H.V.D., Michel, F. (eds.) E4MAS 2006. LNCS (LNAI), vol. 4389, pp. 124–140. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-71103-2_7CrossRef

18.

Schneider, F.B.: Implementing fault-tolerant services using the state machine approach: a tutorial. ACM Comput. Surv. 22(4), 299–319 (1990). https://doi.org/10.1145/98163.98167CrossRef

19.

Seijas, P.L., Thompson, S.J., McAdams, D.: Scripting smart contracts for distributed ledger technology. Report 1156, IACR Cryptology ePrint Archive (2016). http://eprint.iacr.org/2016/1156

20.

Stark, J.: Making sense of blockchain smart contracts. CoinDesk, June 2016. https://www.coindesk.com/making-sense-smart-contracts/

21.

Suchman, L.A.: Plans and Situated Actions: The Problem of Human-Machine Communication. Cambridge University Press, New York (1987)

22.

Szabo, N.: Smart contracts (1994). http://www.fon.hum.uva.nl/rob/Courses/InformationInSpeech/CDROM/Literature/LOTwinterschool2006/szabo.best.vwh.net/smart.contracts.html

23.

Szabo, N.: Formalizing and securing relationships on public networks. First Monday 2(9) (1997). http://ojphi.org/ojs/index.php/fm/article/view/548/469

24.

Wood, G.: Ethereum: a secure decentralised generalised transaction ledger (2014). http://ethereum.github.io/yellowpaper/paper.pdf

Title: Towards Agent-Oriented Blockchains: Autonomous Smart Contracts
Authors: Giovanni Ciatto
Alfredo Maffi
Stefano Mariani
Andrea Omicini
Publisher: Springer International Publishing
Book: Advances in Practical Applications of Survivable Agents and Multi-Agent Systems: The PAAMS Collection
Print ISBN: 978-3-030-24208-4

Electronic ISBN: 978-3-030-24209-1

Copyright Year: 2019
DOI: https://doi.org/10.1007/978-3-030-24209-1_3

Springer Professional

Abstract

Please log in to get access to your license.

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

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner