非形式逻辑研究人们日常生活中的论证实践，关注论证的论辩性、程序性和语用特点。基 于人工智能的形式论证理论研究人工主体间的抽象论证活动，它在吸收非形式逻辑特性的基础 上重构了非形式逻辑的诸多理论，这间接导致非形式逻辑的学科作用和理论诉求遭受质疑。然 而，这种观点并没有把握非形式逻辑的本质，它与人工智能并不冲突，两者是互相补充的关系。 非形式逻辑启发了人工智能的发展，为其提供了理论源泉和哲学辩护；人工智能使得非形式逻 辑的理论得到了更好的推广和应用，而且一些重要概念和研究对象在人工语言的形式表达下得 到了更准确的刻画。
