tuprolog/arg2p

Show the user the Arg2P solver of a theory, to explore its results themselves (solutions, argument graphs, stages, flags), when they want to see, browse, visualize or play with them.

Formalize a reasoning problem with conflicting information, exceptions, norms, preferences or burdens of proof as an Arg2P argumentation theory, before solving it with arg2p-solve.

Solve an Arg2P argumentation theory with the Arg2P solver and report what is accepted, rejected or undecided. Use whenever argumentation results are needed; never simulate the semantics by hand.