Anzeige
Erschienen in:
2017 | OriginalPaper | Buchkapitel
11. Anhang: Prädikatenlogik
verfasst von : Ulrich Hedtstück
Erschienen in: Complex Event Processing
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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.