Die Argumentationstheorie stellt logisch-formale Regeln bereit, um gegebene Aussagen im Sinne der Dialektik anzuzweifeln aber auch zu verteidigen. So kann z.B. eine unzulässige Verallgemeinerung durch ein Gegenbeispiel in Frage gestellt werden. Ein Argument, das dem Schema der Schlussfolgerung aus einer Expertenaussage folgt, kann z.B. verteidigt werden, indem die fachliche Autorität der Person belegt wird. Ziel von DIALOKIA ist die Entwicklung einer LLM-basierten KI-Architektur, die diese Regeln der formalen Dialektik anwendet. Ein vom Sprachmodell unabhängiges Prüfmodell nimmt dann – ganz im Sinne der dialektischen Logik – die Rolle der Diskussionspartnerin ein und trainiert das Sprachmodell hinsichtlich der Einhaltung der zugrundeliegenden Regeln und Logik.