Skip to content

Submission for the ICCMA 2023 - 5th International Competition on Computational Models of Argumentation

License

Notifications You must be signed in to change notification settings

p4s3r0/argument_solver

Repository files navigation

Dependencies

All dependencies are pre downloaded into the libraries folder. In order to install them, pip needs to be installed at the target system. Then simply execute the following command.

pip3 install --no-index --find-links libraries -r requirements.txt

Example Test Program

Place the example test into the main directory.

from Solver import AFSolver

s = AFSolver("CO", None)

s.add_argument(1)
s.add_argument(2)
s.add_attack(1, 2)

assert(s.solve_cred([1]))
assert(not s.solve_cred([2]))

s.del_attack(1,2)
assert(s.solve_cred([1]))
assert(s.solve_cred([2]))

s.add_argument(3)
s.add_attack(3, 2)
s.add_attack(2, 1)
assert(s.solve_cred([1]))
assert(not s.solve_cred([2]))
assert(s.solve_cred([3]))

s.del_argument(1)
s.add_argument(4)
s.add_attack(4, 3)
s.add_attack(3, 4)
assert(s.solve_cred([2]))
assert(s.solve_cred([3]))
assert(not s.solve_skept([4]))

About

Submission for the ICCMA 2023 - 5th International Competition on Computational Models of Argumentation

Topics

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages