Prädikatenlogik First-Order Logic. KI 8-Prädikatenlogik2 Überblick Warum Prädikatenlogik (PL) ? Syntax und Semantik von PL Anwendung Wumpus-Welt in PL.
