Formalizing a Switch of Burden of Proof by Logic Programming
Formalizing a Switch of Burden of Proof by Logic Programming
复制标题
通过逻辑编程形式化证明责任切换
DOI：
--
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
Yoshitaka Suzuki
中科院分区：
文献类型：
--
作者：
K. Satoh;S. Tojo;Yoshitaka Suzuki
Prakken [2] 认为，我们不能通过论证框架或非单调推理来形式化法律推理中的证明责任转换，因为论证语义可以代表任何非单调形式主义。在本文中，我们认为，通过以与日本民事诉讼法不同的方式形式化举证责任，可以在非单调推理中形式化举证责任的转换。
Prakken [2] argues that we cannot formalize a switch of burden of proof in legal reasoning either by argumentation framework or by nonmonotonic reasoning since argumentation semantics can represent any nonmonotonic formalism. In this paper, we argue that a switch of burden of proof can be formalized in nonmonotonic reasoning by formalizing burden of proof in a different way followed by the Japanese civil procedure law.