المعلوماتية القانونية

على الرغم من أن لوفينجر ^{[ 9 ]} وآلان ^{[ 10 ]} وميهل ^{[ 11 ]} قد استبقوا العديد من الأفكار التي ستصبح مهمة في مجال الذكاء الاصطناعي والقانون، إلا أن أول اقتراح جاد لتطبيق تقنيات الذكاء الاصطناعي على القانون يُعتبر عادةً من قِبل بوكانان وهيدريك ^{[ 12 ]} . وتشمل الأعمال المبكرة من هذه الفترة مشروع TAXMAN المؤثر لثورن مكارتي ^{[ 13 ]} في الولايات المتحدة، ومشروع LEGOL لرونالد ستامبر ^{[ 14 ]} في المملكة المتحدة. ومن المعالم البارزة في أوائل الثمانينيات عمل كارول هافنر في مجال الاسترجاع المفاهيمي ^{[ 15 ]} ، وعمل آن غاردنر في قانون العقود ^{[ 16 ]} ، وعمل إدوينا ريسلاند في مجال الافتراضات القانونية ^{[ 17 ]} ، والعمل في إمبريال كوليدج لندن حول تمثيل التشريعات باستخدام برامج منطقية قابلة للتنفيذ ^{[ 18 ] .}

شملت اللقاءات المبكرة للباحثين اجتماعًا لمرة واحدة في سوانزي، ^{[ 19 ]} وسلسلة المؤتمرات التي نظمتها مجموعة IDG في فلورنسا ^{، [ 20 ]} وورش العمل التي نظمها تشارلز والتر في جامعة هيوستن عامي 1984 و1985. ^{[ 21 ]} وفي عام 1987، أُسس مؤتمر يُعقد كل سنتين، وهو المؤتمر الدولي للذكاء الاصطناعي والقانون (ICAIL). ^{[ 22 ]} وبدأ يُنظر إلى هذا المؤتمر باعتباره المنصة الرئيسية لنشر الأفكار وتطويرها في مجال الذكاء الاصطناعي والقانون، ^{[ 23 ]} وأدى ذلك إلى تأسيس الرابطة الدولية للذكاء الاصطناعي والقانون (IAAIL) لتنظيم وعقد مؤتمرات ICAIL اللاحقة. أدى ذلك بدوره إلى تأسيس مجلة الذكاء الاصطناعي والقانون، التي نُشرت لأول مرة عام ١٩٩٢. ^{[ ٢٤ ]} وفي أوروبا، بدأت مؤتمرات JURIX السنوية (التي تنظمها مؤسسة Jurix لأنظمة المعرفة القانونية) عام ١٩٨٨. كان الهدف الأولي من JURIX هو جمع الباحثين الناطقين بالهولندية (أي الهولنديين والفلمنكيين)، لكنها سرعان ما تطورت إلى مؤتمر دولي، أوروبي في المقام الأول، ومنذ عام ٢٠٠٢ تُعقد بانتظام خارج البلدان الناطقة بالهولندية. ^{[ ٢٥ ]} ومنذ عام ٢٠٠٧، تُعقد ورش عمل JURISIN في اليابان تحت رعاية الجمعية اليابانية للذكاء الاصطناعي. ^{[ ٢٦ ]}

يُتيح معيار الوثائق القانونية القابلة للتشغيل البيني "أكوما نتوسو" (Akoma Ntoso) للمعالجة الآلية معالجة المكونات النحوية والدلالية للوثائق البرلمانية والقضائية والتشريعية الرقمية، مما يُسهّل تطوير موارد معلوماتية عالية الجودة ويُشكّل أساسًا لأدوات الذكاء الاصطناعي. ويهدف هذا المعيار إلى تعزيز أداء العمليات البرلمانية والتشريعية ومساءلتها وجودتها وشفافيتها بشكلٍ كبير، استنادًا إلى أفضل الممارسات والتوجيه من خلال الصياغة والتحليل القانوني بمساعدة الآلة. وباعتباره جزءًا لا يتجزأ من بيئة الويب الدلالي، يُشكّل هذا المعيار أساسًا لنظام بيئي غير متجانس ولكنه قابل للتشغيل البيني، والذي يُمكن لهذه الأدوات من العمل والتواصل معه، فضلًا عن كونه أساسًا للتطبيقات وحالات الاستخدام المستقبلية القائمة على تمثيل القانون أو القواعد الرقمية. ^{[ 27 ]}

في عام 2019، أنشأت مدينة هانغتشو الصينية برنامجًا تجريبيًا لمحكمة الإنترنت القائمة على الذكاء الاصطناعي للفصل في النزاعات المتعلقة بالتجارة الإلكترونية ومطالبات الملكية الفكرية المرتبطة بالإنترنت . ^{[ 28 ] : 124} يمثل الأطراف أمام المحكمة عبر تقنية الفيديو، ويقوم الذكاء الاصطناعي بتقييم الأدلة المقدمة وتطبيق المعايير القانونية ذات الصلة. ^{[ 28 ] : 124}

يشمل مجال الذكاء الاصطناعي والقانون اليوم مجموعة واسعة من المواضيع، بما في ذلك:

• النماذج الرسمية للاستدلال القانوني
• النماذج الحاسوبية للمحاججة واتخاذ القرار
• النماذج الحاسوبية للاستدلال القائم على الأدلة
• الاستدلال القانوني في الأنظمة متعددة الوكلاء
• نماذج تشريعية قابلة للتنفيذ
• التصنيف والتلخيص التلقائي للنصوص القانونية
• استخراج المعلومات الآلي من قواعد البيانات والنصوص القانونية ^{[ 29 ]}
• التعلم الآلي واستخراج البيانات للاكتشاف الإلكتروني والتطبيقات القانونية الأخرى
• استرجاع المعلومات القانونية القائم على المفاهيم أو النماذج
• برامج قانونية آلية لأتمتة المهام القانونية البسيطة والمتكررة ^{[ 30 ]}
• تقييم المخاطر، والتسعير، والتنبؤ بالجدول الزمني للتقاضي باستخدام التعلم الآلي والذكاء الاصطناعي. ^{[ 31 ]}

استُخدمت النماذج الرسمية للنصوص القانونية والاستدلال القانوني في الذكاء الاصطناعي والقانون لتوضيح المسائل، ومنح فهم أدق، وتوفير أساس للتطبيقات. وقد استُخدمت مجموعة متنوعة من النماذج الرسمية، بما في ذلك حسابات القضايا والمسندات؛ والمنطق الإلزامي والزمني وغير الرتيب؛ ومخططات انتقال الحالة. يقدم براكن وسارتور ^{[ 32 ]} مراجعة تفصيلية وموثوقة لاستخدام المنطق والاستدلال في الذكاء الاصطناعي والقانون، إلى جانب مجموعة شاملة من المراجع.

يتمثل أحد الأدوار المهمة للنماذج الرسمية في إزالة الغموض. في الواقع، تزخر التشريعات بالغموض: نظرًا لكتابتها بلغة طبيعية، فلا توجد أقواس، وبالتالي قد يكون نطاق أدوات الربط مثل "و" و"أو" غير واضح. كما أن عبارة "إلا إذا" قابلة لتفسيرات متعددة، ولا يكتب واضعو القوانين أبدًا "إذا وفقط إذا"، على الرغم من أن هذا غالبًا ما يكون المقصود بكلمة "إذا". ولعل من أوائل استخدام المنطق لنمذجة القانون في مجال الذكاء الاصطناعي والقانون، أن لايمان ألين دعا إلى استخدام منطق القضايا لحل مثل هذه الغموضات النحوية في سلسلة من الأوراق البحثية. ^{[ 10 ]}

في أواخر سبعينيات القرن العشرين وطوال ثمانينياته، انصبّ جزءٌ هامٌ من العمل في مجال الذكاء الاصطناعي والقانون على إنتاج نماذج تنفيذية للتشريعات، بدءًا من برنامج TAXMAN لثورن مكارتي ^{[ 13 ]} وبرنامج LEGOL لرونالد ستامبر ^{[ 14 ]} . استُخدم برنامج TAXMAN لنمذجة حجج الأغلبية والأقلية في قضية قانون ضرائب أمريكي ( إيسنر ضد ماكومبر )، وطُبِّق بلغة برمجة مايكرو بلانر . أما برنامج LEGOL، فاستُخدم لتقديم نموذج رسمي للقواعد واللوائح التي تحكم منظمةً ما، وطُبِّق بلغة قواعد شرطية-فعلية من النوع المستخدم في أنظمة الخبراء.

كانت لغتا TAXMAN وLEGOL لغتين تنفيذيتين قائمتين على القواعد، ولم يكن لهما تفسير منطقي صريح. مع ذلك، أظهرت الصياغة الرسمية لجزء كبير من قانون الجنسية البريطاني من قِبل سيرجوت وآخرون ^{[ 18 ]} أن اللغة الطبيعية للوثائق القانونية تُشابه إلى حد كبير مجموعة بنود هورن في حساب التفاضل والتكامل من الدرجة الأولى. علاوة على ذلك، حددت هذه الصياغة الحاجة إلى توسيع نطاق استخدام بنود هورن ليشمل الشروط السلبية، لتمثيل القواعد والاستثناءات. بنود هورن الموسعة الناتجة قابلة للتنفيذ كبرامج منطقية .

أظهرت دراسات لاحقة على تطبيقات أوسع نطاقًا، مثل تلك المتعلقة بالمزايا التكميلية ^{[ 33 ]،} أن البرامج المنطقية تحتاج إلى مزيد من التوسعات لمعالجة تعقيدات مثل الإحالات المرجعية المتعددة، والافتراضات المضادة للواقع، وأحكام التقدير، والتعديلات، والمفاهيم التقنية المعقدة (مثل شروط المساهمة). وقد اقتُرح استخدام التمثيلات الهرمية ^{[ 34 ]} لمعالجة مشكلة الإحالات المرجعية؛ كما اقتُرح استخدام ما يُسمى بالتمثيلات المتماثلة ^{[ 35 ]} لمعالجة مشكلتي التحقق والتعديل المتكرر. ومع تطور التسعينيات، اندمج هذا المسار البحثي جزئيًا في تطوير صياغات رسمية لتصورات المجال (ما يُسمى بالأنطولوجيات )، والتي شاعت في مجال الذكاء الاصطناعي بعد أعمال غروبر ^{[ 36 ]} . وتشمل الأمثلة المبكرة في الذكاء الاصطناعي والقانون الأنطولوجيا الوظيفية لفالينتي ^{[ 37 ]} والأنطولوجيات القائمة على الإطار لفيسر وفان كرالينجن. ^{[ 38 ]} أصبحت الأنطولوجيات القانونية منذ ذلك الحين موضوع ورش عمل منتظمة في مؤتمرات الذكاء الاصطناعي والقانون، وهناك العديد من الأمثلة التي تتراوح من الأنطولوجيات العامة ذات المستوى الأعلى والأساسية ^{[ 39 ]} إلى نماذج محددة للغاية لأجزاء معينة من التشريعات.

بما أن القانون يتألف من مجموعات من المعايير، فليس من المستغرب أن تُجرَّب المنطق الواجبي كأساس رسمي لنماذج التشريع. مع ذلك، لم يُعتمد هذا المنطق على نطاق واسع كأساس لأنظمة الخبراء، ربما لأن أنظمة الخبراء مُصممة لإنفاذ المعايير، بينما لا يكتسب المنطق الواجبي أهمية حقيقية إلا عند الحاجة إلى النظر في انتهاكات هذه المعايير. ^{[ 40 ]} في القانون، تُعدّ الالتزامات الموجهة، ^{[ 41 ]} التي يكون فيها التزام ما تجاه فرد آخر مُحدد، ذات أهمية خاصة، لأن انتهاكات هذه الالتزامات غالبًا ما تكون أساسًا للإجراءات القانونية. كما توجد بعض الدراسات المهمة التي تجمع بين المنطق الواجبي ومنطق الفعل لاستكشاف المواقف المعيارية. ^{[ 42 ]}

في سياق الأنظمة متعددة العوامل ، تم نمذجة المعايير باستخدام مخططات انتقال الحالة. غالبًا، وخاصة في سياق المؤسسات الإلكترونية، ^{[ 43 ]} تكون المعايير الموصوفة بهذه الطريقة صارمة (أي لا يمكن انتهاكها)، ولكن في أنظمة أخرى يتم التعامل مع الانتهاكات أيضًا، مما يعطي انعكاسًا أدق للمعايير الحقيقية. للاطلاع على مثال جيد لهذا النهج، انظر Modgil et al. ^{[ 44 ] .}

غالباً ما يتناول القانون مسائل تتعلق بالوقت، سواءً تلك المتعلقة بالمضمون، كالفترات الزمنية والمواعيد النهائية، أو تلك المتعلقة بالقانون نفسه، كبدء سريانه. وقد بُذلت بعض المحاولات لنمذجة هذه المنطق الزمني باستخدام كلٍ من الأساليب الحسابية الرسمية، مثل حساب الأحداث ^{[ 45 ]} ، والمنطق الزمني، مثل المنطق الزمني القابل للتراجع ^{[ 46 ] .}

عند دراسة استخدام المنطق لنمذجة القانون، يجب مراعاة أن القانون بطبيعته غير رتيب، كما يتضح من حقوق الاستئناف المنصوص عليها في جميع الأنظمة القانونية، وكيفية تغير تفسيرات القانون بمرور الوقت. ^{[ 47 ] [ 48 ] [ 49 ]} علاوة على ذلك، تكثر الاستثناءات في صياغة القانون، وفي تطبيقه، تُنقض السوابق القضائية كما تُتبع. في مناهج البرمجة المنطقية، يُستخدم النفي كفشل غالبًا للتعامل مع عدم الرتابة، ^{[ 50 ]} ولكن استُخدمت أيضًا أنواع محددة من المنطق غير الرتيب، مثل المنطق القابل للدحض . ^{[ 51 ]} مع ذلك ، وبعد تطور الحجاج المجرد، ^{[ 52 ]} تُعالج هذه المخاوف بشكل متزايد من خلال الحجاج في المنطق الرتيب بدلًا من استخدام المنطق غير الرتيب.

توجد نماذج تنبؤ قانونية كمية أكاديمية وأخرى خاصة. ومن أوائل الأمثلة على نماذج التنبؤ القانونية الكمية العملية مشروع التنبؤ الخاص بالمحكمة العليا . حاول هذا النموذج التنبؤ بنتائج جميع القضايا في دورة عام 2002 للمحكمة العليا، ونجح في التنبؤ بنسبة 75% من القضايا بشكل صحيح، مقارنةً بنسبة 59.1% فقط من الخبراء. ^{[ 53 ]} ومن الأمثلة الأخرى على نماذج التنبؤ القانونية الكمية الأكاديمية نموذجٌ طُوِّر عام 2012 وتنبأ بنتائج الدعاوى الجماعية المتعلقة بالأوراق المالية الفيدرالية. ^{[ 54 ]} ويسعى بعض الأكاديميين والشركات الناشئة في مجال التكنولوجيا القانونية إلى ابتكار نماذج خوارزمية للتنبؤ بنتائج القضايا. ^{[ 55 ] [ 56 ]} ويتضمن هذا الجهد تحسين تقييم القضايا لأغراض تمويل التقاضي. ^{[ 57 ]}

بهدف تحسين تقييم جودة أنظمة التنبؤ بنتائج القضايا، تم اقتراح إنشاء مجموعة بيانات موحدة تسمح بإجراء مقارنات بين الأنظمة. ^{[ 58 ]}