Skip to main content

2020 | 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.

search-config
loading …

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
1
Albert Thoralf Skolem (1887–1963), norwegischer Mathematiker, Logiker und Philosoph.
 
2
Alfred Horn (1918–2001), US-amerikanischer Mathematiker.
 
Literatur
Zurück zum Zitat Beierle, C., & Kern-Isberner, G. (2019). newblock Methoden wissensbasierter Systeme – Grundlagen, Algorithmen, Anwendungen (6. Aufl.). Wiesbaden: Springer Vieweg. Beierle, C., & Kern-Isberner, G. (2019). newblock Methoden wissensbasierter Systeme – Grundlagen, Algorithmen, Anwendungen (6. Aufl.). Wiesbaden: Springer Vieweg.
Zurück zum Zitat Forgy, C. (1982). Rete: A fast algorithm for the many patterns/many objects match problem. Artificial Intelligence 19(1), 17–37. Forgy, C. (1982). Rete: A fast algorithm for the many patterns/many objects match problem. Artificial Intelligence 19(1), 17–37.
Zurück zum Zitat Schöning, U. (2000). Logik für Informatiker (5. Aufl.). Berlin: Springer Spektrum. Schöning, U. (2000). Logik für Informatiker (5. Aufl.). Berlin: Springer Spektrum.
Zurück zum Zitat Schwabhäuser, W. (1971). Modelltheorie I. Mannheim: Bibliographisches Institut. Schwabhäuser, W. (1971). Modelltheorie I. Mannheim: Bibliographisches Institut.
Metadaten
Titel
Anhang: Prädikatenlogik
verfasst von
Ulrich Hedtstück
Copyright-Jahr
2020
Verlag
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/978-3-662-61576-8_11