Данная глава является обзором средств обратимого обоснования, основанного на аргументации, с использованием диалектических принципов. Луи(Loui) предложил диалектические протоколы и игры аргументов и реализовал их в программах Nathan, Sophie, Lmnop и Antigone. Герард Врисвийк(Vreeswijk) разработал теорию аргументации, основанную на дебатах между пропонентом и оппонентом и реализовал её в Iacas. Томас Гордон сформулировал свою теорию аргументации, в которой конфликты аргументов и контраргументов разрешаются на основе некоторых правил. В статье также описаны другие теории аргументации, основанные на логическом программировании, приоритетах аргументов и недоказуемости утверждений.