Arg2P

Arg2P

Arg2P は、構造化された論証のための ASPIC⁺ フレームワークの実装であり、仮定ベースのフレームワークと抽象フレームワークも読み込めます。tuProlog エンジンを基盤としており、同じ API を使って JVM、JavaScript（Node.js とブラウザー）、Python で動作します。ソルバーはブラウザー、VS Code、および AI アシスタント向けに動作します。

ドキュメントは はじめにからご覧いただけます。

---

インストール

JVM（Gradle、Maven Central）	implementation("it.unibo.tuprolog.argumentation:arg2p-jvm:<VERSION>")
JavaScript（npm）	npm install @tuprolog/arg2p
Python（PyPI）	pip install arg2p（wheel には Java ランタイムがバンドルされています）
ブラウザー	Web Playground：インストール不要
VS Code	拡張機能
Claude Code	/plugin install arg2p --marketplace tuProlog/arg2p-kt
Codex	codex plugin marketplace add tuProlog/arg2p-ktを実行し、続いて/pluginsからarg2pをインストールします

<VERSION>は最新リリースのバージョンで、上記の Maven Central バッジに表示されています。各プラットフォームでの最初のプログラム、プレイグラウンド、VS Code 拡張機能、および AI アシスタント向け Arg2P プラグインと MCP サーバー（その他のクライアントと、サーバー単体）については、実行をご覧ください。

---

問題の追跡

問題が発生した場合は、GitHub Issuesページで報告してください。
皆さまからのフィードバックが、プロジェクトの改善につながります！

---

参考文献

Arg2P は次の文献で紹介されています。

• Roberta Calegari, Andrea Omicini, Giuseppe Pisano, Giovanni Sartor. Arg2P: an argumentation framework for explainable intelligent systems. Journal of Logic and Computation, 32(2):369–401, 2022. doi:10.1093/logcom/exab089
• Giuseppe Pisano. Argumentation for legal reasoning: meta-models, technology and beyond. 博士論文、Alma Mater Studiorum — Università di Bologna、2024 年。 doi:10.48676/unibo/amsdottorato/11671

説得の立証責任、デフォルト可能な選好、モジュール性、因果関係、分散推論といった個々の機能については、それぞれ独自の論文があります。論文の一覧は、Wiki の 参考文献ページをご覧ください。

引用について

Arg2P を学術研究で使用する場合は、次の文献を引用してください。

@article{arg2p,
  author  = {Calegari, Roberta and Omicini, Andrea and Pisano, Giuseppe and Sartor, Giovanni},
  title   = {{Arg2P}: an argumentation framework for explainable intelligent systems},
  journal = {Journal of Logic and Computation},
  volume  = {32},
  number  = {2},
  pages   = {369--401},
  year    = {2022},
  doi     = {10.1093/logcom/exab089}
}

@phdthesis{pisano2024argumentation,
  author  = {Pisano, Giuseppe},
  title   = {Argumentation for legal reasoning: meta-models, technology and beyond},
  school  = {Alma Mater Studiorum --- Universit\`a di Bologna},
  year    = {2024},
  doi     = {10.48676/unibo/amsdottorato/11671}
}