بشكل عام ، يمكن صياغة المهمة على أنها إدراج وثائق مهمة قانونًا في النموذج الرقمي للنشاط كعناصر تحدد النشاط.
عند حل مشكلة ، نتعامل مع عدة كيانات
- نشاط يتكون من تسلسل أوامر مرتبة جزئيا ،
- وثيقة عبارة عن مجموعة من الحقائق التي تضمن العمل بشكل قانوني ،
- الفاعل الذي يحق له القيام بأعمال وفقا للحقائق الواردة في الوثيقة ،
- نموذج رقمي للنشاط يصف ويصلح تصرفات الممثل.
كما لوحظ ، فإن المشكلة تكمن في وجود فجوة تكنولوجية بين حقيقة مهمة من الناحية القانونية ، محددة دلالة في مستند ، وعمل في نموذج رقمي ، يجب أن يكون تنفيذه متسقًا منطقياً / سببيًا مع الحقيقة. لتنفيذ نشاط ما ، يجب أن يكون هناك ممثل عند نقطة الاستراحة يفهم من حيث دلالات المستند ، أي أنه قادر على استخلاص حقيقة من المستند تنص على الإجراء ، ومن ناحية أخرى ، له الحق في تنفيذ هذا الإجراء. في الوقت الحالي ، لا يمكن إلا للشخص أن يتصرف على هذا النحو الفاعل - شخص قانون يتمتع بسلطات مناسبة ، مدعومة بالوثائق (العقود والشهادات والدبلومات ، وما إلى ذلك).
لا يتم حل المشكلة باستخدام المستندات الإلكترونية ، حيث أن معنى النص في ملف المستند غير متاح للنموذج الرقمي للنشاط. أي ، أولاً وقبل كل شيء ، يجب حل مشكلة "فهم" نموذج النشاط الرقمي لدلالات الوثيقة. في الوقت نفسه ، من الواضح أنه لا ينبغي لنا أن نتحدث عن الاعتراف المباشر بمحتوى نص مكتوب بلغة طبيعية (على سبيل المثال ، بمشاركة تقنيات ML) ، حيث لا يمكن الاعتراف بنتيجة هذا "الفهم" على أنها لا لبس فيها. من الصعب اعتبار مرضي والحل المقترح في صناعة blockchain ، والذي يتمثل في الترجمة الكاملة للوثائق (العقود) إلى لغة برمجة ، أي استخدام ما يسمى "العقود الذكية".
يمكن اعتبار أنسب حل لمشكلة الفجوة التكنولوجية هو استخدام واحد ، سواء لوصف الوثائق ولأنشطة النمذجة ، لغة ترميز البيانات الدلالية. في مثل هذه الأيديولوجية ، يجب تفسير حقيقة مسجلة في مستند على شكل بيان بهذه اللغة في نموذج رقمي كأمر لأداء الإجراء المنصوص عليه في هذه الحقيقة. في التنفيذ المثالي لهذا النهج ، يجب في الواقع تفسير كل وثيقة على أنها جزء من نموذج النشاط. من المهم للغاية أن تكون لغة الوصف الدلالي للأنشطة والوثائق عالمية ، أي مستقلة عن مجال الموضوع ، وكذلك يمكن قراءتها من الخارج وخارج نماذج رقمية محددة للنشاط. يمكن أن يكون أساس هذه اللغة مجموعة من المواصفات لتمثيل البيانات على الويب الدلالي (RDF / OWL ، وما إلى ذلك).
ومع ذلك ، بالإضافة إلى الحاجز التكنولوجي ، هناك أيضًا مشكلة الثقة ، أي تأكيد الأهمية القانونية لكل من المستند وأفعال الممثل ، والتي يمكن في نموذج النشاط أن تكون وكيل برمجيات (أوامر تنفيذ وحدة تحكم مكتوبة بلغة ترميزية دلالية) مع شخص. تنقسم مشكلة الثقة إلى مهمتين: (1) تأكيد الأهمية القانونية للوثيقة (جميع حقائقها) و (2) إثبات عدم تزوير الإجراء الذي قام به الفاعل ، وفقًا للوثيقة.
يتم حل المهمة الأولى من خلال التوقيع من قبل الجهات المقابلة مع مفاتيحها الخاصة لجميع الحقائق الذرية للوثيقة أثناء إعدادها والموافقة عليها. ونتيجة لذلك ، يجب أن تكون الوثيقة رسمًا بيانيًا غير دوري موجه ، وتكون عقده عبارة عن بيانات حول الحقائق الذرية (بما في ذلك تجزئات الحقائق السابقة) ، والحواف هي علاقات التكييف المنطقي. من ناحية ، يجب استخدام هذا المستند كجزء من نموذج نشاط ، من ناحية أخرى ، يمكن "قراءة" محتواه (برمجيًا أو مباشرة بالعينين) باستخدام القواميس المعيارية ، وهي أيضًا مستندات. وبالطبع ، يمكن التحقق من المستند أو بالأحرى أي حقيقة في المستند من حيث الثبات والتأليف. (تجدر الإشارة إلى أن المستند لا يتم تحريره ، ويتم إجراء التغييرات والإضافات كملحقات الرسم البياني ،إلغاء عبارات مماثلة سابقة ، أي يتم حفظ محفوظات التغييرات بالكامل في المستند نفسه).
يتم تقليل مهمة التعرف على الأهمية القانونية لنتيجة إجراء تم إجراؤه وفقًا لنموذج يتضمن مستندًا إلى مهمتين فرعيتين: (1) التحقق من حق الفاعل - إنسان أو وكيل برامج - في تنفيذ إجراء موقع من خلال مفتاحه الخاص ، (2) باستثناء التزييف العرضي أو المتعمد للنتيجة أجراءات. المهمة الأولى هي التحقق تلقائيًا من ملاءمة تواقيع الوثائق ذات الصلة في النظام. لا يمكن حل مشكلة صحة النتيجة في الوقت الحالي إلا من خلال التوصل إلى توافق في الآراء من العديد من المؤدين المستقلين لنموذج النشاط ، وهم عُقد شبكة نظير إلى نظير.
لذا ، فإن الأساس الإيديولوجي للحل المقترح هو فكرة الحاجة إلى الجمع في نموذج رقمي واحد للنشاط: (1) خوارزمية الإجراءات ، (2) وثيقة تحدد الشرطية القانونية لهذه الإجراءات ، (3) فاعل الإجراءات ، و (4) النشاط نفسه ، والذي ، وفقًا لـ في الواقع ، تصبح رقمية تمامًا.
يتكون الأساس التكنولوجي للحل من التقنيات القياسية اليوم:
- طرق التشفير للتشفير وتوقيع المستندات ،
- أنظمة الإدارة الرئيسية ،
- شبكات نظير إلى نظير مع التحقق من صحة المعاملة بالإجماع ،
- لغات ترميز البيانات الدلالية.
تتضمن المشكلات التكنولوجية التي تحتاج إلى حل تطوير مجموعة من المواصفات للتمثيل الدلالي للبيانات إلى لغة دلالية لنشاطات النمذجة (في الواقع ، نحن نتحدث عن مقدمة إلى دلالات الزمن).
انظر أيضًا الدلالات والنشاط