ASP-based algorithms for stability and relevance in IAFs

Author: Daphne Odekerken

This package contains algorithms for stability and relevance in Incomplete Argumentation Frameworks under grounded and complete semantics.

For listing relevant updates under grounded semantics, see grounded_relevance.py.
For listing complete-credulous-IN/OUT/UNDEC updates, see complete_credulous_relevance.py.
For checking stability under grounded semantics, see grounded_stability.py.

Installation

First, make sure that Clingo is installed on your machine. Then run

git clone [email protected]:DaphneOdekerken/asp_relevance.git
pip install -r requirements.txt

Name		Name	Last commit message	Last commit date
Latest commit History 20 Commits
encodings		encodings
examples		examples
experiment_results		experiment_results
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
complete_credulous_relevance.py		complete_credulous_relevance.py
complete_credulous_stability.py		complete_credulous_stability.py
complete_sceptical_stability.py		complete_sceptical_stability.py
generate_and_experiment.py		generate_and_experiment.py
generate_dataset.py		generate_dataset.py
grounded_relevance.py		grounded_relevance.py
grounded_stability.py		grounded_stability.py
reachability.py		reachability.py
reachability_preprocessor.py		reachability_preprocessor.py
requirements.txt		requirements.txt
run_complete_credulous_relevance_experiments.py		run_complete_credulous_relevance_experiments.py
run_grounded_relevance_experiments.py		run_grounded_relevance_experiments.py
test_stability.py		test_stability.py