นี่เป็นคำถามที่น่าสนใจมาก
กฎหมายอยู่ระหว่างภาษาในชีวิตประจำวันโดยมีกฎเกณฑ์ที่เปลี่ยนแปลงตลอดเวลาและมักจะมีกฎเกณฑ์ที่อ่อนนุ่มและภาษาโปรแกรมที่มีกฎเฉพาะเจาะจง
Legalese จริง ๆ แล้วกำหนดเงื่อนไขและหลายคำ (แต่ไม่ทั้งหมด!) ที่ใช้ในกฎหมายจริง ๆ แล้วมีความหมายแม่นยำ
อย่างไรก็ตามการตีความเป็นวิธีการที่คุณนำเสนอกรณีไปยังระบบตรรกะและการรับผลลัพธ์จะล้มเหลว กฎหมายเป็นคำจำกัดความทั่วไปที่จำเป็นต้องปรับให้เข้ากับกรณีเฉพาะที่เป็นปัญหา บ่อยครั้งที่นี่เป็นกระบวนการที่ไม่ซับซ้อนและตรงไปตรงมา แต่ไม่มีการรับประกันว่ามันจะเป็นและไม่มีวิธีที่ไม่สำคัญในการกำหนดขอบเขต
ตัวอย่างที่ดีคือการป้องกันตัวเอง ในระบบกฎหมายส่วนใหญ่คุณสามารถทำร้ายบุคคลอื่นได้โดยชอบด้วยกฎหมายหากคุณทำหน้าที่ป้องกันตนเอง อย่างไรก็ตามถ้อยคำมีความอ่อนไหวตามบริบทอย่างชัดเจน ตัวอย่างเช่นกฎหมายอาญาของอังกฤษที่เขียน:
บุคคลอาจใช้กำลังเช่นนี้มีเหตุผลในสถานการณ์ในการป้องกันอาชญากรรม [... ]
กฎหมายกรณีกำหนดสิ่งที่ "สมเหตุสมผล" ในบางกรณีแต่ไม่มีคำจำกัดความทั่วไปในหนังสือ นอกจากนี้ยังมีกฎหมายที่ใช้บังคับว่าการป้องกันอาชญากรรมนั้นหมายถึงอะไร เนื่องจากคำจำกัดความของอาชญากรรมยังไม่เกิดขึ้นศาลที่ตัดสินว่าการกระทำนั้นในความเป็นจริงอาชญากรรมความเชื่อที่สมเหตุสมผลนั้นเพียงพอแล้วในกรณีนี้ แต่ไม่ได้เขียนไว้ในกฎหมายจริง ๆ !
ในการสร้างผู้มีอำนาจตัดสินใจด้านดิจิทัลเกี่ยวกับกฎหมายคุณจะต้องให้อาหารไม่เพียง แต่กฎหมายเท่านั้น แต่ยังรวมถึงกฎหมายกรณีทั้งหมดความเข้าใจภาษาธรรมชาติจำนวนมากและกฎมากมายเกี่ยวกับวิธีการใช้ความรู้ทั้งหมดเพราะ บางครั้งกรณีที่กฎหมายมีความมั่นคงบางครั้งคุณสามารถโค้งงอได้
และในที่สุดกฎหมายก็เปลี่ยนแปลงและปรับตัวไม่เพียง แต่ในหนังสือเท่านั้น แต่ยังรวมถึงการตีความด้วย มีตัวอย่างที่โด่งดังมากมายของศาลสูงที่เอาชนะการตัดสินใจอายุ 20 ปีของตนเอง บ่อยครั้งที่ความท้าทายต่อกฎหมายคดีก่อนหน้านี้เกิดขึ้นอย่างแน่นอนเพราะผู้พิพากษาตัดสินใจที่จะต่อต้านกฎหมายที่จัดตั้งขึ้นและเขาค่อนข้างจะเสี่ยงต่อการถูกครอบงำที่ศาลสูงกว่าการตัดสินใจที่เขาไม่ได้ยืนอยู่ข้างหลัง ฉันสงสัยว่าคุณจะสร้างแบบจำลองความสามารถนี้ในระบบ NP-complete อย่างไร
ในการคำนวณความซับซ้อนของระบบนั้นเราต้องเข้าใจอินพุตและเอาต์พุต อย่างไรก็ตามกฎหมายเป็นระบบเปิด สิ่งใดก็ตามในสภาพแวดล้อมของมันสามารถมีอิทธิพลต่อมันโดยเฉพาะการเปลี่ยนแปลงทางสังคมและวัฒนธรรม ประเทศส่วนใหญ่มีกฎหมายเกี่ยวกับหนังสือที่ไม่ค่อยได้ใช้อีกต่อไปเพราะสังคมมีการเปลี่ยนแปลง แต่กระบวนการสร้างกฎหมายล่าช้ากว่าเดิม กฎหมายต่อต้านการรักร่วมเพศเป็นตัวอย่างในปัจจุบัน หรือโทษประหารชีวิตซึ่งในประเทศส่วนใหญ่ไม่ได้ใช้จริงมานานหลายปีหรือหลายสิบปีก่อนที่จะถูกถอดออกจากหนังสือกฎหมาย และไม่ใช่เพราะไม่มีกรณีที่จะสามารถนำมาใช้ได้ แต่เพียงเพราะผู้พิพากษาไม่ได้ใช้มันแม้จะมีทางเลือก
ปัจจัยด้านสิ่งแวดล้อมเหล่านี้ทำให้การประเมินมีความซับซ้อนแทบเป็นไปไม่ได้เพราะเราไม่สามารถระบุได้ในรายการที่ จำกัด เว้นแต่เราจะใช้ปริมาณทั้งหมด (เช่น "ทุกชนิดของ ... " หรือ "ทั้งหมด ... ")