Argument Interchange Format（AIF）とは、意味論的に豊富な言語を用いて、研究グループ、ツール、およびドメインの間で論証（argument）に関する資源を交換するための表現機構を開発することを目的とした国際的な取り組みである。AIF の歴史は、2005年にブダペストで開催されたコロキウムに遡る。ブダペストでの成果は、2006年に草案的な記述として最初に発表されたChesnevar, Carlos, Sanjay Modgil, Iyad Rahwan, Chris Reed, Guillermo Simari, Matthew South, Gerard Vreeswijk, and Steven Willmott. "Towards an argument interchange format." The knowledge engineering review 21, no. 4 (2006): 293-316.。この基盤の上に、その後の研究は AIF を用いての基礎を築くために使われた。
AIF-RDF は、のセマンティック言語で表現された拡張オントロジーである。
Argument Interchange Format は、複数のドメイン（論証のドメインおよび学術研究のドメインの双方）で機能する論証の共通理解を捉えることを目的とした、少数のオントロジー的概念のセットを導入する。これにより、異なる領域の異なるプロジェクト間でデータを共有し再利用することが可能になる。これらのオントロジー的概念は以下のとおりである。 情報（I-nodes） 推論規則の適用（RA-nodes） 対立規則の適用（CA-nodes） 選好規則の適用（PA-nodes）
さらに以下によって拡張される。 スキーマ形式（F-nodes）: RA・CA・PA ノードによってインスタンス化される
AIF は、以下のようなさまざまな開発環境および実装言語におけるを持つ。 MySQL データベーススキーマ RDF Prolog JSON
さらに、DOTやSVGといった視覚言語への翻訳もある。
AIF データは、AIFdb からオンラインでアクセスできる。
関連項目 論証地図
脚注
外部リンク http://www.argumentinterchange.org/ http://www.aifdb.org