利用论证理论和义务逻辑解释非单调规范推理
原文中文，约1200字，阅读约需3分钟。
📝
内容提要
本文探讨了基于ASPIC+形式主义的论证框架，以解决自主代理人在任务执行中的冲突问题，并提出适用于法律智能和伦理决策的推理方法。研究展示了如何在不确定环境中设计代理的伦理义务，提出新的功利伦理逻辑和推导状态论证框架，增强决策的透明度和一致性。
❓
Q&A
ASPIC+形式主义在论证框架中有什么作用？
ASPIC+形式主义为构建带偏好的论证框架提供了基础，适应更广泛的逻辑实例化需求。
如何解决自主代理人在任务执行中的冲突问题？
通过基于模态逻辑和论证的逻辑框架，评估并选择最优计划来解决冲突问题。
在法律智能领域，如何实现推理？
使用结构化论证框架和DL本体论来实现推理，并提供对推理结果的正式定义。
可撤销逻辑的变体有哪些？
提出了两个变体的可撤销逻辑，并针对这两个变体开发了高效算法。
推导状态论证框架（DSA-framework）有什么应用？
DSA-framework用于解释软约束规范中的预先处置情况，提供新的理解和应用潜力。
如何提升决策的透明度和一致性？
通过引入辩证推理方法和大语言模型，构建可自然解释的论证框架来提升透明度和一致性。
🏷️
