Towards an argument interchange format (2006)

Pomin Wu
Pomin Wu
Mar 30, 2018 · 5 min read
AIF 的概念模型包含 argument network、communication,與 context

提出 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)。

Argument network 裡,不同節點與 context 的關係

每個節點有些屬性。幾個特別的屬性是:type(分為 decision、action、goal、belief)、evaluation(或 strength)、acceptability、polarity(分為 pro 或 con)。

以上 4 種節點之間會產生 16 種關聯(注意這是 directed graph)。

具體的例子像是這樣:

「企鵝 opus 不會飛」的論證

這個例子的爭點是某一隻企鵝(以 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.

彎曲論報

身段太硬,發展會受限,所以要勤拉筋,看論文

Pomin Wu

Written by

Pomin Wu

Co-founder of Trustable AI. Interested in mathematics, photography, map, open culture.

彎曲論報

身段太硬,發展會受限,所以要勤拉筋,看論文

Welcome to a place where words matter. On Medium, smart voices and original ideas take center stage - with no ads in sight. Watch
Follow all the topics you care about, and we’ll deliver the best stories for you to your homepage and inbox. Explore
Get unlimited access to the best stories on Medium — and support writers while you’re at it. Just $5/month. Upgrade