Nomos
कानूनी नियमों के लिए एक प्रायोगिक प्रोग्रामिंग भाषा।
Stephane Boghossian का एक ओपन-सोर्स प्रोजेक्ट
यह क्या है
Nomos कानूनी नियमों को कोड के रूप में लिखने के लिए एक प्रायोगिक प्रोग्रामिंग भाषा है। आप टाइप किए हुए नियम लिखते हैं, उसे तथ्य देते हैं, और वह प्रमाण-वृक्ष के साथ निर्णय लौटाती है।
इसे क्यों बनाया गया
कानूनी तर्क पहले से ही एक गणना है: कानून विधेय तय करते हैं, तथ्य इनपुट हैं और मिसाल एक प्राथमिकता-क्रम है। कठिनाई यह है कि दुनिया गद्य में बोलती है। थीसिस यह है कि भाषा मॉडल को किनारे पर रखा जाए और भीतर निश्चित तर्क रखा जाए।
यह कैसे काम करता है
- टाइप किए गए भाषा-मॉडल ब्रिज गद्य से तथ्य निकालते हैं, और कम भरोसे वाले निष्कर्ष किसी व्यक्ति के पास जा सकते हैं।
- नियमों के साथ एक अधिकार-क्षेत्र और एक वैधता तिथि होती है, और क्वेरी किसी तिथि के अनुसार चलती हैं।
- नियमों के टकराव का निपटारा पहले प्राथमिकता, फिर विशिष्टता, फिर नवीनता से होता है, और प्रमाण-वृक्ष हर फ़ैसले की वजह समझाता है।
- हर निर्णय के साथ उसके पीछे के प्राधिकार, तथ्य और नियम-श्रृंखला होती है।
स्थिति
ओपन सोर्स
कोड सार्वजनिक है और पढ़ने के लिए खुला है।
निर्माण विवरण
- लाइसेंस
- Apache-2.0
- जिससे बना है
- TypeScript