nach oben

Erschienen in:

2019 | OriginalPaper | Buchkapitel

Towards Agent-Oriented Blockchains: Autonomous Smart Contracts

verfasst von : Giovanni Ciatto, Alfredo Maffi, Stefano Mariani, Andrea Omicini

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

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

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!

Jetzt informieren

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!

Jetzt informieren

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!

Jetzt informieren

Vorheriges Kapitel Towards Profile and Domain Modelling in Agent-Based Applications for Behavior Change

Nächstes Kapitel 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

Titel: Towards Agent-Oriented Blockchains: Autonomous Smart Contracts
verfasst von: Giovanni Ciatto
Alfredo Maffi
Stefano Mariani
Andrea Omicini
Verlag: Springer International Publishing
Buch: 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-Jahr: 2019
DOI: https://doi.org/10.1007/978-3-030-24209-1_3

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner