Im Allgemeinen kann die Aufgabe als Aufnahme rechtsrelevanter Dokumente in das digitale Aktivitätsmodell als Elemente formuliert werden, die die Aktivität bestimmen.
Bei der Lösung eines Problems haben wir es mit mehreren Entitäten zu tun
- eine Aktivität, die aus einer teilweise geordneten Folge von Aktionen besteht,
- ein Dokument, das eine Reihe von Fakten enthält, die rechtlich Maßnahmen gewährleisten,
- ein Akteur, der das Recht hat und Handlungen gemäß den im Dokument angegebenen Tatsachen ausführt,
- Ein digitales Aktivitätsmodell, das die Handlungen des Schauspielers vorschreibt und festlegt.
Wie bereits erwähnt, besteht das Problem darin, dass zwischen einer in einem Dokument semantisch definierten rechtlich bedeutsamen Tatsache und einer Aktion in einem digitalen Modell eine technologische Lücke besteht, deren Ausführung logisch / kausal mit der Tatsache übereinstimmen muss. Um die Aktivität zu implementieren, muss sich am Haltepunkt ein Akteur befinden, der einerseits die Semantik des Dokuments versteht, dh in der Lage ist, eine Tatsache aus dem Dokument zu isolieren, die die Aktion rechtlich festlegt, und andererseits das Recht hat, diese Aktion auszuführen. Derzeit kann nur eine Person als solcher Akteur auftreten - ein Rechtsgegenstand mit entsprechenden Befugnissen, der durch Dokumente (Verträge, Zertifikate, Diplome usw.) gestützt wird.
Das Problem wird nicht durch die Verwendung elektronischer Dokumente gelöst, da die Bedeutung des Textes in der Dokumentdatei für das digitale Aktivitätsmodell nicht verfügbar ist. Das heißt, zunächst muss das Problem des „Verstehens“ des digitalen Aktivitätsmodells der Semantik des Dokuments gelöst werden. Gleichzeitig ist es offensichtlich, dass wir nicht über die direkte Erkennung des Inhalts eines in einer natürlichen Sprache verfassten Textes sprechen sollten (etwa unter Einbeziehung von ML-Technologien), da das Ergebnis eines solchen „Verstehens“ nicht als eindeutig erkannt werden kann. Es ist schwierig, die in der Blockchain-Branche vorgeschlagene Lösung als zufriedenstellend zu betrachten, die in der vollständigen Übersetzung von Dokumenten (Verträgen) in eine Programmiersprache besteht, dh in der Verwendung sogenannter „intelligenter Verträge“.
Die zweckmäßigste Lösung für das Problem der technologischen Lücke kann die Verwendung einer einzigen semantischen Daten-Markup-Sprache sowohl zur Beschreibung von Dokumenten als auch zur Modellierung von Aktivitäten sein. In einer solchen Ideologie sollte eine in einem Dokument in Form einer Aussage in dieser Sprache aufgezeichnete Tatsache in einem digitalen Modell als Befehl zur Ausführung der durch diese Tatsache vorgeschriebenen Handlung interpretiert werden. Bei einer idealen Implementierung dieses Ansatzes sollte jedes Dokument tatsächlich als Fragment eines Aktivitätsmodells interpretiert werden. Es ist äußerst wichtig, dass die Sprache für die semantische Beschreibung von Aktivitäten und Dokumenten universell ist, dh unabhängig vom Themenbereich sowie außerhalb und für bestimmte digitale Aktivitätsmodelle von Menschen lesbar ist. Die Basis einer solchen Sprache kann ein Stapel von Spezifikationen zur Darstellung von Daten im Semantic Web (RDF / OWL usw.) sein.
Neben der technologischen Barriere gibt es jedoch auch das Vertrauensproblem, dh die Bestätigung der rechtlichen Bedeutung sowohl des Dokuments als auch der Handlungen des Akteurs, in dessen Eigenschaft im Aktivitätsmodell ein Software-Agent (ein Controller, der in der semantischen Auszeichnungssprache geschriebene Befehle ausführt) im Aktivitätsmodell gleichberechtigt mit einer Person handeln kann. Das Vertrauensproblem gliedert sich in zwei Aufgaben: (1) Bestätigung der rechtlichen Bedeutung des Dokuments (aller seiner Tatsachen) und (2) Nachweis der Nichtfälschung der vom Akteur durchgeführten Handlung gemäß dem Dokument.
Die erste Aufgabe wird gelöst, indem die Akteure der Gegenpartei mit ihren privaten Schlüsseln alle atomaren Fakten des Dokuments während seiner Erstellung und Genehmigung unterzeichnen. Infolgedessen sollte das Dokument ein gerichteter azyklischer Graph sein, dessen Knoten Aussagen über seine atomaren Tatsachen (einschließlich der Hashes der vorherigen Tatsachen) sind. Die Kanten sind die Beziehungen der logischen Konditionierung. Einerseits sollte dieses Dokument als Fragment eines Aktivitätsmodells verwendet werden, andererseits kann sein Inhalt (programmgesteuert oder direkt mit den Augen) unter Verwendung normativer Wörterbücher "gelesen" werden, die auch Dokumente sind. Und natürlich kann das Dokument oder vielmehr eine Tatsache im Dokument auf Unveränderlichkeit und Urheberschaft überprüft werden. (Es ist zu beachten, dass das Dokument nicht bearbeitet wird. Änderungen und Ergänzungen werden als Grafikerweiterungen vorgenommen.Das Abbrechen früherer ähnlicher Anweisungen, dh der gesamte Änderungsverlauf, wird im Dokument selbst gespeichert.
Die Aufgabe, die rechtliche Bedeutung des Ergebnisses einer nach einem Modell, das ein Dokument enthält, durchgeführten Aktion zu erkennen, reduziert sich auf zwei Unteraufgaben: (1) Überprüfung des Rechts eines Akteurs - eines Menschen oder eines Software-Agenten -, eine mit seinem privaten Schlüssel unterzeichnete Aktion auszuführen, (2) Ausschluss einer versehentlichen oder absichtlichen Fälschung des Ergebnisses Aktionen. Die erste Aufgabe besteht darin, automatisch die Relevanz der Signaturen der relevanten Dokumente im System zu überprüfen. Das Problem der Gültigkeit des Ergebnisses im Moment kann nur gelöst werden, indem ein Konsens vieler unabhängiger Ausführender des Aktivitätsmodells erreicht wird, die Knoten eines Peer-to-Peer-Netzwerks sind.
Die ideologische Grundlage der vorgeschlagenen Lösung ist also die Idee der Notwendigkeit, in einem digitalen Aktivitätsmodell zu kombinieren: (1) einen Aktionsalgorithmus, (2) ein Dokument, das die rechtliche Konditionalität dieser Aktionen bestimmt, (3) einen Akteur von Aktionen und (4) die Aktivität selbst, die gemäß in der Tat geht komplett digital.
Die technologische Basis der Lösung besteht aus den heutigen Standardtechnologien:
- kryptografische Methoden zur Verschlüsselung und Signatur von Dokumenten,
- Schlüsselverwaltungssysteme,
- Peer-to-Peer-Netzwerke mit Validierung von Konsens-Transaktionen,
- Semantische Daten-Markup-Sprachen.
Zu den technologischen Problemen, die gelöst werden müssen, gehört die Entwicklung eines Stapels von Spezifikationen für die semantische Darstellung von Daten in einer semantischen Sprache zur Modellierung von Aktivitäten (tatsächlich handelt es sich um eine Einführung in die Semantik der Zeit).
Siehe auch Semantik und Aktivität