In der Arbeit werden neue Anwendungsbereiche des Boole'schen
Differentialkalkuels vorgeschlagen.
Die erste Anwendung ist die Kombination syntaktischen und semantischen
Inferenzsverfahren mit dem Ziel der Effizienzerhoehung in
Beweissystemen.
Insbesondere gilt das für Beweissysteme mit Vorwaertsverkettung.
Der zweite Vorschlag betrifft die Kombination syntaktischen und
semantischen Ableitungsverfahren für die Implementation des
Boole'schen Differentialkalkuels.
Realisiert werden kann diese Kombination durch ein System
logischer Programmierung erweitert mit Boole'schen Constraints.
Desweiteren wird vorgeschlagen, die Aussagenlogik als einfache und
expressive Form der Wissensrepraesentation im Bereich des Maschinellen Lernens und
des Data Mining einzusetzen. Dazu werden im einzelnen betrachtet:
Maschinelles Lernen mit Lernen von Entscheidungstabellen
Data Mining mit Boole'schen Gleichungen bzw Boole'schen Differentialgleichungen als ausdrucksstarke Hypothesensprache
Inhalt:/ Content: Institut für Informatik
TU Bergakademie Freiberg
Gestaltung/ Layout: Webmaster
19. Februar 1997
