Ontological Smart Contracts in OASIS: Ontology for Agents, Systems, and Integration of Services (Extended Version)

• URL: http://arxiv.org/abs/2012.01410v4
• Date: Tue, 20 Feb 2024 21:37:17 GMT
• Title: Ontological Smart Contracts in OASIS: Ontology for Agents, Systems, and Integration of Services (Extended Version)
• Authors: Domenico Cantone, Carmelo Fabio Longo, Marianna Nicolosi-Asmundo, Daniele Francesco Santamaria, Corrado Santoro
• Abstract summary: We extend an Ontology for modelling agents and their interactions, called Ontology for Agents, Systems, and Integration of Services (in short, Oasis), with conditionals and ontological smart contracts (in short, OSCs) OSCs are ontological representations of smart contracts that allow to establish responsibilities and authorizations among agents and set agreements, whereas conditionals allow one to restrict and limit agent interactions, define activation mechanisms that trigger agent actions, and define constraints and contract terms on OSCs.
• Score: 0.7999703756441756
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: In this contribution we extend an ontology for modelling agents and their interactions, called Ontology for Agents, Systems, and Integration of Services (in short, OASIS), with conditionals and ontological smart contracts (in short, OSCs). OSCs are ontological representations of smart contracts that allow to establish responsibilities and authorizations among agents and set agreements, whereas conditionals allow one to restrict and limit agent interactions, define activation mechanisms that trigger agent actions, and define constraints and contract terms on OSCs. Conditionals and OSCs, as defined in OASIS, are applied to extend with ontological capabilities digital public ledgers such as the blockchain and smart contracts implemented on it. We will also sketch the architecture of a framework based on the OASIS definition of OSCs that exploits the Ethereum platform and the Interplanetary File System.

Related papers

• Asynchronous Tool Usage for Real-Time Agents [61.3041983544042]
  We introduce asynchronous AI agents capable of parallel processing and real-time tool-use. Our key contribution is an event-driven finite-state machine architecture for agent execution and prompting. This work presents both a conceptual framework and practical tools for creating AI agents capable of fluid, multitasking interactions.
  arXiv  Detail & Related papers  (2024-10-28T23:57:19Z)
• Agent-as-a-Judge: Evaluate Agents with Agents [61.33974108405561]
  We introduce the Agent-as-a-Judge framework, wherein agentic systems are used to evaluate agentic systems. This is an organic extension of the LLM-as-a-Judge framework, incorporating agentic features that enable intermediate feedback for the entire task-solving process. We present DevAI, a new benchmark of 55 realistic automated AI development tasks.
  arXiv  Detail & Related papers  (2024-10-14T17:57:02Z)
• The Feasibility of a Smart Contract "Kill Switch" [0.9696996416317306]
  We examine the existing mechanisms for smart contract termination across several major blockchain platforms. We assess the compatibility of these mechanisms with the requirements of the EU Data Act. We discuss the challenges associated with implementing the so-called smart contract "kill switches"
  arXiv  Detail & Related papers  (2024-07-14T19:31:15Z)
• Internet of Agents: Weaving a Web of Heterogeneous Agents for Collaborative Intelligence [79.5316642687565]
  Existing multi-agent frameworks often struggle with integrating diverse capable third-party agents. We propose the Internet of Agents (IoA), a novel framework that addresses these limitations. IoA introduces an agent integration protocol, an instant-messaging-like architecture design, and dynamic mechanisms for agent teaming and conversation flow control.
  arXiv  Detail & Related papers  (2024-07-09T17:33:24Z)
• The Ontology for Agents, Systems and Integration of Services: OASIS version 2 [0.3999851878220878]
  This paper reports on the main modeling choices concerning the representation of agents in OASIS 2. It focuses on the behaviouristic approach to deliver a semantic representation system and a communication protocol for agents and their commitments.
  arXiv  Detail & Related papers  (2023-06-14T14:34:41Z)
• The Internet of Senses: Building on Semantic Communications and Edge Intelligence [67.75406096878321]
  The Internet of Senses (IoS) holds the promise of flawless telepresence-style communication for all human receptors' We elaborate on how the emerging semantic communications and Artificial Intelligence (AI)/Machine Learning (ML) paradigms may satisfy the requirements of IoS use cases.
  arXiv  Detail & Related papers  (2022-12-21T03:37:38Z)
• Modelling Business Agreements in the Multimodal Transportation Domain through Ontological Smart Contracts [0.5735035463793007]
  The Ride2Rail project investigated the use of the blockchain to record as smart contracts the agreements between different stakeholders. The paper describes the development of the Ride2Rail Ontology for Agreements to showcase how the concept of an ontological smart contract can be applied to a specific domain.
  arXiv  Detail & Related papers  (2022-09-05T09:58:42Z)
• A Compositional Approach to Verifying Modular Robotic Systems [1.385411134620987]
  This paper describes a compositional approach to specifying the nodes in robotic systems built using the Robotic Operating System (ROS) We introduce inference rules that facilitate the composition of these node-level contracts to derive system-level properties. We also present a novel Domain-Specific Language, the ROS Contract Language, which captures a node's FOL specification and links this contract to its implementation.
  arXiv  Detail & Related papers  (2022-08-10T18:01:40Z)
• Will bots take over the supply chain? Revisiting Agent-based supply chain automation [71.77396882936951]
  Agent-based supply chains have been proposed since early 2000; industrial uptake has been lagging. We find that agent-based technology has matured, and other supporting technologies that are penetrating supply chains are filling in gaps. For example, the ubiquity of IoT technology helps agents "sense" the state of affairs in a supply chain and opens up new possibilities for automation.
  arXiv  Detail & Related papers  (2021-09-03T18:44:26Z)
• Towards an Interface Description Template for AI-enabled Systems [77.34726150561087]
  Reuse is a common system architecture approach that seeks to instantiate a system architecture with existing components. There is currently no framework that guides the selection of necessary information to assess their portability to operate in a system different than the one for which the component was originally purposed. We present ongoing work on establishing an interface description template that captures the main information of an AI-enabled component.
  arXiv  Detail & Related papers  (2020-07-13T20:30:26Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.