咨询与建议

看过本文的还看了

相关文献

该作者的其他文献

文献详情 >Automating Defeasible Reasonin... 收藏
arXiv

Automating Defeasible Reasoning in Law

作     者:Lim, How Khang Mahajan, Avishkar Strecker, Martin Wong, Meng Weng 

作者机构:Singapore Management University Singapore 

出 版 物:《arXiv》 (arXiv)

年 卷 期:2022年

核心收录:

主  题:Logic 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 translation of rules to formulas. For reasoning with and about rules, we contrast two approaches, one in a classical logic with SMT solvers as proof engines, one in a non-monotonic logic with Answer Set Programming *** Codes F.4.1 © 2022, CC BY-SA.

读者评论 与其他读者分享你的观点

用户名:未登录
我的评分