Zweite Begegnung mit DEDUC: Wissensbasis und Schlußfolgerung

Zusammenfassung

Wenn Sie beim direkten Eingeben von Konzepten in DEDUC einen Fehler machen, können Sie diesen noch korrigieren, bevor Sie die entsprechende Zeile (mit ‘enter’) abgeschickt haben. Wollen Sie später eine Änderung vornehmen, während Sie direkt in DEDUC arbeiten, so müssen Sie mit den entsprechenden Löschbefehlen (s. später) das fehlerhafte Konzept löschen und dann wieder neu eingeben. Dabei bleibt allerdings der numerierte Platz des alten Konzepts leer; das neue wird an die Wissensbasis hinten angefügt. Dies kann zu unerwünschten Lücken in der Wissensbasis führen. Selbst bei kleineren Wissensbasen empfiehlt es sich daher, die Konzepte (Objektstrukturen, Implikationen, Prämissen) vorher mit einem geeigneten Textverarbeitungsprogramm in eine Datei zu schreiben, die Texte dort zu edieren und zu korrigieren, und erst die möglichst fehlerfreie Datei dann beim DEDUC-Aufruf zu übernehmen. Sollten sich bei der DEDUC-Bearbeitung dann weitere Fehler zeigen, oder Änderungen der Wissensbasis notwendig werden, so lassen sich diese wieder am einfachsten mit dem Textverarbeitungsprogramm durchführen. Danach wird die korrigierte Fassung wieder in DEDUC übernommen.