Arg2P

Name: Arg2P
Author: tuProlog

本地服务

tuprolog.github.ioAI 与智能体141 天前更新

代码仓库访问官网

关于 Arg2P

Arg2P 实现 ASPIC+ 结构化论证框架，也可读取基于假设和抽象框架。它面向构建可解释推理系统的研究者与开发者，在 JVM、JavaScript 和 Python 上提供统一 API，并可通过浏览器、VS Code 和 AI 助手运行求解器。

主要功能

01求解 ASPIC+ 论证理论
02读取基于假设和抽象框架
03JVM、JavaScript 和 Python 共用 API
04在浏览器和 VS Code 中运行求解器
05通过 AI 助手集成使用

适用场景

01探索结构化论证结果
02构建可解释推理系统
03在法律推理研究中使用论证

MCP 相关

项目为 AI 助手提供 MCP 服务，但 README 未说明其工具或对外提供的能力。

配置

本地服务的配置在各客户端中通用，复制后粘贴到客户端的 MCP 配置文件即可。

mcp.json · 通用配置

{
  "mcpServers": {
    "tuprolog-arg2p": {
      "command": "uvx",
      "args": [
        "arg2p"
      ]
    }
  }
}

启动命令uvx arg2p

本地服务需要在你的电脑上安装运行环境（如 Node.js 18+）。各客户端的配置文件位置不同，请参考客户端文档。

安装包

pypiarg2p0.23.0stdio

工具

收录的工具列表 · 更新于 2 天前

参数	类型	必填	说明
flags	string	否	标志，采用 Prolog 事实格式：argumentLabellingMode(grounded\|complete\|preferred\|stable\|semistable\|ideal\|eager\|naive\|stage\|cf2\|stage2\|...)、statementLabellingMode(statement)、queryMode、graphBuildMode(...)、... 默认值：grounded 语义、标准 statement 标记、query 模式。
query	string	否	理论上的 Prolog 目标（默认值：arg2p::solve(In, Out, Und)）
theory	string	是	arg2p 语言中的理论：规则 `r1 : bird(X) => flies(X).`（可废止）和 `r2 : a -> b.`（严格），前提 `f1 :=> bird(tweety).`，公理 `f2 :-> a.`，优先级 `sup(r1, r2).`，否定 `-flies(X)`，Prolog 子句。其配置文件 `graphBuildMode(aspic_plus).`（默认值）、`aspic`、`aspic_defeasible`、`meta`、`aba`（assumption/1、contrary/2、严格规则）、`aba_plus`、`abstract`（论证 `a.`、攻击 `a -> b.`、`a <-> b.`）或 `free`，用于告知框架所读取的内容。
maxSolutions	integer	否	最多返回多少个解（默认 5，最多 100）
timeoutSeconds	integer	否	等待时长（秒；默认 60，最多 600）

详细介绍

Arg2P

Arg2P 是 ASPIC⁺ 结构化论证框架的一个实现，也支持读取基于假设的框架和抽象框架。它基于 tuProlog 引擎构建，可在 JVM、JavaScript（Node.js 和浏览器）以及 Python 中运行，并提供相同的 API；其求解器可在浏览器、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 演练场：无需安装
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 服务（其他客户端，以及独立服务）。

VS Code 中的 Arg2P

问题跟踪

如果遇到任何问题，请在 GitHub Issues 页面提交报告。
您的反馈有助于改进项目！

参考文献

Arg2P 的相关介绍见：

Roberta Calegari、Andrea Omicini、Giuseppe Pisano、Giovanni Sartor。 Arg2P：一种用于可解释智能系统的论证框架。 Journal of Logic and Computation，32(2):369–401，2022。 doi:10.1093/logcom/exab089
Giuseppe Pisano。 法律推理中的论证：元模型、技术及其他。 博士论文，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}
}

支持 Markdown

登录后评论