法律本体论的道义推理Deontic reasoning for legal ontologies |
|
课程网址: | http://videolectures.net/eswc2019_kacfah_legal_ontologies/ |
主讲教师: | Cheikh Kacfah |
开课单位: | 克劳德·伯纳德·里昂大学 |
开课时间: | 2019-09-19 |
课程语种: | 英语 |
中文简介: | 存在许多标准来规范法律文本和规则。法律本体论也是如此。然而,对于这些本体建模的规则,没有证据理论可以得出结论。我们通过提出一种新的道义陈述模型来解决这一差距,然后我们使用这种模型提出推理机制来回答道义问题,即“是否强制/允许/禁止……”等问题。我们还表明,使用这种建模,可以检查道义规则库的一致性。这项工作是在道义规则基础上实现证明理论的第一个重要步骤。 |
课程简介: | Many standards exist to formalize legal texts and rules. The same is true for legal ontologies. However, there is no proof theory to draw conclusions for these ontologically modeled rules. We address this gap by the proposal of a new modeling of deontic statements, and then we use this modeling to propose reasoning mechanisms to answer deontic questions i.e., questions like “Is it mandatory/permitted/prohibited to...”. We also show that using this modeling, it is possible to check the consistency of a deontic rule base. This work stands as a first important step towards a proof theory over a deontic rule base. |
关 键 词: | 规范法律文本和规则; 本体建模的规则; 新的道义陈述模型; 法律本体论 |
课程来源: | 视频讲座网 |
数据采集: | 2022-09-20:cyh |
最后编审: | 2022-09-21:cyh |
阅读次数: | 4 |