ISS: Exploring Intervention-Solution Spaces (research prototype)

Try it: *ISS Explorer (ISS-X)* — pick a specimen and an ISS concept (Hydra, Shadow, …); its witness lights up in the suspension lattice. More exhibits: idaks.github.io/ISS (specimen zoo, literature cage).

Prototype accompanying: S. Bowers, B. Ludäscher, /Exploring Intervention-Solution Spaces (ISS): Change and Choice in Abstract Argumentation/, SAFA’26 (6th Intl. Workshop on Systems & Algorithms for Formal Argumentation), CEUR Workshop Proceedings, 2026. To appear.

Sweeps the suspension lattice of a small AF and detects ISS phenomena (Hydra, Domino, Plateau, Shadow, Phoenix, Chameleon, radii) plus the sound quotient.

• iss_explore.py — Atlas (Alg. 1)
• synthesize.py — Synth (Alg. 2, minimal specimens)
• experiments/ — the scripts behind the paper’s computational claims: the exhaustive minimal-specimen searches and the verification runs for individual propositions and counterexamples

python3 iss_explore.py --atlas          # built-in minimal specimens
python3 iss_explore.py <af.json>        # af-xray JSON format
python3 synthesize.py [maxN]
PYTHONPATH=. python3 experiments/plateau_test.py

Python 3, no dependencies. Brute force; feasible for |R| ≲ 12.

• traces/ — captured runs of the two entry points (date + Python version in the header), as a minimal record that the searches and checks were actually executed.

Independent verification in ASP (clingo)

asp/ re-verifies the prototype with an independent solver: the Python semantics kernels are swapped for ASP encodings (grounded.lp — monotone least-fixpoint; preferred.lp — admissible guess + subset-maximal enumeration via clingo’s domain heuristics, the ASPARTIX-V technique), and the same lattice sweeps re-run.

PYTHONPATH=. python3 asp/iss_clingo.py --check    # kernel parity, every lattice state
PYTHONPATH=. python3 asp/iss_clingo.py --atlas    # atlas report, clingo kernels
PYTHONPATH=. python3 asp/iss_clingo.py --synth 3  # specimen search, clingo kernels
PYTHONPATH=. python3 asp/make_gv.py               # specimen .gv/.svg (gv/), ASP-labeled

Result (see traces/asp-run.txt): kernel parity on all lattice states, identical atlas, identical minimal specimens. Requires pip install clingo; gv/ rendering requires graphviz.