Automating defeasible reasoning in law with answer set programming
The paper studies defeasible reasoning in rule-based systems, in particular about legal norms and contracts. We identify rule modifiers that specify how rules interact and how they can be overridden. We then define rule transformations that eliminate these modifiers, leading in the end to a translat...
محفوظ في:
المؤلفون الرئيسيون: | LIM, How Khang, MAHAJAR, Avishkar, STRECKER, Martin, WONG, Meng Weng |
---|---|
التنسيق: | text |
اللغة: | English |
منشور في: |
Institutional Knowledge at Singapore Management University
2022
|
الموضوعات: | |
الوصول للمادة أونلاين: | https://ink.library.smu.edu.sg/cclaw/1 https://ink.library.smu.edu.sg/context/cclaw/article/1000/viewcontent/Automating_Defeasible_Reasoning_in_Law.pdf |
الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
مواد مشابهة
-
User guided abductive proof generation for answer set programming queries
بواسطة: MAHAJAN, Avishkar, وآخرون
منشور في: (2022) -
Compliance through model checking
بواسطة: MAHAJAN, Avishkar, وآخرون
منشور في: (2022) -
Defeasible semantics for L4
بواسطة: GOVERNATORI, Guido, وآخرون
منشور في: (2023) -
Traffic rule formalization for autonomous vehicle
بواسطة: BHUIYAN, Hanif, وآخرون
منشور في: (2022) -
Traffic rule formalization for autonomous vehicle
بواسطة: BHUIYAN, Hanif, وآخرون
منشور في: (2022)