A Transaction Represented with Weighted Finite-State Transducers

02/01/2023
by   J. Nathaniel Holmes, et al.
0

Not all contracts are good, but all good contracts can be expressed as a finite-state transition system ("State-Transition Contracts"). Contracts that can be represented as State-Transition Contracts discretize fat-tailed risk to foreseeable, managed risk, define the boundary of relevant events governed by the relationship, and eliminate the potential of inconsistent contractual provisions. Additionally, State-Transition Contracts reap the substantial benefit of being able to be analyzed under the rules governing the science of the theory of computation. Simple State-Transition Contracts can be represented as discrete finite automata; more complicated State-Transition Contracts, such as those that have downstream effects on other agreements or complicated pathways of performance, benefit from representation as weighted finite-state transducers, with weights assigned as costs, penalties, or probabilities of transitions. This research paper (the "Research" or "Paper") presents a complex legal transaction represented as weighted finite-state transducers. Furthermore, we show that the mathematics/algorithms permitted by the algebraic structure of weighted finite-state transducers provides actionable, legal insight into the transaction.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/21/2021

Pacta sunt servanda: legal contracts in Stipula

There is a growing interest in running legal contracts on digital system...
research
08/27/2023

An Analysis of On-the-fly Determinization of Finite-state Automata

In this paper we establish an abstraction of on-the-fly determinization ...
research
09/06/2022

From Legal Contracts to Legal Calculi: the code-driven normativity

Using dedicated software to represent or enact legislation or regulation...
research
04/01/2019

Smart Derivatives Contracts: the ISDA Master Agreement and the automation of payments and deliveries

High-value derivatives contracts require substantial legal protection an...
research
05/04/2020

Formal Verification of Solidity contracts in Event-B

Smart contracts are the artifact of the blockchain that provide immutabl...
research
08/04/2021

Practices of public procurement and the risk of corrupt behavior before and after the government transition in México

Corruption has a huge impact on economic growth, democracy, inequality, ...
research
01/25/2022

Scalable Typestate Analysis for Low-Latency Environments

Static analyses based on typestates are important in certifying correctn...

Please sign up or login with your details

Forgot password? Click here to reset