CN112184432A - Intelligent contract development method based on legal language - Google Patents
Intelligent contract development method based on legal language Download PDFInfo
- Publication number
- CN112184432A CN112184432A CN202010181742.4A CN202010181742A CN112184432A CN 112184432 A CN112184432 A CN 112184432A CN 202010181742 A CN202010181742 A CN 202010181742A CN 112184432 A CN112184432 A CN 112184432A
- Authority
- CN
- China
- Prior art keywords
- language
- contract
- intelligent contract
- legal
- contracts
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
- G06Q40/00—Finance; Insurance; Tax strategies; Processing of corporate or income taxes
- G06Q40/04—Trading; Exchange, e.g. stocks, commodities, derivatives or currency exchange
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F40/00—Handling natural language data
- G06F40/40—Processing or translation of natural language
- G06F40/58—Use of machine translation, e.g. for multi-lingual retrieval, for server-side translation for client devices or for real-time translation
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/40—Transformation of program code
- G06F8/41—Compilation
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
- G06Q50/00—Systems or methods specially adapted for specific business sectors, e.g. utilities or tourism
- G06Q50/10—Services
- G06Q50/18—Legal services; Handling legal documents
Abstract
The invention provides an intelligent contract development method based on legal language. The development method comprises three languages: traditional legal language, intelligent contract legal language, computer language. The intelligent contract legal language comprises a series of normative languages for preserving characters and relations, and has the following characteristics: (1) using a natural language; (2) only comprises a plurality of simple route structures; (3) the semantics are simple; (4) the reserved characters are few; (5) supporting automatic conversion into a code structure; (6) can be expanded; (7) the translation may be into code in multiple languages. The contract writer writes the contract according to the intelligent contract legal language according to the traditional natural language contract, and the intelligent contract legal language contract is automatically converted into the computer language contract through a certain algorithm. The intelligent contract library is composed of a plurality of sets of intelligent contracts, and each set of intelligent contracts comprises contracts written by traditional natural language legal languages, contracts written by intelligent contract legal languages and contracts written by computer languages.
Description
Technical Field
The invention belongs to the technical field of laws and intelligent block chain contracts, and particularly relates to a related technology for automatically processing a legal contract by using an intelligent contract.
Background
Most legal contracts are written based on industry standard templates and are properly adjusted according to actual requirements. The contract drafter does not draft a new contract from scratch for each transaction, but rather adds specific terms to the industry template or sets up a customized set of agreements as the basis template for such business activities.
Most legal documents today are paper or PDF electronic versions of documents, stored in file cabinets or computer hard disks, respectively. The paper edition contract needs each party to sign with a signature to be effective; the electronic edition contract has the same characteristics as the paper edition contract, and the only difference is that the electronic edition can be validated only by the electronic signature.
Traditional legal contracts require that two or more parties to the contract alternate in order to complete execution. One party to a contract needs to wait for another party or parties to do work and trust that other parties can be done on time and can verify their operation. However, in the actual operation process, the contract participants use illegal means for fraud in order to obtain benefits.
With the continuous development of the block chain technology, the application fields of the block chain and the intelligent contract are continuously expanding. Smart contracts have high certainty, high reliability and tamper resistance. The contracts agreed by multiple parties can be changed into computer codes, are stored on the block chain through intelligent contracts and can be triggered to execute. The intelligent contract is used for processing the traditional legal contract, so that misinterpretation and dispute which are easy to generate are reduced, and reliable data guarantee can be provided.
The intelligent contract is applied in the law and needs to solve a plurality of problems. How to convert the traditional French language into code that can be identified and run by a computer is a key issue.
Disclosure of Invention
The invention provides an intelligent contract development method based on legal language, which is called a unicorn model, so that a contract written by the traditional legal language (hereinafter, referred to as French for short) can produce an intelligent contract code which can be identified by a computer by the intelligent contract French method provided by the invention.
The intelligent contract development method based on legal language provided by the invention comprises three languages: traditional natural language french, intelligent contract french, computer language.
Further, in order to realize the conversion from the traditional French language to the computer language through the intelligent contract French language, firstly, the intelligent contract French language is defined, which comprises a series of reserved words and relations and is used for marking the common contract architecture and template expression.
The following examples of reserved words (for reference only, including both English and Chinese expressions) are provided:
further, relationships may be described in the French language of the smart contract, including, but not limited to, temporal relationships (pre-occurrence, post-occurrence, contemporaneous occurrence, post-conclusion opening, point of event, etc.), logical relationships (and, OR, NO, true, false, etc.). The user may define other relationships with "relationships" such as father and son, couple, teacher/student, manager/employee, organization/employee, student/course, student/school, family, etc., but these relationships are not reserved words and the user may define themselves.
Further, the intelligent contractual law language in the invention has the following characteristics:
(1) using natural language: the intelligent contract French is easy to understand and write;
(2) only a few simple route structures are involved: fewer route structures are easier to learn and implement, such as "if-then-execute-else" routes;
(3) the semantics are simple: the translator is easy to develop and analyze, and the model is easy to understand;
(4) the reserved characters are few: the fewer characters are kept, the lower the learning cost is, and the easier the conversion algorithm is developed;
(5) support for automatic translation into code structures: the structure can be automatically converted into a computer language, and the corresponding code can be simply developed by using the structure.
(6) Can expand: using this, new relationships can be defined with relationships;
(7) code that can be translated into multiple languages: for example, the method can be converted into Java or Solidity.
Furthermore, after a writer for writing the intelligent contract learns the intelligent contract french language, the writer writes the traditional natural language contract through the intelligent contract french language, and the written contract document based on the intelligent contract french language needs to be stored in the block chain.
Further, the intelligent contract french is a normative language, and a contract completed by using the intelligent contract french is a formal model (formal model). This model can perform a number of automated or semi-automated formal analyses (formal analysis), including logistic analysis (logic analysis), knowledge-graph (knowledge map), automatic classification (automatic classification), similarity analysis (similarity analysis), simulation (simulation), path analysis (path analysis), combinatorial analysis (combinatorial analysis), integrity analysis (complete analysis), consistency analysis (consistency analysis), event tree analysis (event tree analysis), data flow analysis (flow analysis), dependency analysis (dependency analysis), and the like.
Further, these analyses can be understood and appreciated by legal experts, computer experts, and people with educational background. Since most of the above analysis can be done automatically, the analysis algorithm is complex, but the analysis result and meaning are easy to understand. For example, an intelligent contract, if found incomplete, may indicate which condition was not completed by using automated tools of complex integrity algorithms.
Furthermore, the situational model of the intelligent contract french contract can obtain a corresponding computer language model through a certain conversion algorithm, namely, the executable code. These codes may be subject to further analysis including, but not limited to, logical analysis (logic analysis), knowledge-graph (knowledge map), automatic classification (automatic classification), similarity analysis (similarity analysis), simulation (simulation), path analysis (path analysis), combinatorial analysis (combinatorial analysis), integrity analysis (integrity analysis), consistency analysis (consistency analysis), event tree analysis (event tree analysis) \ data flow analysis, dependency analysis (dependency analysis); the code may also perform test coverage analysis (test coverage analysis), security vulnerability analysis (security visibility analysis), and the like. The analysis of these computer codes requires the completion of a computer engineer. The converted computer language and the appointment document need to be stored in the block chain.
Further, since the intelligent contractual French model and the code model are in one-to-one correspondence in structure, the method and the tool for analyzing and verifying are also provided.
For example, in traditional legal languages there may be the following descriptions: "if event A occurs, it should be handled as event B". Corresponding to the intelligent contractual law language, "if … … then … …" corresponds to the reserved words "if" and "execute on" i.e. expressed as "if a, execute B". Corresponding to the Java language, the structure of If statement can be written as "If (a) { B }", where a and B are Java codes converted by a and B through certain algorithms.
In the above example, the contracts written in the intelligent contract french are converted to Java language contracts, and in other embodiments, may be converted to contracts in other computer languages.
The contracts written by the same intelligent contract French can be converted into contract codes of multiple computer languages, such as Java, Go and Rust which are high-level computer languages, or Serpent and Solidity which are block chain intelligent contract languages. This depends on how a converter or compiler is developed to convert the intelligent contractual french into a computer language, which can be converted into computer code in any language as long as the corresponding algorithm is developed.
Furthermore, the intelligent contract library of the invention is composed of a plurality of sets of intelligent contracts, and each set of intelligent contracts comprises contracts written by traditional natural language legal languages, contracts written by intelligent contract legal languages and contracts written by computer languages.
Preferably, in one embodiment, the intelligent contract french language is written in chinese, and the intelligent contract library may use a logo to assist in searching, which logo is also written in chinese, so that the user may use chinese to find the desired intelligent contract. Under the condition, the intelligent contract base helps legal experts, judges, lawyers and students to search for the required intelligent contracts.
Furthermore, each group of traditional natural language french contracts, intelligent contract french contracts and corresponding computer language contracts can be deployed as a micro-service of the intelligent contracts, the intelligent contracts can be independently operated in a standardized manner, and a plurality of groups of contracts can finally form a micro-service library of the intelligent contracts. The micro service library of the intelligent contract is easy to manage and call, and has expandability, high flexibility and the like. When the use requirement of the intelligent contract is met, the intelligent contract execution system acquires the needed intelligent contract micro-service from the micro-service library and compiles and runs the intelligent contract micro-service. The data source and the operational results of the contract require upchain vouchers.
Furthermore, a certain intelligent contract micro-service can be operated independently, and other intelligent contract micro-services can be called to operate. In a complex intelligent contract, a scene that a plurality of micro services are connected in series or in parallel by using directional links to complete mutual calling may exist.
The unicorn model provided by the invention can convert the traditional contract into an intelligent contract for operation. A contract drafter with traditional contract legal knowledge can compile an intelligent contract only by relying on legal professional knowledge and intelligent contract french without programming skills, and code generation and compilation are not required to be considered. The method reduces the writing threshold of the intelligent contract, is beneficial to transferring the traditional contract scene to the online and block chain, greatly reduces the labor cost and time cost, improves the automation level and the reliability, reduces the occurrence of disputes, and provides reliable evidence materials for the possible dispute judgment. After the traditional contracts with enough magnitude are converted into executable intelligent contracts by the method provided by the invention, a large-scale national-level intelligent contract micro-service library can be formed, various contracts can be supported to run, large data analysis can be carried out, and the method has positive significance for the development of technology and law.
Drawings
FIG. 1 is a flow chart of an intelligent contract development method based on legal language according to the present invention;
FIG. 2 is a schematic diagram of an intelligent contract library according to the present invention;
fig. 3 is a schematic diagram of calling between intelligent contract micro services according to the present invention.
Detailed description of the preferred embodiments
The invention is further described below using examples, without restricting the scope of the invention in any way.
The embodiment describes, by way of example only, how to convert the traditional contract into the executable intelligent contract code through the intelligent contract french language, so that the method may deviate from the actual rental scene, is not complete at the legal level, and omits partial contract conditions and contents.
The contract drafter wants to draft a rental contract to achieve the following contract contents:
"the rental delivery is completed in the month 1 day before each month. If the payment is not made for 5 overdue days, sending payment urging notice; if the payment is not made after 10 days, sending the payment urging notice again; if the fee is not paid for more than 15 days, the contract default of the renter is determined, the default book is sent, and the legal program is entered for processing. "
The contractor writes using intelligent contractual french as follows:
the contract drafter submits the intelligent contract French contract to a corresponding conversion system.
The conversion system uses the knowledge graph to analyze and compile the language to obtain the corresponding computer language intelligent contract code, as follows:
the traditional natural language french contract, the intelligent contract french contract and the computer language contract of the contract are stored in a chain, and meanwhile, the intelligent contract micro-service is constructed and compiled to run.
Preferably, in the above embodiment, the method provided by the present invention may be used for generating the first payment urging notification, the second payment urging notification, and the default book, and the new intelligent contract is written with reference to the steps of the embodiment, and the above embodiment may directly invoke these intelligent contract micro-services to complete the contract function.
While the present invention has been described with reference to the particular illustrative embodiments, it is not to be restricted by the embodiments but only by the appended claims. It will be understood by those skilled in the art that variations and modifications of the embodiments of the present invention can be made without departing from the scope and spirit of the invention.
Claims (10)
1. An intelligent contract development method based on legal language is characterized by comprising three languages: traditional legal language, intelligent contract legal language, computer language.
2. The development method according to claim 1, characterized in that: the traditional legal language and the intelligent contract legal language are both natural languages.
3. The apparatus of claim 1, wherein: the intelligent contract legal language comprises a series of reserved words and relations and is a normative language.
4. The development method according to claim 1, characterized in that: the intelligent contract legal language has the following characteristics:
(1) using a natural language;
(2) only comprises a plurality of simple route structures;
(3) the semantics are simple;
(4) the reserved characters are few;
(5) automatic translation into code structures is supported.
(6) Can be expanded;
(7) the translation may be into code in multiple languages.
5. The development method according to claim 1, characterized in that: the contract writer writes the contract according to the intelligent contract legal language according to the traditional natural language contract, and the intelligent contract legal language contract is automatically converted into the computer language contract through a certain algorithm.
6. The development method according to claim 5, characterized in that: intelligent contract legal language contracts are a formalized model that can be analyzed formally, either automatically or semi-automatically.
7. The development method according to claim 1, characterized in that: the intelligent contract library is composed of a plurality of sets of intelligent contracts, and each set of intelligent contracts comprises contracts written by traditional natural language legal languages, contracts written by intelligent contract legal languages and contracts written by computer languages.
8. The development method according to claim 1, characterized in that: each set of traditional natural language french contracts, intelligent contract french contracts, and corresponding computer language contracts may be deployed as a microservice for an intelligent contract, which may be independently benchmarked.
9. The development method according to claim 8, characterized in that: and a plurality of groups of intelligent contract micro-services form a micro-service library.
10. The development method according to claim 9, characterized in that: the intelligent contract micro-service in the micro-service library may have a scenario that a plurality of micro-services use directional links to be connected in series or in parallel to complete mutual invocation.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202010181742.4A CN112184432A (en) | 2020-03-16 | 2020-03-16 | Intelligent contract development method based on legal language |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202010181742.4A CN112184432A (en) | 2020-03-16 | 2020-03-16 | Intelligent contract development method based on legal language |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| CN112184432A true CN112184432A (en) | 2021-01-05 |
Family
ID=73919017
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN202010181742.4A Pending CN112184432A (en) | 2020-03-16 | 2020-03-16 | Intelligent contract development method based on legal language |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN112184432A (en) |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN113448592A (en) * | 2021-02-08 | 2021-09-28 | 北京科技大学 | Intelligent legal contract generation method based on contract text markup language |
Citations (11)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN105893042A (en) * | 2016-03-31 | 2016-08-24 | 北京航空航天大学 | Intelligent contract implementation method based on block chain |
| CN107783758A (en) * | 2016-08-25 | 2018-03-09 | 北京航空航天大学 | A kind of intelligent contract engineering method |
| CN108615194A (en) * | 2018-05-02 | 2018-10-02 | 王群力 | The method and readable medium of carbon emission reduction data assessment and transaction based on block |
| CN108989389A (en) * | 2018-06-11 | 2018-12-11 | 北京航空航天大学 | A method of establishing intelligent contract micro services |
| CN108985073A (en) * | 2018-07-18 | 2018-12-11 | 成都链安科技有限公司 | A kind of supermatic intelligent forms of contract chemical examination card system and method |
| CN109118332A (en) * | 2018-08-14 | 2019-01-01 | 深圳还是威健康科技有限公司 | A kind of method and relevant device of shared automobile personal credit management |
| CN109410058A (en) * | 2018-10-10 | 2019-03-01 | 百洲集团 | A kind of method and device quickly generating intelligent contract based on block chain |
| CN110097364A (en) * | 2019-04-30 | 2019-08-06 | 翟红鹰 | Block chain intelligence contract modularization generation method, system, terminal and storage medium |
| US20200034453A1 (en) * | 2018-07-29 | 2020-01-30 | International Business Machines Corporation | Smart contract input mapping |
| US20200034448A1 (en) * | 2018-07-29 | 2020-01-30 | International Business Machines Corporation | Composition operators for smart contract |
| CN110737899A (en) * | 2019-09-24 | 2020-01-31 | 暨南大学 | machine learning-based intelligent contract security vulnerability detection method |
-
2020
- 2020-03-16 CN CN202010181742.4A patent/CN112184432A/en active Pending
Patent Citations (11)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN105893042A (en) * | 2016-03-31 | 2016-08-24 | 北京航空航天大学 | Intelligent contract implementation method based on block chain |
| CN107783758A (en) * | 2016-08-25 | 2018-03-09 | 北京航空航天大学 | A kind of intelligent contract engineering method |
| CN108615194A (en) * | 2018-05-02 | 2018-10-02 | 王群力 | The method and readable medium of carbon emission reduction data assessment and transaction based on block |
| CN108989389A (en) * | 2018-06-11 | 2018-12-11 | 北京航空航天大学 | A method of establishing intelligent contract micro services |
| CN108985073A (en) * | 2018-07-18 | 2018-12-11 | 成都链安科技有限公司 | A kind of supermatic intelligent forms of contract chemical examination card system and method |
| US20200034453A1 (en) * | 2018-07-29 | 2020-01-30 | International Business Machines Corporation | Smart contract input mapping |
| US20200034448A1 (en) * | 2018-07-29 | 2020-01-30 | International Business Machines Corporation | Composition operators for smart contract |
| CN109118332A (en) * | 2018-08-14 | 2019-01-01 | 深圳还是威健康科技有限公司 | A kind of method and relevant device of shared automobile personal credit management |
| CN109410058A (en) * | 2018-10-10 | 2019-03-01 | 百洲集团 | A kind of method and device quickly generating intelligent contract based on block chain |
| CN110097364A (en) * | 2019-04-30 | 2019-08-06 | 翟红鹰 | Block chain intelligence contract modularization generation method, system, terminal and storage medium |
| CN110737899A (en) * | 2019-09-24 | 2020-01-31 | 暨南大学 | machine learning-based intelligent contract security vulnerability detection method |
Non-Patent Citations (3)
| Title |
|---|
| XIAO HE等: "SPESC: A Specification Language for Smart Contracts", 《2018 IEEE 42ND ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE(COMPSAC)》 * |
| 蔡维德等: "区块链技术在金融领域的应用解析", 《金融电子化》 * |
| 马骋原等: "面向智能合约的可编程自然语言设计", 《电子设计工程》 * |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN113448592A (en) * | 2021-02-08 | 2021-09-28 | 北京科技大学 | Intelligent legal contract generation method based on contract text markup language |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Tsui et al. | Essentials of software engineering | |
| Whitten et al. | Systems analysis & design methods | |
| US20210397416A1 (en) | Generating a Pseudo-Code from a Text Summarization Based on a Convolutional Neural Network | |
| Veizaga et al. | On systematically building a controlled natural language for functional requirements | |
| Candaş et al. | Automating coordination efforts for reviewing construction contracts with multilabel text classification | |
| CN112184432A (en) | Intelligent contract development method based on legal language | |
| Kapferer et al. | Domain-driven architecture modeling and rapid prototyping with context mapper | |
| US8555240B2 (en) | Describing formal end-user requirements in information processing systems using a faceted, tag-based model | |
| Sin et al. | TimeLine Depiction: an approach to graphical notation for supporting temporal property specification | |
| Rossini et al. | A formal approach to data validation constraints in mde | |
| Kirova et al. | Software engineering education must adapt and evolve for an llm environment | |
| Howell et al. | Computational thinking: modeling applied to the teaching and learning of english | |
| von der Heyde et al. | STRUCTURAL COMPARISON OF CURRICULUM DESIGN-MODELLING INTERNATIONAL STUDY PROGRAMS USING A LOGICAL LANGUAGE AND ITS GRAPHICAL REPRESENTATION | |
| Bulles et al. | A best practice for the analysis of legal documents | |
| Nikolaychuk et al. | Rule creation based on decision tables in knowledgebased systems development platform. | |
| US20090228483A1 (en) | Automated conversion of user actions to natural-language text | |
| Major et al. | Improving Accuracy and Efficiency in Document Handling for Business Processes | |
| Alzuru | Human-Machine Extraction of Information from Biological Collections | |
| Com | Syntax Master | |
| Cowling | Structuring the disciplines related to software engineering: a general model | |
| Nwuba et al. | Probing Experiential Learning Approach Effect on Critical Thinking Ability of Secondary School Students' in Biology | |
| Bly et al. | Standardized Procedure Content And Data Structure Based On Human Factors Requirements For Computer-Based Procedures | |
| Porter et al. | UML-based Design of Vendor and Employee Management System | |
| Mandal’s | Shri Bhagubhai Mafatlal Polytechnic | |
| Yang et al. | Jeu de mots paronomasia: a StackOverflow-driven bug discovery approach |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| PB01 | Publication | ||
| PB01 | Publication | ||
| SE01 | Entry into force of request for substantive examination | ||
| SE01 | Entry into force of request for substantive examination |