摘要：形式论辩是当前人工智能领域的研究热点之一。作为一种非单调推理形式手段,它可以与自然语言处理、论证挖掘等多个研究方向结合。然而,如何运用形式论辩理论来建模非形式论证,仍然是一个开放性问题。文章以此为出发点,着眼于一种在法律、伦理领域常见的非形式论证--滑坡论证,使用形式论辩方法对其进行建模。借鉴非形式逻辑领域论证图式的研究,文章对一个源于自然语言文本的滑坡论证案例,即"明日复明日",进行了深入分析。在此基础上结合形式论辩领域中的抽象论辩框架及结构化论辩ASPIC+系统,对滑坡论证进行刻画,构建了一个针对滑坡论证的形式化论辩理论。案例研究显示,使用文章给出的滑坡论辩理论推理的结果符合人类推理直觉。