Phan Minh Dung publica en 1995 en la revista Artificial Intelligence el paper 'On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games', donde introduce el argumentation framework (AF): un modelo formal para representar argumentos como nodos y ataques entre argumentos como aristas de un grafo dirigido. El sistema define cuatro semánticas de argumentación (grounded, stable, preferred, complete) para determinar qué conjuntos de argumentos son 'aceptables' en presencia de conflicto — sin requerir consistencia global. El AF de Dung proporciona el fundamento matemático para el razonamiento no monótono en IA: sistemas que pueden revisar sus conclusiones ante nueva información contradictoria, sin colapsar. Es la base formal de la IA argumentativa moderna, el razonamiento legal automatizado, los sistemas multiagente y los mecanismos de explicabilidad en deep learning. La conexión con la lógica paraconsistente es documentada: el AF de Dung opera como un sistema paraconsistente implícito, permitiendo conjuntos de argumentos localmente inconsistentes sin trivialización global.