形式論辯是當(dāng)前人工智能領(lǐng)域的研究熱點(diǎn)之一。作為一種非單調(diào)推理形式手段,它可以與自然語言處理、論證挖掘等多個(gè)研究方向結(jié)合。然而,如何運(yùn)用形式論辯理論來建模非形式論證,仍然是一個(gè)開放性問題。文章以此為出發(fā)點(diǎn),著眼于一種在法律、倫理領(lǐng)域常見的非形式論證——滑坡論證,使用形式論辯方法對(duì)其進(jìn)行建模。借鑒非形式邏輯領(lǐng)域論證圖式的研究,文章對(duì)一個(gè)源于自然語言文本的滑坡論證案例,即"明日復(fù)明日",進(jìn)行了深入分析。在此基礎(chǔ)上結(jié)合形式論辯領(lǐng)域中的抽象論辯框架及結(jié)構(gòu)化論辯ASPIC+系統(tǒng),對(duì)滑坡論證進(jìn)行刻畫,構(gòu)建了一個(gè)針對(duì)滑坡論證的形式化論辯理論。案例研究顯示,使用文章給出的滑坡論辯理論推理的結(jié)果符合人類推理直覺。

【文章頁數(shù)】：7 頁

【部分圖文】：

圖2滑坡論證過程例1.1論證圖式中所示的幾個(gè)階段可以分別

圖3抽象論辯框架態(tài)度的推理者認(rèn)為一個(gè)滑坡論證中所有的子論證都

2:?⊥A3:d1A4:d2A5:A2→?tnA6:A4?sltx－1A7:A4，A5??tyA8:A3，A6?sltxA9:A8?sltyA10:A7??txA11:A6，A10??d1A12:A4，A9?sltnA13:A12→j⊥A14:A5，A9??d2A15:A3，A1....

本文編號(hào)：3984673