Beispiel für Solidität und Vollständigkeit der Inferenz

11

Ist das folgende Beispiel korrekt darüber , ob ein Inferenz - Algorithmus ist Ton und vollständig ?

Angenommen, wir haben die Nadeln a, b, c im Heuhaufen und haben auch einen Inferenzalgorithmus, mit dem Nadeln gefunden werden können.

  • Ton - Es werden nur die Nadeln a, b und c erhalten.

  • vollständig - Die Nadeln a, b und c werden erhalten. Es kann auch anderes Heu erhalten werden.

logic IsaacS
quelle

Antworten:

10

Sie haben es fast richtig verstanden, aber Ihre Definition von Solidität ist nicht ganz richtig oder vielleicht zu subtil.

Ich würde sagen, dass der Inferenzalgorithmus einwandfrei ist, wenn alles, was zurückgegeben wird, eine Nadel ist (daher können einige Nadeln übersehen werden) und vollständig ist, wenn alle Nadeln zurückgegeben werden (daher kann auch etwas Heu zurückgegeben werden).

Dave Clarke
quelle
Dies kann ein Problem der Sprachsemantik sein. Angenommen, die einzigen Objekte neben Heu sind die drei Nadeln, ist die Formulierung des OP korrekt.
Raphael
1
In jedem Fall formuliert meine Antwort es, um es klarer zu machen.
Dave Clarke
In der Tat hätte ich keine Antwort gegeben , wenn die Formulierung "Nur die Nadeln a, b und c können erhalten werden" wäre.
Dave Clarke
Es scheint also, dass Klang bedeutet, dass die algorithmische Funktion eine Reichweite von Nadeln hat, und dass Vollständigkeit bedeutet, dass die Funktion für die Menge der Unnötigen im Heuhaufen surjektiv ist
;-)