Modulare Regelprogrammierung

Inhaltsverzeichnis1 Einleitung.1.1 Motivation.1.2 Zielsetzung.1.3 Zusammenfassender Überblick über die Arbeit.2 Regelbasierte Programmierung.2.1 Grundlagen der Regelprogrammierung.2.2 Hauptprobleme und existierende Lösungsansätze.2.3 Folgerungen.3 Das Modulkonzept für Regelprogramme.3.1 Anforderungen an das Modulkonzept.3.2 Architektur von Regelsystemen.3.3 Typisierung von Fakten.3.4 Definition eines Regelmoduls.3.5 Verknüpfung von Regelmoduln durch Übergangsgraphen.3.6 Ausdrucksmächtigkeit von Übergangsgraphen.4 Systemunterstützung beim Regelprogrammieren.4.1 Möglichkeiten der Systemunterstützung.4.2 Unterstützung durch syntaxgesteuerte Editoren.4.3 Übersetzung in Regelform.4.4 Generische Regelmoduln.4.5 Ablaufumgebung und Testhilfsmittel.5 Parallel arbeitende Regelmoduln.5.1 Ziele und Anforderungen.5.2 Entwurfsaspekte bei parallelen Regelmoduln.5.3 Implementierungsvorschläge für parallele Regelmoduln.6 Schlußbemerkungen.6.1 Zusammenfassung.6.2 Implementierungen.6.3 Ausblick.7 Literaturverzeichnis.Al Vollständige Syntax der verwendeten Regelsprache.A2 Syntax und Ordnung der Faktentypen.A3 Die Standardregeln jedes Regelmoduls.A5 Glossar.A6 Stichwortverzeichnis.