提出 Argument Interchange Format（AIF）的論文[1]。AIF 是一個發展中的概念模型，其目標是做為一種通用的、交換論點（argument）的格式，這有助於開發實用的論辯系統，無論是要自動化地檢驗結論或是操作論點架構。後續的研究也有用 RDF 實作的 Semantic Web[2]、基於 Description Logic 的 ontology[3] 等等。
AIF 的語法要是機器可讀的（machine readable）。它的語意在可行的範圍內要是機器可處理的（machine processable）。它提出一套概念模型，可以實作在 XML、S-expression 等等符號系統中。它定義的是概念模型的核心（core concept），不同的應用可以自行擴充（extension）。
AIF 模型包含 3 個概念：
- Argument and Argument Network：與論點所構成的論述相關的概念。
- Communication：與論點的傳達相關的概念，例如用詞（locution）、互動模式（protocol）。
- Context：和 argument network 與 communication 相關的情境條件，例如推理用的理論（theory）、參與論辯的人（agent）。
對於 argument 的基本假設是，它們可以表示成 directed graph 裡的節點（node）。這個 directed graph 就是 argument network。節點分成 information node（I-node）與 scheme application node（S-node)。I-node 好理解。S-node 代表的是某種獨立於 domain 的論理模式（patterns of reasoning），在這裡列出了 3 種：inference scheme（RA-node）、preference scheme（PA-node）、conflict scheme（CA-node）。
每個節點有些屬性。幾個特別的屬性是：type（分為 decision、action、goal、belief）、evaluation（或 strength）、acceptability、polarity（分為 pro 或 con）。
以上 4 種節點之間會產生 16 種關聯（注意這是 directed graph）。
具體的例子像是這樣：
這個例子的爭點是某一隻企鵝（以 opus 代表）會不會飛。圖中粉紅色的節點是 I-node，黃色的節點是各種 S-node。左側的論點是「大部份的鳥會飛（有個 0.8 的權重），opus 是鳥，所以 opus 應該會飛」；右側的論點是「企鵝不會飛，opus 是企鵝，所以 opus 不會飛」。兩邊基本上都是肯定前件論證（Modus Ponens，表示為兩側的 RA-nodes），兩者互斥（表示為中間的 CA-node），但左側是 defeasible 的，所以右側論點成功反駁左側論點（表示為右上方的 PA-node）。
後半篇論文談到 communication、context（communication context 與 aurgment network context）、在 ASPIC（Arugment Service Platform with Integrated Components）計劃中運用的實例，就留到下次再看。
[1] C. Chesñevar et al., “Towards an argument interchange format,” The Knowledge Engineering Review, vol. 21, no. 4, pp. 293–316, Dec. 2006.
[2] I. Rahwan, F. Zablith, and C. Reed, “Laying the foundations for a World Wide Argument Web,” Artificial Intelligence, vol. 171, no. 10, pp. 897–921, Jul. 2007.
[3] I. Rahwan, B. Banihashemi, C. Reed, D. Walton, and S. Abdallah, “Representing and classifying arguments on the Semantic Web,” The Knowledge Engineering Review, vol. 26, no. 4, pp. 487–511, Dec. 2011.
