Anhang: Prädikatenlogik

Zusammenfassung

In vielen Bereichen der angewandten Informationstechnologie spielen regelbasierte Systeme eine wichtige Rolle. Im Geschäftsprozessmanagement werden mit Hilfe von Geschäftsregeln Entscheidungen getroffen, und im Complex Event Processing werden regelbasiert Ereignismuster erkannt und angemessene Reaktionen in Gang gesetzt. Die Grundlage regelbasierter Systeme bildet zunächst der Formulierungsrahmen der Prädikatenlogik erster Stufe, der für die Formulierung von Wissensinhalten in Form von Fakten und Regeln verwendet wird. Die für eine Anwendung notwendigen Entscheidungen werden dann mit Hilfe von logischen Schlussfolgerungsmechanismen auf der Basis des gespeicherten Wissens durchgeführt. Die Algorithmen, die das logische Schlussfolgern realisieren, modellieren in gewissem Sinne das menschliche logische Denken, sie folgen anderen Prinzipien wie die in der herkömmlichen Programmierung verwendeten Algorithmen. Die Grundmechanismen heißen Resolution, Unifikation und Backtracking.