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