Geschichte und Anwendungen - Hochschule Niederrhein

Wissensbasierte Systeme Geschichte und Anwendungen Geschichte 36 / 219
Historisches
Gottlob Frege: Entwickelte mathematische Spezifikationssprache,
mit der sich die Grundlagen der Arithmetik klar und präzise
beschreiben lassen. Ist heute als Prädikatenlogik erster Ordnung
bekannt.
Stellt alle für das automatische Schließen erforderliche Mittel zur
Verfügung:
Eine Sprache für Ausdrücke,
eine Theorie für Behauptungen, die sich auf die Bedeutung
der Ausdrücke beziehen und
ein logisch korrektes Kalkül, mit dem auf neue wahre
Ausdrücke geschlossen werden kann.