主要代表人物有J.L.普洛克、董潘明、H.帕肯、G.沙托爾、B.維赫雅和D.N.沃爾頓等。其歷史根源是20世紀70年代出現(xiàn)的非單調(diào)邏輯，包括缺省推理邏輯、限定理論、自認知邏輯和非單調(diào)繼承等。非單調(diào)邏輯研究促進基于邏輯語言形式的計算機編程的革新，諸如Prolog和專家系統(tǒng)。
由于非單調(diào)邏輯系統(tǒng)過于強調(diào)形式充分性，對實質(zhì)充分性和計算充分性關(guān)注不足，20世紀90年代以來，人工智能中的論證研究轉(zhuǎn)向可廢止推理、抽象論證、多主體系統(tǒng)和法律論證模型等領(lǐng)域。①可廢止推理是為論證建模的經(jīng)典工具，在擊敗形式上包括三種：削弱論證、反證論證和底切論證。這些論證擊敗形式已被運用于可廢止論證形式建模的ASPIC+系統(tǒng)之中。②抽象論證是對論證之間攻擊關(guān)系的形式研究，目標是為論證建立一個堅實的數(shù)學基礎(chǔ)。它運用有向圖表示論證之間的攻擊關(guān)系，核心思想是可采論證集，語義學包括“優(yōu)先語義學”和“穩(wěn)定語義學”，以及“有根語義學”和“完備語義學”等多種解釋理論。此外，建模工具還包括類似于命題賦值的加標技術(shù)，它通過標記“已證成”或“已擊敗”來進行論證的形式建模；其語義學包括“階段語義學”和“半穩(wěn)定語義學”等等。
從結(jié)構(gòu)而言，判定攻擊的標準包括特殊性、說服力、有初步假設(shè)的論證、論證與經(jīng)典邏輯以及支持與攻擊的組合等方式。當兩個論證沖突時，建立在特殊信息基礎(chǔ)上的論證贏得沖突并且擊敗一般論證，有說服力的論證比不太有說服力的論證更易幸存。對有初步假設(shè)的論證而言，如果初步假設(shè)受到攻擊，論證就被削弱。還可以通過經(jīng)典邏輯來對論證進行形式化，并提供攻擊是否成功的判定標準。把支持和攻擊組合起來的基本方式有四種：支持關(guān)系的支持，支持關(guān)系的攻擊，攻擊關(guān)系的支持，攻擊關(guān)系的攻擊。
論證型式是對日常論證包括風格化論證的圖式化，它類似于經(jīng)典邏輯中的推理規(guī)則，相對于后者的抽象性、嚴格性和普遍有效性，論證型式具有具體性、可廢止性和語境性。論證型式包括四個基本要素：結(jié)論，前提，使用條件和例外。論證型式研究主要有兩個進路，一個是批判性問題，另一個是形式化表達。
對話論證模型將論證的批判方面和程序方面結(jié)合到一起，它的應(yīng)用主要有兩個領(lǐng)域：一個是人工智能與法中的對話論證。例如，阿什莉海波系統(tǒng)（HYPO）以三層對話模型為起點。另一個是多主體系統(tǒng)中的論證對話。在其中，論證對話視角的計算優(yōu)勢被利用，對主體間沖突解決與信念形成而言，計算論證模型啟發(fā)交互協(xié)議的發(fā)展，這在說服型對話系統(tǒng)中得以充分體現(xiàn)。
在應(yīng)用方面，一個主要領(lǐng)域是“人工智能與法”，包括規(guī)則推理和案例推理。規(guī)則推理是結(jié)合經(jīng)典邏輯和非單調(diào)邏輯的元素，建模法律推理。案例推理是通過把案例處理為因素集，然后根據(jù)正反因素的比較，得出建議結(jié)果。現(xiàn)在，把案例推理和規(guī)則推理組合在一起的方案已被提出。
人工智能中的論證研究已經(jīng)在許多重要領(lǐng)域和個案研究中得到大量應(yīng)用，諸如醫(yī)療診斷、醫(yī)療決策、挖掘法律文本中的論證要素等等。關(guān)于軟件工具如何執(zhí)行或支持論證任務(wù)，人工智能研究者已提出要致力于開發(fā)論證機器（人工論證者）。當前工作主要圍繞三個主題：軟件中的論證圖解，規(guī)則與論證型式的整合，以及論證評價。
