En general, la tarea puede formularse como la inclusión de documentos legalmente significativos en el modelo digital de actividad como elementos que determinan la actividad.
Al resolver un problema, estamos tratando con varias entidades
- una actividad que consiste en una secuencia de acciones parcialmente ordenada,
- un documento que es un conjunto de hechos que aseguran legalmente la acción,
- un actor que tiene el derecho y realiza acciones de acuerdo con los hechos establecidos en el documento,
- Un modelo digital de actividad que prescribe y fija las acciones del actor.
Como se señaló, el problema es que existe una brecha tecnológica entre un hecho legalmente significativo, definido semánticamente en un documento, y una acción en un modelo digital, cuya ejecución debe ser lógica / causalmente consistente con el hecho. Para implementar la actividad, debe haber un actor en el punto de quiebre que, por un lado, comprenda la semántica del documento, es decir, pueda aislar del documento un hecho que estipule legalmente la acción y, por otro lado, tenga derecho a realizar esta acción. Por el momento, solo una persona puede actuar como tal actor, un sujeto de derecho con poderes apropiados, respaldado por documentos (contratos, certificados, diplomas, etc.).
El problema no se resuelve mediante el uso de documentos electrónicos, ya que el significado del texto en el archivo del documento no está disponible para el modelo digital de actividad. Es decir, en primer lugar, debe resolverse el problema de "comprender" el modelo de actividad digital de la semántica del documento. Al mismo tiempo, es obvio que no deberíamos hablar sobre el reconocimiento directo del contenido de un texto escrito en un lenguaje natural (digamos, con la participación de tecnologías ML), ya que el resultado de tal "comprensión" no puede reconocerse como inequívoco. Es difícil considerar satisfactorio y la solución propuesta en la industria blockchain, que consiste en la traducción completa de documentos (contratos) a un lenguaje de programación, es decir, el uso de los llamados "contratos inteligentes".
La solución más adecuada para el problema de una brecha tecnológica puede considerarse el uso de un solo, tanto para describir documentos como para modelar actividades, un lenguaje de marcado de datos semántico. En tal ideología, un hecho registrado en un documento en forma de una declaración en este lenguaje debe interpretarse en un modelo digital como un comando para realizar la acción prescrita por este hecho. En una implementación ideal de este enfoque, cada documento, de hecho, debe interpretarse como un fragmento de un modelo de actividad. Es extremadamente importante que el lenguaje para la descripción semántica de actividades y documentos sea universal, es decir, independiente del área temática, así como legible por humanos fuera y antes de modelos digitales específicos de actividad. La base de dicho lenguaje puede ser una pila de especificaciones para representar datos en la Web Semántica (RDF / OWL, etc.).
Sin embargo, además de la barrera tecnológica, también existe el problema de la confianza, es decir, la confirmación del significado legal tanto del documento como de las acciones del actor, que en el modelo de actividad, junto con una persona, también puede ser un agente de software (un controlador que ejecuta comandos escritos en el lenguaje de marcado semántico). El problema de la confianza se divide en dos tareas: (1) confirmación del significado legal del documento (todos sus hechos) y (2) prueba de la no falsificación de la acción realizada por el actor, según el documento.
La primera tarea se resuelve firmando por los actores de la contraparte con sus claves privadas de todos los datos atómicos del documento durante su preparación y aprobación. Como resultado, el documento debe ser un gráfico acíclico dirigido, cuyos nodos son declaraciones sobre sus hechos atómicos (incluidos los valores hash de los hechos anteriores), y los bordes son relaciones condicionantes lógicas. Por un lado, este documento debe usarse como un fragmento de un modelo de actividad, por otro, su contenido puede "leerse" (mediante programación o directamente con los ojos) utilizando diccionarios normativos, que también son documentos. Y, por supuesto, el documento, o más bien cualquier hecho en el documento, puede verificarse por su invariabilidad y autoría. (Cabe señalar que el documento no se edita, los cambios y las adiciones se realizan como extensiones de gráficos,cancelando declaraciones similares anteriores, es decir, todo el historial de cambios se guarda en el documento mismo).
La tarea de reconocer la importancia legal del resultado de una acción realizada de acuerdo con un modelo que incluye un documento se reduce a dos subtareas: (1) verificar el derecho de un actor - un ser humano o un agente de software - a realizar una acción firmada por su clave privada, (2) excluyendo la falsificación accidental o deliberada del resultado comportamiento. La primera tarea es verificar automáticamente la relevancia de las firmas de los documentos relevantes en el sistema. El problema de la validez del resultado en este momento solo puede resolverse alcanzando un consenso de muchos actores independientes del modelo de actividad, que son nodos de una red punto a punto.
Entonces, la base ideológica de la solución propuesta es la idea de la necesidad de combinar en un modelo digital de actividad: (1) un algoritmo de acciones, (2) un documento que determina la condicionalidad legal de estas acciones, (3) un actor de acciones y (4) la actividad en sí misma, que, de acuerdo con de hecho, se vuelve completamente digital.
La base tecnológica de la solución se compone de las tecnologías estándar actuales:
- métodos criptográficos de encriptación y firma de documentos,
- sistemas de gestión de claves,
- redes punto a punto con validación de transacción por consenso,
- Lenguajes de marcado de datos semánticos.
Los problemas tecnológicos que deben resolverse incluyen el desarrollo de una pila de especificaciones para la representación semántica de datos en un lenguaje semántico para la actividad de modelado (de hecho, estamos hablando de una introducción a la semántica del tiempo).
Ver también Semántica y Actividad