Arg2P

Arg2P is a lightweight implementation of the ASPIC⁺ framework for structured argumentation. Built on top of the tuProlog engine, it supports both JVM and Node environments.

New here? The Getting Started page takes you from nothing to a first working evaluation.

Arg2p Playground

Try Arg2P directly in your browser using the Web Playground.

No installation required: the solver runs in the browser. Write an Arg2P theory, solve a query one solution at a time, and browse the argument graph of each solution and the stages of its computation. The profile a theory states tells the framework it is read in, and the Flags panel sets the semantics and every other flag, with the value in effect and where it comes from.

An abstract framework is a theory too (graphBuildMode(abstract).): it is drawn, and the drawing edits the theory. Arguments and attacks are added, renamed and deleted by drawing, the labelling of the solution colours them, and hovering or tapping an argument tells its label, what attacks it and what it attacks. Frameworks are imported from APX, TGF and ICCMA'23 files, and exported to APX and TGF.

Theories are kept in tabs in the browser, shared as links, opened from and saved to files; the playground works offline once installed as an app, on desktops, tablets and phones.

Arg2p for VS Code

The extension of VS Code edits theories as .arg2p files: their syntax is highlighted and their syntax errors show as they are typed. Arg2P: Open the Solver opens the solver of the playground beside a theory, running on the JVM: its solutions, their graphs, the drawing of an abstract framework and the flags. It bundles the language server of Arg2P and the Java runtime it runs on.

Arg2p for AI assistants

The language server of Arg2P is also an MCP server, for AI assistants to solve theories with it: see Execution.