Inteligencia artificial en el campo de la jurisprudencia. Artículo 3

Introducción

Continuamos una serie de artículos sobre el tema de la inteligencia artificial legal, aspectos de su desarrollo y perspectivas de aplicación práctica en el mercado interno. En publicaciones anteriores hemos dicho repetidamente que, en nuestra opinión, el desarrollo de la IA legal se puede asegurar creando y aplicando un nuevo bloque semántico, que incluye:

• herramientas para el análisis lingüístico de textos en lenguaje natural;
• un modelo estructurado de conocimiento jurídico (grafos de conocimiento y ontologías);
• redes neuronales previamente entrenadas.

En el primer artículo, examinamos en detalle las herramientas existentes para procesar texto en ruso. En el segundo artículo, examinamos enfoques para la creación de productos basados ​​en inteligencia artificial, así como cuestiones de interacción entre especialistas en el campo de las TI y el derecho. En este artículo, proponemos sumergirnos en el tema de las ontologías y responder a las siguientes preguntas:

1. ¿Cuál es el papel de las ontologías en el proceso de creación de inteligencia artificial?
2. ¿Por qué las ontologías existentes en el campo del derecho son inaplicables para la IA jurídica, a pesar de los muchos años de intentos de expertos extranjeros por estructurar el conocimiento jurídico?
3. ¿Qué propiedades deben tener las ontologías legales de IA para resolver problemas prácticos?

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