机构名称：
¥ 1.0
摘要。我们提出了SOID，这是一种使用基于SMT的自动推理来询问自主剂决策的工具。依靠Z3 SMT求解器和Klee象征性执行引擎，Soid al-Lows研究人员可以对有关代理行为的事实和反事实进行严格证明的答案，从而使有效的法律和工程责任制有害或其他错误的决策。我们在一对示例上进行定性和定量评估，i）从可解释的AI（XAI）文献中实现了经典决策树推理基准； ii）在类似的物理环境中发生车祸。对于后者，我们还贡献了Soid-GUI，这是一种基于领域的，基于网络的示例界面，用于法律和其他实践者，以指定事实和反事实查询，而无需复杂的编程或正式方法专业知识。
一种自动决策法律责任的工具
主要关键词
相关文件推荐
