Pure Logik
Computer als Entscheidungshelfer
Kees van Berkel versucht Computersystemen logisches Denken beizubringen WIEDEN. Normativ. Das ist alles was gut oder schlecht, richtig oder falsch ist, sprich: einer gewissen Norm entspricht. Diese Art des logischen Denkens wird nicht nur in Philosophie oder dem Rechtswesen angewendet, sie findet sich auch in technischen Fragen wieder: „Wir benützen formale Werkzeuge wie Logik, um diese Art des Argumentierens auch für intelligente Computersysteme verfügbar zu machen“, sagt Kees van Berkel....