jsbaf

deductive-aspic-minus

Deductive ASPIC⊖：整合 gen-rebuttals 與偏好化 JSBAF 以維持 preferred 類語義下的理性準則

形式化論證在人工智慧研究中占重要地位。本文提出Deductive ASPIC⊖，結合gen-rebuttals與偏好化的JSBAF以追蹤嚴格蘊涵。方法在偏好導向的preferred語義下處理反駁與undercut。理論分析顯示此框架可同時滿足五項理性準則。