Prädikatenlogik

an logische Grundkonzepte angelehnte Form der Wissensrepräsentation. Die am häufigsten verwendete Prädikatenlogik erster Ordnung umfasst: Variablen, Konstanten, Funktionen, Prädikate und Ausdrücke mit Verknüpfungsapparaturen und Quantoren. Ein Prädikat ist eine Aussage mit einer Menge von Parametern, der aufgrund vorhandener Datenobjekte (Faktenwissen) ein Wahrheitswert zugeordnet werden kann. So wäre z.B. das Prädikat „Student” für alle Personen „wahr”, die als Student eingeschrieben sind. Die Prädikatenlogik wird häufig in Expertensystemen und im Data Mining eingesetzt.