Ein einführendes Werk über die logische Struktur von Argumentationsprozessen in künstlicher Intelligenz, das klassische Logikmodelle mit modernen KI‑Algorithmen verknüpft und deren Einsatz bei automatisierten Entscheidungsfindungen anschaulich erläutert.