Künstliche Intelligenz im Bereich der Rechtsprechung. Artikel 3

Einführung

Wir setzen eine Reihe von Artikeln zum Thema legale künstliche Intelligenz, Aspekte ihrer Entwicklung und Perspektiven für die praktische Anwendung auf dem heimischen Markt fort. In früheren Veröffentlichungen haben wir wiederholt gesagt, dass unserer Meinung nach die Entwicklung der legalen KI durch die Erstellung und Anwendung eines neuen semantischen Blocks sichergestellt werden kann, der Folgendes umfasst:

• Werkzeuge zur sprachlichen Analyse von Texten in natürlicher Sprache;
• ein strukturiertes Modell des Rechtswissens (Wissensgraphen und Ontologien);
• vorgeübte neuronale Netze.

Im ersten Artikel haben wir die vorhandenen Tools zur Verarbeitung von russischsprachigem Text eingehend untersucht. Im zweiten Artikel untersuchten wir Ansätze zur Entwicklung von Produkten auf der Basis künstlicher Intelligenz sowie Fragen der Interaktion zwischen Spezialisten auf dem Gebiet der IT und des Rechts. In diesem Artikel schlagen wir vor, uns mit dem Thema Ontologien zu befassen und die folgenden Fragen zu beantworten:

1. Welche Rolle spielen Ontologien bei der Schaffung künstlicher Intelligenz?
2. Warum sind die im Bereich des Rechts vorhandenen Ontologien für die Rechts-KI trotz der langjährigen Versuche ausländischer Experten, Rechtswissen zu strukturieren, nicht anwendbar?
3. Welche Eigenschaften sollten legale KI-Ontologien haben, um praktische Probleme zu lösen?

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 , , , .