Book ChapterDOI
Towards Agent-Oriented Blockchains: Autonomous Smart Contracts
Giovanni Ciatto,Alfredo Maffi,Stefano Mariani,Andrea Omicini +3 more
- Vol. 11523, pp 29-41
TLDR
It is shown 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.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.read more
Citations
More filters
Journal ArticleDOI
Agent-based Internet of Things: State-of-the-art and research challenges
Claudio Savaglio,Maria Ganzha,Marcin Paprzycki,Costin Badica,Mirjana Ivanović,Giancarlo Fortino +5 more
TL;DR: This survey, an extension of the previous work, reports most relevant contemporary contributions in the field, aiming at assessing suitability of the ABC paradigm for the (current and future) IoT development.
Journal ArticleDOI
Fifty Years of Prolog and Beyond
Philipp Korner,Michael Leuschel,João Luís Alves Barbosa,Vítor Santos Costa,Veronica Dahl,Manuel V. Hermenegildo,José F. Morales,Jan Wielemaker,Daniela Díaz,Sergio Abreu,Giovanni Ciatto +10 more
TL;DR: A SWOT analysis is performed in order to better identify the potential of Prolog and propose future directions along with which Prolog might continue to add useful features, interfaces, libraries, and tools, while at the same time improving compatibility between implementations.
Journal ArticleDOI
Blockchain-based coordination: Assessing the expressive power of smart contracts
TL;DR: This paper test mainstream SC implementations by evaluating their expressive power in coordinating both inter-users and inter-SC activities, and exploits the archetypal Linda coordination model as a benchmark to do so.
Journal ArticleDOI
From Agents to Blockchain: Stairway to Integration
TL;DR: This paper proposes a roadmap for integrating agents and blockchain, and discusses the case of Tenderfone, a custom blockchain integrating concepts borrowed from agent-oriented programming.
References
More filters
Journal ArticleDOI
Plans and situated actions: the problem of human-machine communication
TL;DR: This paper presents a meta-modelling architecture for human-machine communication that automates the very labor-intensive and therefore time-heavy and therefore expensive and expensive process of designing and implementing communication systems.
Proceedings ArticleDOI
Hyperledger fabric: a distributed operating system for permissioned blockchains
Elli Androulaki,Artem Barger,Vita Bortnikov,Christian Cachin,Konstantinos Christidis,Angelo De Caro,David Michael Enyeart,Christopher Ferris,Gennady Laventman,Yacov Manevich,Srinivasan Muralidharan,Chet Murthy,Binh Nguyen,Manish Sethi,Gari Singh,Keith Smith,Alessandro Sorniotti,Chrysoula Stathakopoulou,Marko Vukolic,Sharon Weed Cocco,Jason Yellick +20 more
TL;DR: This paper describes Fabric, its architecture, the rationale behind various design decisions, its most prominent implementation aspects, as well as its distributed application programming model, and shows that Fabric achieves end-to-end throughput of more than 3500 transactions per second in certain popular deployment configurations.
Ethereum: A Secure Decentralised Generalised Transaction Ledger
TL;DR: Ethereum as mentioned in this paper is a transactional singleton machine with shared state, which can be seen as a simple application on a decentralised, but singleton, compute resource, and it provides a plurality of resources, each with a distinct state and operating code but able to interact through a message-passing framework with others.
Journal ArticleDOI
Implementing fault-tolerant services using the state machine approach: a tutorial
TL;DR: The state machine approach is a general method for implementing fault-tolerant services in distributed systems and protocols for two different failure models—Byzantine and fail stop are described.
Journal ArticleDOI
Formalizing and Securing Relationships on Public Networks
TL;DR: Protocols with application in important contracting areas, including credit, content rights management, payment systems, and contracts with bearer are discussed.