SLD - Suchbaum Darstellungsform

jon as
Windoof-User
Windoof-User
Beiträge: 32
Registriert: 23. Nov 2014 23:14

SLD - Suchbaum Darstellungsform

Beitrag von jon as »

Hi,

ich finde den SLD-Suchbaum auf Folie 02.46 ziemlich hässlich aufzuschreiben. Mich wundert warum der Beweisbaum als Baum dargestellt wird und der SLD-Suchbaum mit diesen "T Call:", "T Fail:", "T Redo:" etc. Könnte man nicht, wie z.B. in Koblenz [0] den SLD-Suchbaum auch als Baum aufmalen? Das sieht nicht nur besser aus, sondern man macht dabei auch weniger Fehler beim aufschreiben.

Ist die genaue Darstellungsform des Such- oder des Beweisbaumes in der Klausur wichtig?

Viele Grüße,
Jonas

[0] http://userpages.uni-koblenz.de/~staab/ ... dures4.pdf

Zurück zu „Archiv“