可废止论证相关论文
可废止逻辑具有线性的计算复杂性和有效的规则冲突处理机制,在处理非单调性的推理和论证中具有显著的优势。但在可废止论证关系上,......
近年来,非形式逻辑学家和人工智能专家开展了颇有成效的合作。非形式逻辑的一些概念和方法渗透到人工智能特别是“人工智能和法律”......
图尔敏为挑战几何学论证模式的普遍性而提出的论证法学模式,已成为普遍化的论证模式。新兴的非形式逻辑或论证逻辑,从论辩实践出发......
人工智能与法是20世纪70年代兴起的一门交叉学科,主要涉及人工智能和法律逻辑等领域,其研究对象是法律论证的人工智能建模。本文从......