Em geral, a tarefa pode ser formulada como a inclusão de documentos legalmente significativos no modelo digital de atividade como elementos que determinam a atividade.
Ao resolver um problema, estamos lidando com várias entidades
- uma atividade que consiste em uma sequência de ações parcialmente ordenada,
- um documento que é um conjunto de fatos que garantem legalmente uma ação,
- um ator que tem o direito e executa ações de acordo com os fatos declarados no documento,
- um modelo digital de atividade que prescreve e corrige as ações do ator.
Como observado, o problema é que existe uma lacuna tecnológica entre um fato legalmente significativo, definido semanticamente em um documento, e uma ação em um modelo digital, cuja execução deve ser lógica / causalmente consistente com o fato. Para implementar a atividade, deve haver um ator no ponto de interrupção que, por um lado, entenda a semântica do documento, ou seja, seja capaz de isolar do documento um fato que estipula legalmente a ação e, por outro lado, tem o direito de executar essa ação. No momento, apenas uma pessoa pode agir como tal ator - um sujeito da lei com poderes apropriados, apoiado por documentos (contratos, certificados, diplomas, etc.).
O problema não é resolvido usando documentos eletrônicos, pois o significado do texto no arquivo de documento não está disponível para o modelo digital de atividade. Isto é, antes de tudo, o problema de “entender” o modelo de atividade digital da semântica do documento deve ser resolvido. Ao mesmo tempo, é óbvio que não devemos falar sobre o reconhecimento direto do conteúdo de um texto escrito em uma linguagem natural (digamos, com o envolvimento das tecnologias de ML), uma vez que o resultado dessa "compreensão" não pode ser reconhecido como inequívoco. É difícil considerar satisfatória e a solução proposta na indústria de blockchain, que consiste na tradução completa de documentos (contratos) para uma linguagem de programação, ou seja, o uso dos chamados "contratos inteligentes".
A solução mais apropriada para o problema de uma lacuna tecnológica pode ser considerada o uso de uma única, tanto para descrever documentos quanto para modelar atividades, uma linguagem de marcação de dados semântica. Em tal ideologia, um fato registrado em um documento na forma de uma declaração nesse idioma deve ser interpretado em um modelo digital como um comando para executar a ação prescrita por esse fato. Em uma implementação ideal dessa abordagem, cada documento, de fato, deve ser interpretado como um fragmento de um modelo de atividade. É extremamente importante que a linguagem para a descrição semântica de atividades e documentos seja universal, ou seja, independente da área de assunto, bem como legível por humanos fora e antes de modelos digitais específicos de atividade. A base dessa linguagem pode ser uma pilha de especificações para representar dados na Web Semântica (RDF / OWL, etc.).
No entanto, além da barreira tecnológica, há também o problema da confiança, ou seja, a confirmação do significado legal do documento e das ações do ator, cuja capacidade no modelo de atividade, em igualdade de condições com uma pessoa, um agente de software (um controlador executando comandos escritos na linguagem de marcação semântica) também pode atuar. O problema da confiança se divide em duas tarefas: (1) confirmação da importância legal do documento (todos os seus fatos) e (2) prova da não falsificação da ação executada pelo ator, de acordo com o documento.
A primeira tarefa é resolvida com a assinatura pelos atores da contraparte com suas chaves privadas de todos os fatos atômicos do documento durante sua preparação e aprovação. Como resultado, o documento deve ser um gráfico acíclico direcionado, cujos nós são declarações sobre seus fatos atômicos (incluindo os hashes dos fatos anteriores), as arestas são as relações do condicionamento lógico. Por um lado, este documento deve ser usado como um fragmento de um modelo de atividade; por outro, seu conteúdo pode ser “lido” (programaticamente ou diretamente com os olhos) usando dicionários normativos, que também são documentos. E, é claro, o documento, ou melhor, qualquer fato no documento, pode ser verificado quanto à invariabilidade e autoria. (Observe que o documento não é editado, são feitas alterações e acréscimos como extensões de gráfico,cancelando declarações semelhantes anteriores, ou seja, todo o histórico de alterações é salvo no próprio documento).
A tarefa de reconhecer a importância legal do resultado de uma ação executada de acordo com um modelo que inclui um documento é reduzida a duas subtarefas: (1) verificar o direito de um ator - um humano ou um agente de software - de executar uma ação assinada por sua chave privada, (2) excluir falsificação acidental ou deliberada do resultado ações. A primeira tarefa é verificar automaticamente a relevância das assinaturas dos documentos relevantes no sistema. O problema da validade do resultado no momento pode ser resolvido apenas com o consenso de muitos artistas independentes do modelo de atividade, que são nós de uma rede ponto a ponto.
Assim, a base ideológica da solução proposta é a ideia da necessidade de combinar em um modelo digital de atividade: (1) um algoritmo de ações, (2) um documento que determine a condicionalidade legal dessas ações, (3) um ator de ações e (4) a própria atividade que, de acordo com de fato, fica completamente digital.
A base tecnológica da solução é composta pelas tecnologias padrão atuais:
- métodos criptográficos de criptografia e assinatura de documentos,
- sistemas de gerenciamento de chaves,
- redes ponto a ponto com validação de transação de consenso,
- linguagens de marcação de dados semânticas.
Os problemas tecnológicos que precisam ser resolvidos incluem o desenvolvimento de uma pilha de especificações para a representação semântica de dados em uma linguagem semântica para a atividade de modelagem (na verdade, estamos falando de uma introdução à semântica do tempo).
Veja também Semântica e Atividade