Kecerdasan buatan di bidang yurisprudensi. Pasal 3

pengantar

Kami melanjutkan serangkaian artikel tentang topik kecerdasan buatan hukum, aspek perkembangannya, dan prospek penerapan praktis di pasar domestik. Pada publikasi sebelumnya sudah berulang kali kami sampaikan bahwa menurut kami perkembangan Legal AI dapat dipastikan dengan membuat dan menerapkan blok semantik baru, yang meliputi:

• alat untuk analisis linguistik teks bahasa alami;
• model terstruktur pengetahuan hukum (grafik pengetahuan dan ontologi);
• jaringan saraf yang terlatih.

Di artikel pertama, kami memeriksa secara detail alat yang ada untuk memproses teks berbahasa Rusia. Di artikel kedua, kami memeriksa pendekatan untuk membuat produk berdasarkan kecerdasan buatan, serta masalah interaksi antara spesialis di bidang TI dan hukum. Pada artikel ini, kami mengusulkan untuk mendalami topik ontologi dan menjawab pertanyaan-pertanyaan berikut:

1. Apa peran ontologi dalam proses pembuatan kecerdasan buatan?
2. Mengapa ontologi yang ada di bidang hukum tidak dapat diterapkan untuk AI Hukum, meskipun para ahli asing telah berupaya selama bertahun-tahun untuk menyusun pengetahuan hukum?
3. Properti apa yang harus dimiliki ontologi AI legal untuk memecahkan masalah praktis?

1.

1.1.

, , Legal AI, — (, , ), . , «» 99,99%.

— (reasoning). .

, - « », . , : « , ?». , - : « , ».

, , . , . , -, , , . , (-) , . . - , , , , . , .

, , , , , , .

, , , , . , .

data science, Judea Pearl 3 : Association, Causation Counterfactuals ( ).

Association . , . , , .

— Causation. - , . , , , , . ausation , - . : Causation , . Causation , , - .

, , — Counterfactuals. - , . , , , , .

, Association. / , .

, -, « » - . , , Counterfactuals, , . - , .

1.2.

Legal AI. , , , «first principles» .

(reasoning). : . , . , , () - -, — , , .

, : «S P». . , .

(«») , :

• , ;
• , (/, , .) ;
• , (/, , .) .

, / : «: «», . , . , . 1, 1». , . , NER :

• « «»» «» « »;
• «. , . , . 1, 1» «».

, : « «» «» «. , . , . 1, 1». , . reasoning'.

, , , . , «» « » «». : « ?». - .

1.3. -

( , ) — , , , . , , , — , , , .

1980- . . 2000- , . OWL , — . , , , . , , , , ( ). , , , . , OWL. OWL XML, , OWL XML.

, . . — ̆ ( , , ̆ .), . ̆ , ̆ ̆, . , .

, , - , . , , , .

, , , , , .

, . , ( , - ), (, ), . , - , , .

, , . , , / ( ). , , , .

, . , , (, ), /. . , , , , . , - , , 20-30 % . , .

— . 1986 (The British Nationality Act) Prolog. ( ), . , (, , .) , . , - , . , . . , , , . , - .

. OWL , , .

, , , . , : « , , 01.09.2015 . 01.09.2019 .» OWL, (object properties) .

OWL , :

• ;
• (instances) .

- , . , W3C 2017 . Shapes Constraint Language (SHACL), RDFS/OWL . , ( ), .

2.

2.1.

, . , , , , (Relationships) , .

, ( — «subclass of»), . , , . .

XX . 1990- , ̆, (OMEGA, SUMO, DOLCE ). 2000- . , 2004 . W3C OWL 1.0, 1.1 2.0. , OWL (KIF, Ontolingua, XOL .). , ( ).

. (, , , , - .). . 1990- (Functional Ontology of Law by Valente et al. (1994), Frame-based ontology by van Kralingen (1997) .). : LKIF, UFO, FIBO, FBO Legal Rule ML. ( 2.1.1-2.1.6).

, . .

, , - . , , .

, , , , , , , .

5 () :

1. ( );
2. ;
3. ;
4. ;
5. ;
6. .

2.1.1. FIBO

Financial Industry Business Ontology (FIBO) . OMG, ̆ - 1989 . FIBO ( .).

. , FIBO ( /, .), . , , FIBO , . , , , , , .

, FIBO . -, FIBO Legal AI, , -, , . , FIBO -, , .

FIBO 3099 . FIBO : ̆ ̆ OWL, ̆ ̆ . ̆ OWL ̆ Protege. , FIBO ̆ , -. , - . - , FIBO, ̆ , ̆ () . , FIBO .

FIBO , , «». ̆ (, , /, / ..). ̆ FIBO Foundations, ̆ ̆ ̆. FIBO Foundations , FIBO Business entities (-) FIBO Indices and Indicators ( ). , ̆, .

FIBO Foundations ̆, ̆ ̆ . , ̆ , ̆, , ( , .). FIBO Foundations - («Proxy» concept) , . , ̆, (address) (country). : , ̆ , ̆ , - , .

̆ , FIBO Foundations , ̆. ̆-̆ , ̆ ̆ ̆ , (, , , ..). FIBO Foundations, FIBO.

FIBO Business entities FIBO Foundations . ̆ -̆, ̆ , ̆. , ̆ (business entities), -- , . FIBO Business entities , -. FIBO Business entities ̆, , , , , , ̆ .

FIBO, . FIBO 3099 , , . , , ( ) ( ). - , . . , FIBO, , Legal AI , .

2.1.2. LKIF

LKIF (Legal Knowledge Interchange Format), Estrella. LKIF . : , , . LKIF , ̆, . () ̆. , LKIF - LRI-core ontology. LRI-core , , , , , , , .

LKIF , 15 , , , . :

1. – , « » (Mental entity), « » (Abstract entity), «» (Occurrence), « » (Physical entity);
2. — . , : « » (is component), « » (is part of), « » (member of) ;
3. — , ;
4. – . «» ( ) «» ( , ). : « » (before), «» (finish), «» (between) ;
5. — . : , , ;
6. – , . : , ;
7. – . ;
8. — , .
9. – , ;
10. – , - ;
11. – : (Contract), (Directive), (Code) .

(Legal Concepts). Legal Concepts LKIF : Legal role, Legal action Legal norm.

Legal role Role, , , . , , , , .

Legal action Action , , Legal role.

Legal norm , . : , , ., .

, LKIF, , - . , , , . , LKIF (.. .. ), . « - 2020 2025 ». . , . OWL-, ̆ , . - , , :

• «» (Medium) , : ̆ ̆ , , , , .;
• , , ̆ , ;
• ̆ «» (Proposition) / ̆ (Qualification);
• ̆ ̆ .

.. .. , LKIF . , LKIF , , .

LKIF , , . :

• M. Ceci, A. Gangemi («An OWL ontology library representing judicial interpretations», Semantic Web, 2016);
• Cevenini C., Contissa, G., Laukyte, M., Riveret, R., Rubino, R. («Development of the ALIS IP ontology: Merging legal and technical perspectives», Computeraided innovation (CAI), Boston, 2008);
• Distinto, I., d’Aquin, M., & Motta, E. («LOTED2: An ontology of European public procurement notices», Semantic Web, 2016);
• Ghosh, M. E., Naja, H., Abdulrab, H., & Khalil, M. («Towards a legal rule-based system grounded on the integration of criminal domain ontology and rules», In Procedia Computer Science: 112, 2017);
• Rodrigues, C. M. O., Azevedo, R. R., Freitas, F. L. G., da Silva, E. P., & da Silva Barros, P. V. (An ontological approach for simulating legal action in the brazilian penal code. In Proceedings of the 30th annual ACM symposium on applied computing», New York, 2015) .

, LKIF - . , .

2008 Estrella, LKIF, .

2.1.3. Legal Rule ML

, , Legal Rule ML. OASIS, (, , , , , IoT .) 1993 . , , , . . , Legal Rule ML , Estrella LKIF Core ontology. Estrella 2008 . LKIF Core, Legal Rule ML LKIF, , .

, Legal Rule ML . (, , , .) , . , , , . , , . , OASIS, (XML) . , , . Legal Rule ML.

, Legal Rule ML , XML, Rule ML , . Legal Rule ML Node elements Edge elements, . ( ) () , .

Agent ( , ), Figure (, , ) Role (, ). , , .

Legal Rule ML ( ), , ( , .), , .

Legal Rule ML, , , , . . , Rule ML. , Legal Rule ML , , . , OASIS , , , Legal AI .

2.1.4. UFO

Unified Fundamental Ontology (UFO) 2004 G. Guizzardi . . , , .

UFO 0.1 , :

• General Formal Ontology (GFO), General Ontological Language (GOL) ( OntoMed Research group ());
• Descriptive Ontology for Linguistic and Cognitive Engineering (DOLCE), OntoClean ( ISTC-CNR-LOA Research group ()).

UFO , . UFO , -, . UFO OntoUML, .

UFO : UFO-A, UFO-B, UFO-C. UFO (UFO-A) G. Guizzardi (NEMO) (Gerd Wagner) (LOA). UFO-A , , , , , , . UFO (UFO-B), (UFO-C). UFO-A, UFO-B UFO-C , , , , , , , .

: Particular (Individual) Universal (Type). Particulars — , . Universals, , , (Particulars). UFO-A Substances — (Particulars). (Moment), , /, . (Relations) — , . Relators — , .

UFO-A — Endurants. Endurants — , . , . UFO-B — Perdurants (), , . « » , , . Endurants, Perdurant , , . UFO-B «» (Event), Perdurant. : ( ) ( ). , , , .

UFO- (Endurants Perdurants). Agents () Objects (), , — (), — , , . «» (Intentional Moments). Intentional Moment (, Belief, Desire, Intention) (Proposition). — , Intention. (propositional content) — (Goal). — (Belief) (Desire). , — , - . (Actions). — , Instance (Plan), . (Communication Act), (Social Moments). , , (Interaction).

, UFO, . . , 2015 . UFO UFO-L, . , , . UFO , :

• Griffo, C., Almeida, J. P. A., & Guizzardi, G. A systematic mapping of the literature on legal core ontologies. Ontobras. In CEUR Workshop Proceedings: 1442. CEUR-WS.org, 2015;
• Rodrigues, C. M. O., Freitas, F. L. G., & Azevedo, R. R. An ontology for property crime based on events from ufo-b foundational ontology. 5th Brazilian conference on intelligent systems (bracis), 2016 .

2.1.5. FBO

Frame-based ontologies (FBO), , (, , ) , . , .

(GLO), , . : , . ( ), , .

, , . :

• ( );
• ( , );
• ( );
• ( );
• (, );
• ( , );
• (, , , );
• ( ).

, . . . , . . , () () , ( — ). , :

• ( );
• ( );
• ( );
• ( , , );
• ( , , );
• ( , );
• (, );
• ( , , , , . ., , . .);
• ( , );
• ( , );
• ( );
• (, );
• ( );
• ( ).

. , . , , . , -, , .

, , . , . , . GLO :

• ( — , );
• , ;
• , .

FBO , GLO. , , . , , FBO, Legal AI, , .

2.2.

, . , . , . - .

, , , .

. 5- 6 .

1. .

, . , . , , . :

• 0 — ;
• 1 2 — , (, , .);
• 3 4 — , ;
• 5 — , .

2. .

. . :

• 0 — ;
• 1 2 — , ;
• 3 4 — , ;
• 5 — .

3. .

. :

• 0 — ;
• 1 2 — ;
• 3 4 — , ;
• 5 — .

4. .

. :

• 0 — ;
• 1 2 — , ;
• 3 4 — , ;
• 5 — .

5. .

, . : « ?». :

• 0 — ;
• 1 2 — , ;
• 3 4 — , ;
• 5 — , .

6. .

. , , , , / . :

• 0 — ;
• 1 2 — , ;
• 3 4 — ;
• 5 — .

LKIF, Legal Rule ML, FBO , . , . , ., «reusable». , , , . Legal AI.

UFO FIBO. UFO , . UFO-L , UFO . FIBO - , . , , , . , FIBO , .

, , Legal AI , , , . ( ), Legal AI .

: « ?».

, , , , CIDOC CRM (Committee on Documentation «Conceptual Reference Model»).

CIDOC CRM CIDOC . , . , CIDOC CRM , , . , , . , , , , , . , MIDAS XML, IST Project SCULPTEUR, IST Project I-Mass .

, , . , .

CIDOC CRM ( ), . 5.0.1 CIDOC CRM 82 142 , , , , , , . ( ) .

, : , , , .

, : , . , : , , , . CIDOC CRM 2 : . . , : «», « ()», « » ( ), «» ( ). «».

. 10-15 , -. , , , . , . , . , , .

Ontology Design Patterns. , , . , (, , , .), . ( , , .) . , , . , , , . , ODPA (Ontology Design Patterns), , .

2.3.

. ̆ ̆ ̆ ̆ . , , - . , , .

-, , , . , Legal AI, ̆ . ̆ ̆ n*(n-1)/2, n — ̆ , , , ̆ . , ̆ . , (is-a, subclass of).

-, : , (legal practice). — , , , , , , 30% .

, . ̆ ̆ . , 6 (. 125-129 ). , ( , ̆ ̆ ), . ( , , .) , , .

-, ( ), data (, ), information ( , ), knowledge () wisdom (), , ML DL 90 % 10% . knowledge wisdom, .

.

, , , . — end-to-end , (, .) . common sense .

3.

: , Legal AI, . , . Legal AI — . , (reasoning). , .

ML DL. , , (data) — Asscoation, , . — knowledge () wisdom (). , , , Legal AI.

, Legal AI. . . . reasoning, instances , , , .