Languages for Smart and Computable Contracts
- URL: http://arxiv.org/abs/2104.03764v1
- Date: Thu, 8 Apr 2021 13:32:17 GMT
- Title: Languages for Smart and Computable Contracts
- Authors: Christopher D. Clack
- Abstract summary: Smart Contracts use computer technology to automate the performance of aspects of commercial agreements.
How can there be confidence that the computer code is faithful to the intentions of the parties?
Here we provide a perspective on some of the key issues, explore some current research directions, and explain the importance of language design in the development of reliable Smart Contracts.
- Score: 0.0
- License: http://creativecommons.org/licenses/by-nc-nd/4.0/
- Abstract: Smart Contracts use computer technology to automate the performance of
aspects of commercial agreements. Yet how can there be confidence that the
computer code is faithful to the intentions of the parties? To understand the
depth and subtlety of this question requires an exploration of natural and
computer languages, of the semantics of expressions in those languages, and of
the gap that exists between the disciplines of law and computer science. Here
we provide a perspective on some of the key issues, explore some current
research directions, and explain the importance of language design in the
development of reliable Smart Contracts, including the specific methodology of
Computable Contracts.
Related papers
- Un marco conceptual para la generación de requerimientos de software de calidad [0.0]
Large language models (LLMs) have emerged to enhance natural language processing tasks.
This work aims to use these models to improve the quality of software requirements written in natural language.
arXiv Detail & Related papers (2025-04-14T19:12:18Z) - Logical foundations of Smart Contracts [0.0]
This thesis proposes logical foundations to smart contracts using the Situation Calculus, a logic for reasoning about actions.
Smart contracts are going to be implement with Golog, a Situation Calculus-based programming language.
arXiv Detail & Related papers (2025-02-13T11:53:10Z) - Towards the Ultimate Programming Language: Trust and Benevolence in the Age of Artificial Intelligence [0.0]
Article explores the evolving role of programming languages in the context of artificial intelligence.
It highlights the need for programming languages to ensure human understanding while eliminating unnecessary implementation details.
It suggests future programs should be designed to recognize and actively support user interests.
arXiv Detail & Related papers (2024-11-29T19:02:25Z) - Smart Contract Languages: a comparative analysis [1.4066752230258734]
We examine the smart contract languages used in major blockchain platforms.
Our main focus remains on language-specific features such as usability, programming style, safety and security.
arXiv Detail & Related papers (2024-04-05T14:25:23Z) - SmartML: Towards a Modeling Language for Smart Contracts [0.3277163122167434]
This paper proposes SmartML, a modeling language for smart contracts that is platform independent and easy to comprehend.
We detail its formal semantics and type system with a focus on its role in addressing security vulnerabilities.
arXiv Detail & Related papers (2024-03-11T11:27:53Z) - Igniting Language Intelligence: The Hitchhiker's Guide From
Chain-of-Thought Reasoning to Language Agents [80.5213198675411]
Large language models (LLMs) have dramatically enhanced the field of language intelligence.
LLMs leverage the intriguing chain-of-thought (CoT) reasoning techniques, obliging them to formulate intermediate steps en route to deriving an answer.
Recent research endeavors have extended CoT reasoning methodologies to nurture the development of autonomous language agents.
arXiv Detail & Related papers (2023-11-20T14:30:55Z) - Construction contract risk identification based on knowledge-augmented
language model [1.870031206586792]
This paper presents a novel approach that leverages large language models with construction contract knowledge to emulate the process of contract review by human experts.
The use of a natural language when building the domain knowledge base facilitates practical implementation.
arXiv Detail & Related papers (2023-09-22T05:27:06Z) - ChatDev: Communicative Agents for Software Development [84.90400377131962]
ChatDev is a chat-powered software development framework in which specialized agents are guided in what to communicate.
These agents actively contribute to the design, coding, and testing phases through unified language-based communication.
arXiv Detail & Related papers (2023-07-16T02:11:34Z) - Language Cognition and Language Computation -- Human and Machine
Language Understanding [51.56546543716759]
Language understanding is a key scientific issue in the fields of cognitive and computer science.
Can a combination of the disciplines offer new insights for building intelligent language models?
arXiv Detail & Related papers (2023-01-12T02:37:00Z) - Knowledge Engineering in the Long Game of Artificial Intelligence: The
Case of Speech Acts [0.6445605125467572]
This paper describes principles and practices of knowledge engineering that enable the development of holistic language-endowed intelligent agents.
We focus on dialog act modeling, a task that has been widely pursued in linguistics, cognitive modeling, and statistical natural language processing.
arXiv Detail & Related papers (2022-02-02T14:05:12Z) - Detecting Logical Relation In Contract Clauses [94.85352502638081]
We develop an approach to automate the extraction of logical relations between clauses in a contract.
The resulting approach should help contract authors detecting potential logical conflicts between clauses.
arXiv Detail & Related papers (2021-11-02T19:26:32Z) - Controlled Language and Baby Turing Test for General Conversational
Intelligence [0.0]
General conversational intelligence appears to be an important part of artificial general intelligence.
Baby Turing Test approach to extend the classic Turing Test for conversational intelligence.
We describe how the two can be used together to build a general-purpose conversational system.
arXiv Detail & Related papers (2020-05-19T08:27:26Z) - Semantics-Aware Inferential Network for Natural Language Understanding [79.70497178043368]
We propose a Semantics-Aware Inferential Network (SAIN) to meet such a motivation.
Taking explicit contextualized semantics as a complementary input, the inferential module of SAIN enables a series of reasoning steps over semantic clues.
Our model achieves significant improvement on 11 tasks including machine reading comprehension and natural language inference.
arXiv Detail & Related papers (2020-04-28T07:24:43Z) - Emergence of Pragmatics from Referential Game between Theory of Mind
Agents [64.25696237463397]
We propose an algorithm, using which agents can spontaneously learn the ability to "read between lines" without any explicit hand-designed rules.
We integrate the theory of mind (ToM) in a cooperative multi-agent pedagogical situation and propose an adaptive reinforcement learning (RL) algorithm to develop a communication protocol.
arXiv Detail & Related papers (2020-01-21T19:37:33Z)
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.