IDEAS home Printed from https://ideas.repec.org/p/ofr/wpaper/15-04.html

Contract as Automaton: The Computational Representation of Financial Agreements

Author

Listed:
  • Mark D. Flood

    (Office of Financial Research)

  • Oliver R. Goodenough

    (Office of Financial Research)

Abstract

We show that the fundamental legal structure of a well-written financial contract follows a state-transition logic that can be formalized mathematically as a finite-state machine (also known as a finite-state automaton). The automaton defines the states that a financial relationship can be in, such as "default," "delinquency," "performing," etc., and it defines an "alphabet" of events that can trigger state transitions, such as "payment arrives," "due date passes," etc. The core of a contract describes the rules by which different sequences of event arrivals trigger particular sequences of state transitions in the relationship between the counterparties. By conceptualizing and representing the legal structure of a contract in this way, we expose it to a range of powerful tools and results from the theory of computation. These allow, for example, automated reasoning to determine whether a contract is internally coherent and whether it is complete relative to a particular event alphabet. We illustrate the process by representing a simple loan agreement as an automaton.

Suggested Citation

  • Mark D. Flood & Oliver R. Goodenough, 2015. "Contract as Automaton: The Computational Representation of Financial Agreements," Working Papers 15-04, Office of Financial Research, US Department of the Treasury, revised 27 Mar 2017.
  • Handle: RePEc:ofr:wpaper:15-04
    as

    Download full text from publisher

    File URL: https://www.financialresearch.gov/working-papers/files/OFRwp-2015-04_Contract-as-Automaton-The-Computational-Representation-of-Financial-Agreements.pdf
    Download Restriction: no
    ---><---

    References listed on IDEAS

    as
    1. W. Bentley MacLeod, 2007. "Reputations, Relationships, and Contract Enforcement," Journal of Economic Literature, American Economic Association, vol. 45(3), pages 595-628, September.
    2. Crawford, Sue E. S. & Ostrom, Elinor, 1995. "A Grammar of Institutions," American Political Science Review, Cambridge University Press, vol. 89(3), pages 582-600, September.
    3. ., 2007. "Introduction and overview," Chapters, in: International Economic Law and the Digital Divide, chapter 1, Edward Elgar Publishing.
    4. Binmore, Kenneth G. & Samuelson, Larry, 1992. "Evolutionary stability in repeated games played by finite automata," Journal of Economic Theory, Elsevier, vol. 57(2), pages 278-305, August.
    5. Abreu, Dilip & Rubinstein, Ariel, 1988. "The Structure of Nash Equilibrium in Repeated Games with Finite Automata," Econometrica, Econometric Society, vol. 56(6), pages 1259-1281, November.
    6. Lawrence R. Cordell & Yilin Huang & Meredith Williams, 2011. "Collateral damage: Sizing and assessing the subprime CDO crisis," Working Papers 11-30, Federal Reserve Bank of Philadelphia.
    7. Robin Greenwood & David Scharfstein, 2013. "The Growth of Finance," Journal of Economic Perspectives, American Economic Association, vol. 27(2), pages 3-28, Spring.
    8. Drew Fudenberg & Jean Tirole, 1991. "Game Theory," MIT Press Books, The MIT Press, edition 1, volume 1, number 0262061414, December.
    9. repec:ack:journl:y::id:160 is not listed on IDEAS
    10. Editorial Article, 0. "Contents," Economics of Contemporary Russia, Regional Public Organization for Assistance to the Development of Institutions of the Department of Economics of the Russian Academy of Sciences, issue 2.
    11. Mailath, George J. & Samuelson, Larry, 2006. "Repeated Games and Reputations: Long-Run Relationships," OUP Catalogue, Oxford University Press, number 9780195300796.
    12. repec:ack:journl:y::id:49 is not listed on IDEAS
    Full references (including those not matched with items on IDEAS)

    Citations

    Citations are extracted by the CitEc Project, subscribe to its RSS feed for this item.
    as


    Cited by:

    1. Vinay K Chaudhri, 2022. "Computable Contracts in the Financial Services Industry," Papers 2208.04685, arXiv.org.

    Most related items

    These are the items that most often cite the same works as this one and are cited by the same works as this one.
    1. Ueda, Masahiko, 2023. "Memory-two strategies forming symmetric mutual reinforcement learning equilibrium in repeated prisoners’ dilemma game," Applied Mathematics and Computation, Elsevier, vol. 444(C).
    2. Pedro Dal BÛ & Enrique R. Pujals, 2013. "The Evolutionary Robustness of Forgiveness and Cooperation," Working Papers 2013-5, Brown University, Department of Economics.
    3. Luhan, Wolfgang J. & Poulsen, Anders U. & Roos, Michael W.M., 2017. "Real-time tacit bargaining, payoff focality, and coordination complexity: Experimental evidence," Games and Economic Behavior, Elsevier, vol. 102(C), pages 687-699.
    4. , & ,, 2015. "A folk theorem for stochastic games with infrequent state changes," Theoretical Economics, Econometric Society, vol. 10(1), January.
    5. Jehiel, Philippe, 1998. "Learning to Play Limited Forecast Equilibria," Games and Economic Behavior, Elsevier, vol. 22(2), pages 274-298, February.
    6. van Damme, E.E.C., 1995. "Game theory : The next stage," Other publications TiSEM 7779b0f9-bef5-45c7-ae6b-7, Tilburg University, School of Economics and Management.
    7. Salomon, Antoine & Forges, Françoise, 2015. "Bayesian repeated games and reputation," Journal of Economic Theory, Elsevier, vol. 159(PA), pages 70-104.
    8. Mahmoud Elamin, 2015. "Can Reputation Ensure Efficiency in the Structured Finance Market? Majority Voting: A Quantitative Investigation," Working Papers (Old Series) 1441, Federal Reserve Bank of Cleveland.
    9. Drew Fudenberg & David Levine, 2008. "Corrigendum to "Continuous time limits of repeated games with imperfect public monitoring"," Review of Economic Dynamics, Elsevier for the Society for Economic Dynamics, vol. 11(1), pages 237-237, January.
    10. James M. Malcomson, 2012. "Relational Incentive Contracts [The Handbook of Organizational Economics]," Introductory Chapters,, Princeton University Press.
    11. Jörg Rieskamp & Peter Todd, 2006. "The Evolution of Cooperative Strategies for Asymmetric Social Interactions," Theory and Decision, Springer, vol. 60(1), pages 69-111, February.
    12. Guttman, Joel M., 2013. "On the evolution of conditional cooperation," European Journal of Political Economy, Elsevier, vol. 30(C), pages 15-34.
    13. Engle-Warnick, Jim & Slonim, Robert L., 2004. "The evolution of strategies in a repeated trust game," Journal of Economic Behavior & Organization, Elsevier, vol. 55(4), pages 553-573, December.
    14. Jens Prüfer, 2016. "Business Associations and Private Ordering," The Journal of Law, Economics, and Organization, Oxford University Press, vol. 32(2), pages 306-358.
    15. Anderlini, Luca & Sabourian, Hamid, 2001. "Cooperation and computability in n-player games," Mathematical Social Sciences, Elsevier, vol. 42(2), pages 99-137, September.
    16. Artem Baklanov, 2021. "Reactive Strategies: An Inch of Memory, a Mile of Equilibria," Games, MDPI, vol. 12(2), pages 1-28, May.
    17. Theodore Andronikos & Alla Sirokofskich & Kalliopi Kastampolidou & Magdalini Varvouzou & Konstantinos Giannakis & Alexander Singh, 2018. "Finite Automata Capturing Winning Sequences for All Possible Variants of the PQ Penny Flip Game," Mathematics, MDPI, vol. 6(2), pages 1-26, February.
    18. Binmore, Ken & Piccione, Michele & Samuelson, Larry, 1998. "Evolutionary Stability in Alternating-Offers Bargaining Games," Journal of Economic Theory, Elsevier, vol. 80(2), pages 257-291, June.
    19. Lippert, Steffen & Spagnolo, Giancarlo, 2011. "Networks of relations and Word-of-Mouth Communication," Games and Economic Behavior, Elsevier, vol. 72(1), pages 202-217, May.
    20. Samuelson, Larry, 1996. "Bounded rationality and game theory," The Quarterly Review of Economics and Finance, Elsevier, vol. 36(Supplemen), pages 17-35.

    More about this item

    Keywords

    ;
    ;

    NEP fields

    This paper has been announced in the following NEP Reports:

    Statistics

    Access and download statistics

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:ofr:wpaper:15-04. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    If CitEc recognized a bibliographic reference but did not link an item in RePEc to it, you can help with this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Corey Garriott (email available below). General contact details of provider: https://edirc.repec.org/data/ofrgvus.html .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.