SLD-Resolution

definite Klausel

Frage:

Wann nennt man eine Klausel definit?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

indefinite Klausel

Frage:

Wann ist eine Klausel indefinit?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Prolog Klausel

Frage:

Welche Art von Klausel erlaubt Prolog (definit/indefinit)?

Was ist der Vorteil?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Normale Klauseln

Frage:

Was sind normale Klauseln?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

definite Zielklauseln

Frage:

Was versteht man unter definiten Zielklauseln?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

definites Programm

Frage:

Was versteht man unter einem definiten Programm? 

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Horn-Klauseln

Frage:

Was versteht man unter Horn-Klauseln?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

SLD-Resolution

Frage:

Beschreibe das Prinzip der SLD-Resolution!

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

SLD-Baum

Frage:

Wie sieht der SLD-Baum zu folgenden Programm aus und was enthält er?

$baz(3) :- gak(99).$
$baz(X) :- foo(X).$
$foo(3).$
$foo(X) :- baz(X).$
$gak(x).$

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Closed Word Assumption

Frage:

Was verstehe man unter der Closed Word Assumption?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Negation als Fehlschlag

Frage:

Was versteht man unter Negation als Fehlschlag?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

FAQNutzungs­bedingungenImpressumDatenschutz© 2015 - 2018 Philipp Schweers