Mehrstufiger logischer Schlussfolgerungsprozess, bei dem das Modell von einer Annahme über mehrere Deduktionsschritte zur Lösung gelangt. Einsatz z. B. in juristischen, wissenschaftlichen oder argumentativen Aufgaben.