УГОВОР КАО АЛГОРИТАМ: УВОДНА РАЗМАТРАЊА

  • Predrag Cvetković Redovni profesor Pravnog fakulteta u Nišu
Ključne reči: уговор, алгоритам, паметни уговори, псеудокод, формална логика

Sažetak


Рад се бави могућношћу претварања уговора у форми текста у алгоритамски облик. „Алгоритмизација уговора“ требало би да омогући конверзију уговорних одредби у алгоритам у циљу њиховог коришћења код тзв „дигитално унапређених уговора“ попут паметних уговора (е. Smart contracts), а да се при томе обезбеди правна валидност и ефикасност уговорних одредби. Алгоритам је план решавања одређеног проблема кроз предузимање појединачних корака. У правном контексту, алгоритам је посебан начин управљања понашањем уговорних страна. Описано управљање спроводи се одабиром информација о понашању страна, те контролом и усмеравањем спровођења уговора у складу са тим понашањем. Увођење алгоритма као форме дефинисања уговорних одредби утиче на формат и суштину уговорног права. Алгоритам уговора може бити у облику псеудокода, симболима формалне логике и дијаграма тока. Разумевању алгоритмизације уговора у облику псеудокода од помоћи су механизми и правила формалне логике. Ова правила омогућавају систематско „уситњавање“ правног текста кроз логичку матрицу, чиме се олакшава процес алгоритмизације кроз кораке. Развој принципа за алгоритмирање уговора процес је који траје. Кључна питања која траже одговор су, између осталог, основ и садржина нормативности уговора у форми кода и њихова подобност да буду квалификовани као правно ваљани формат.

Reference

Allen, L. E. (1956). Symbolic logic: A razor-edged tool for drafting and interpreting legal documents. Yale LJ, 66, 833.

Ashley, K. D. (2017). Artificial intelligence and legal analytics: new tools for law practice in the digital age. Cambridge University Press.

Barraclough, T., Fraser, H., & Barnes, C. (2021). LEGISLATION AS CODE FOR NEW ZEALAND.

Brookshear, J. G. (2012). Computer science: an overview. Boston: Addison-Wesley.

CHRISTODOULOU, M., SZCZYGIEŁ, E., KŁAPA, Ł., & KOLARZ, W. (2018). Algorithmic and Programming.

Cvetković, P. (2021). СИНТЕЗА ПРАВНОГ ТЕКСТА И ПРОГРАМСКОГ КОДА: СЛУЧАЈ РИКАРДИЈАНСКОГ УГОВОРА. Зборник радова Правног факултета у Нишу, (90), 61-76.

Cvetković, P. (2020). Блокчејн као правни феномен: уводна разматрања. Зборник радова Правног факултета у Нишу, (87), 127-144.

Diver, L. E. (2019). Digisprudence: the affordance of legitimacy in code-as-law. University of Edinburgh, doctoral thesis.

Flood, M. D., & Goodenough, O. R. (2017). Contract as automaton: the computational representation of financial agreements. Office of Financial Research Working Paper, (15-04). Приступљено: 10. 09. 2021. https://ccl.yale.edu/sites/default/files/files/OFRwp-2015-04_Contract-as-Automaton-The-Computational-Representation-of-Financial-Agreements.pdf

Goldoni, M. (2015). The politics of code as law: towards input reasons. In: Reichel, J. and Lind, A.S. (eds.) Freedom of Expression, the Internet and Democracy. Brill: Leiden, pp. 115-133

Jovanović, N. (2005). Uvod u programiranje. Viša poslovna školam str. 51-91.

Kaulartz, M (2019). Smart Contract Dispute Resolution in Fries, Martin, and Boris P. Paal. Smart contracts. Mohr Siebeck,

Кoch, K. L. (2005). A Multidisciplinary Comparison of Rules-Driven Writing: Similarities in Legal Writing, Biology Research Articles, and Computer Programming. Journal of Legal Education, 55(1/2), 234-251.

Kuhn, T. (2014). A survey and classification of controlled natural languages. Computational linguistics, 40(1), 121-170.

Lauslahti, K., Mattila, J., & Seppala, T. (2017). Smart contracts–How will blockchain technology affect contractual practices?. Etla Reports, (68).

Lawrence Lessig, Code: Version 2.0 (Basic Books 2006)

Lipshaw, J. M. (2018). The Persistence of “Dumb” Contracts. Приступљено 10. 07. 2020. https://www.researchgate.net/profile/Jeffrey_Lipshaw/publication/326475422_The_Persistence_of_'Dumb'_Contracts/links/5c3b4db7a6fdccd6b5a9e41f/The-Persistence-of-Dumb-Contracts.pdf

Sergot, M. J., Sadri, F., Kowalski, R. A., Kriwaczek, F., Hammond, P., & Cory, H. T. (1986).

Surden, H. (2012). Computable contracts. UCDL Rev., 46, 629.

Susskind, R. E. (1986). Expert systems in law: A jurisprudential approach to artificial intelligence and legal reasoning. The modern law review, 49(2), 168-194.

The British Nationality Act as a logic program. Communications of the ACM, 29(5), 370-386. Приступљено: 20. 09. 2021. http://www.doc.ic.ac.uk/~rak/papers/British%20Nationality%20Act.pdf

Van Emden, M. H., & Kowalski, R. A. (1976). The semantics of predicate logic as a programming language. Journal of the ACM (JACM), 23(4), 733-742.

Von Haller Grønbæk, М. (2016). Blockchain 2.0, Smart Contracts And Challenges. Приступљено 02. 03. 2020. https://www.twobirds.com/~/media/pdfs/in-focus/fintech/blockchain2_0_martinvonhallergroenbaek_08_06_16.pdf

Werbach, K., & Cornell, N. (2017). Contracts ex machina. Duke LJ, 67, 313.
Objavljeno
2022/01/26
Rubrika
Originalni naučni članak