Arg2P

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

More details are available on the official wiki.

Getting Started

Arg2p is available as a 2P-Kt library.

JVM Library - Gradle

To import the Arg2p module (version ARG2P_VERSION) into your Kotlin-based Gradle project, declare the dependency in your build.gradle(.kts) file:

repositories {
   mavenCentral()
}

dependencies {
   implementation("it.unibo.tuprolog.argumentation:arg2p-jvm:ARG2P_VERSION")
}

Usage Example

import it.unibo.tuprolog.argumentation.core.Arg2pSolverFactory
import it.unibo.tuprolog.argumentation.core.libs.basic.FlagsBuilder

fun main() {
    val graph = Arg2pSolverFactory.evaluate("""
        f1 :=> d.
        f2 :=> -d.
    """.trimIndent(), FlagsBuilder()).first()

    graph.labellings.forEach {
        println("${it.label} : ${it.argument.conclusion}")
    }
}

For a complete example, check out the GitHub demo.

NPM Library

The Arg2P software is available on NPM as a JavaScript library as well. It can be found under the @tuprolog organization. To use the library, add the dependency to your package.json:

{
  "dependencies": {
    "@tuprolog/arg2p": "ARG2P_VERSION"
  }
}

Usage Example

const arg2p = require('@tuprolog/arg2p').it.unibo.tuprolog.argumentation.bridge.JsBridge

const graph = arg2p.solve('buildLabelSets', `
    f1 :=> d.
    f2 :=> -d.`, `
    graphBuildMode(standard_af).
    statementLabellingMode(statement).
    argumentLabellingMode(grounded_hash).
    orderingPrinciple(last).
    orderingComparator(elitist).
    graphExtension(standardPref).
    queryMode.`, _ => { }).i.next().graph

graph.arguments.forEach(arg => {
    console.log(`${arg.label} : ${arg.descriptor}`)
})

For a complete example, see the repository.

Arg2p IDE

The Arg2p IDE is available on the Releases section of the GitHub repository.

In the latest release page, download the Asset named:

arg2p-ide-ARG2P_VERSION-redist.jar

a self-contained, executable Jar containing the 2P-Kt-based Prolog interpreter (ARG2P_VERSION will vary depending on the actual release version).

After you download the arg2p-ide-ARG2P_VERSION-redist.jar, you can simply launch it by running:

java -jar arg2p-ide-ARG2P_VERSION-redist.jar

If your JVM is properly configured, you can also start the IDE by double-clicking the JAR file.

Features

• Query Execution: Write your query in the text field and hit Enter or click >.
• Solution Exploration: Click > for the next solution or >> to compute all solutions.
• New Query: Click X to stop the current query, then enter a new one.

Additional Tabs

• Graph Tab: Displays a graphical representation of the abstract argumentation graph.
• Arg Flag Tab: Shows and allows modification of Arg2P flags. Detailed descriptions are on the official wiki.

Arg2p Playground

Try Arg2P directly in your browser using the Web Playground.

It functions the same as the Java IDE, offering an interactive experience without installation.

Issue tracking

If you encounter any issues, please report them on the GitHub Issues page.
Your feedback helps improve the project!