Ein kompakter Leitfaden aus der Rules and Reasoning‑Konferenz 2017 in London, der fortschrittliche Techniken zur Regelgenerierung, logischen Inferenz und deren Einsatz in modernen KI‑Systemen beleuchtet.