使用 s(LAW) 进行具有裁量权的自动化法律推理
人工智能
2024-01-29 v1
摘要
自动化法律推理及其在智能合约和自动化决策中的应用正日益引起关注。在此背景下，出于伦理和法律方面的考虑，自动化推理器有必要以人类可理解的术语为其提供的建议提供理由。逻辑编程，特别是回答集编程 (Answer Set Programming, ASP)，具有丰富的语义，并已被用于非常简洁地表达复杂知识。然而，基于 Prolog 的自顶向下执行模型和基于 ASP 的自底向上执行模型无法对裁量权和其他模糊概念（如歧义）进行建模，且自底向上模型中的理由不完整和/或不可扩展。我们提出使用 s(CASP)（一种用于谓词 ASP 的自顶向下执行模型），遵循一组模式对模糊概念进行建模。我们实现了一个名为 s(LAW) 的框架，用于建模、推理和证明适用法律，并通过翻译（和基准测试）一个代表性用例（马德里自治区学生入学标准）来验证它。
引用
@article{arxiv.2401.14511,
title = {Automated legal reasoning with discretion to act using s(LAW)},
author = {Joaquín Arias and Mar Moreno-Rebato and José A. Rodríguez-García and Sascha Ossowski},
journal= {arXiv preprint arXiv:2401.14511},
year = {2024}
}