Jan, 2024

使用 s (LAW) 进行带有行动裁量的自动法律推理

PDF
TL;DR自动法律推理在智能合约和自动决策中的应用日益受到关注，然而伦理和法律问题使得自动推理器在人能理解的术语中进行理由指明变得必要。本文提出使用 s (CASP) 来建模不确定性和其他模糊概念，并实现了一个框架来模拟、推理和证实适用法规，并通过翻译和基准测试了一个代表性用例，即 “Comunidad de Madrid” 的学生录取标准。
automated legal reasoningsmart contractsautomated decisionsethicslogic programming
发现论文，激发创造
  • 目标导向的约束答案集程序设计的证明

    使用基于约束的谓词应答集编程的查询驱动自顶向下执行模型 s (CASP) 生成完整解释树，为 ASP 应答集提供最小化且易于转化为自然语言的解释，显著促进了 ASP 程序理解和操作的可行性。

    Sep, 2020

  • 带有 s (CASP) 的反事实解释生成

    自动决策的机器学习模型在贷款批准、预审保释、招聘等领域越来越普遍，但大多数模型是不透明的，无法揭示决策依据。本文专注于自动生成反事实解释的问题，采用了答案集规划和 s (CASP) 目标导向 ASP 系统。我们展示了如何计算和证明反事实解释，并通过想象多个可能的世界来导航解释间的关系。此外，我们还展示了如何利用我们的算法为无法满足查询的一类答案集程序找到 Craig 插值。

    Oct, 2023

  • 弱约束 ASP 中的行为逻辑悖论

    AI 技术的崛起在面对法律、社会和伦理规范敏感的各种应用中需要决策支持，而规范推理是德意志逻辑的领域，在解决著名的基准问题（德意志悖论）方面存在挑战，并且缺乏高效的计算工具。本文使用 Answer Set Programming (ASP) 来解决这些不足，并展示了如何利用弱约束编码和解决几个著名的德意志悖论。通过抽象和概括这种编码，我们提出了一种将 ASP 与弱约束组合的方法论来翻译规范系统的方法。该方法应用于 “道德” 版本的 Pac-man 游戏中，我们得到了与相关作品相当的性能，但是结果更加符合伦理要求。

    Aug, 2023

  • 更加表意与抽象的逻辑程序的配置

    本篇论文重点针对模型导向人工智能的方法及其应用中 SAT 和 ASP 这两个系统的输入形式进行分析，特别是通过将输入形式重新制定和配置，优化推理过程。经过广泛领域内数据的实验证明，使用这种方法可以获得不同的优势。

    Mar, 2022

  • 回答应答集规划中的 “为什么” - 解释方法综述

    该论文为对 ASP 的解释性研究做出了概述。主要关注 ASP 的不同解释方式及其异同，并探讨其在未来的成功应用中的重要性。

    Sep, 2018

  • 基于答案集语义的逻辑程序的证明

    本文介绍了基于图的解释 Answer Set 编程的离线和在线证明方法，并将其集成到计算模型中用于调试 Answer Set 程序。

    Dec, 2008

  • 自动化法律中的可退后推理

    研究纠纷推理在基于规则的系统中的应用，提供了两种推理方法并将规则转换为公式。

    May, 2022

  • 基于 Answer Set Programming 的定性理论编码和推理的一般方法

    这篇论文提出了使用 ASP 作为一个统一的形式化语言来解决需要定性推理和非定性推理的问题，提出了一族可以处理任何二进制关系资料的 ASP 编码，并且在真实数据集的实验中进行了评估。

    Aug, 2020

  • ASP 中的多智体认知规划建模

    本文介绍了一种基于声明式编程技术的多智能体认知情境下的推理问题的解决方案，即 PLATO（基于 ePistemic 多智能体 Answer Program 解决方案），利用自定义认知状态表征和 ASP 求解器的效率，在从文献中收集的基准测试中取得了有竞争力的性能结果，并为其正确性开发了形式验证。

    Aug, 2020

  • 大语言模型和答集编程实现可靠自然语言理解

    提出了一个结合了大型语言模型和逻辑编程 Answer Set Programming 的框架 STAR，通过在语言上提取知识并利用 ASP 进行规定驱动的推理，以提高针对需要推理的 NLU 任务的性能和可解释性。

    Feb, 2023