Nomos
لغة برمجة تجريبية للقواعد القانونية.
مشروع مفتوح المصدر من تطوير Stephane Boghossian
ما هو
Nomos لغة برمجة تجريبية لترميز القواعد القانونية في صورة شيفرة. تكتب قواعد مصنَّفة الأنواع وتعطيه الوقائع، فيعيد حكماً مع شجرة إثبات.
لماذا أُنشئ
الاستدلال القانوني حساب بالفعل: التشريعات تعرّف المحمولات، والوقائع مدخلات، والسوابق ترتيب للأولويات. الصعوبة أن العالم يتكلم بالنثر. والأطروحة أن توضع النماذج اللغوية على الأطراف ويبقى منطق حتمي في الداخل.
كيف يعمل
- تستخرج جسور مصنَّفة الأنواع مع النماذج اللغوية الوقائع من النثر، ويمكن إحالة الاستخراجات منخفضة الثقة إلى شخص.
- تحمل القواعد ولاية قضائية وتاريخ سريان، وتُنفَّذ الاستعلامات بحسب تاريخ محدد.
- تُحسم التعارضات بين القواعد بالأولوية، ثم بالخصوصية، ثم بالأحدثية، وتشرح شجرة الإثبات كل ترجيح.
- يحمل كل حكم الجهات المرجعية والوقائع وسلسلة القواعد التي يستند إليها.
الحالة
مفتوح المصدر
الشيفرة عامة ومتاحة للقراءة.
تفاصيل البناء
- الترخيص
- Apache-2.0
- مبني باستخدام
- TypeScript