Outil pour résoudre des problèmes d’un système d’argumentation abstrait (AS) : calcul des extensions complètes et stables, acceptabilité crédible ou sceptique des arguments (problèmes SE-CO, DC-CO, DS-CO, SE-ST, DC-ST, DS-ST). Implémenté en Python, avec entrée via fichier texte
Dung Argumentation Framework (DAF) Implementation
Description
Ce projet implémente un système d'argumentation basé sur le Dung Argumentation Framework (DAF). Le DAF est un modèle formel utilisé pour représenter et analyser des ensembles d'arguments et leurs relations d'attaque. Cette implémentation permet de calculer des extensions stables et complètes, de déterminer l'admissibilité des arguments, et de vérifier leur acceptabilité dans un cadre d'argumentation.
Le système est conçu pour être utilisé dans des applications de raisonnement logique, de prise de décision, et de modélisation des conflits dans les systèmes multi-agents.
Principales fonctionnalités : Calcul des extensions stables et complètes. Vérification de l'admissibilité des arguments. Calcul de l'acceptabilité des arguments à l'aide des relations d'attaque. Détection des attaques entre les arguments. Support pour les sémantiques sceptiques et crédule.
Prérequis Python 3.6+ Librairies : itertools, sys.