Przykład poprawności i kompletności wnioskowania

11

Czy następujący przykład jest prawidłowy, czy algorytm wnioskowania jest prawidłowy i kompletny ?

Załóżmy, że mamy igły a, b, c w stogu siana, a także algorytm wnioskowania zaprojektowany do wyszukiwania igieł.

  • dźwięk - uzyskiwane są tylko igły a, b i c.

  • kompletna - otrzymano igły a, b i c. Można również uzyskać inne siano.

logic Izaak
źródło

Odpowiedzi:

10

Prawie masz rację, ale twoja definicja dźwięku nie jest do końca właściwa, a może zbyt subtelna.

Powiedziałbym, że algorytm wnioskowania jest prawidłowy, jeśli wszystko zwrócone jest igłą (stąd niektóre igły mogą zostać pominięte) i kompletne, jeśli wszystkie igły zostaną zwrócone (stąd też niektóre siano mogą zostać zwrócone).

Dave Clarke
źródło
Może to być problem semantyki języka. Zakładając, że jedynymi przedmiotami obok siana są trzy igły, sformułowanie OP jest prawidłowe.
Raphael
1
W każdym razie moja odpowiedź wyjaśnia to, aby było jaśniej.
Dave Clarke
1
Rzeczywiście, gdyby frazowanie brzmiało: „ Można uzyskać tylko igły a, b i c ”, nie dałbym odpowiedzi.
Dave Clarke,
Wydaje się więc, że dźwięk oznacza, że ​​funkcja algorytmu ma zasięg jako igły, a jego kompletność oznacza, że ​​funkcja jest przypuszczalna do zbioru niepotrzebnych w stogu siana ;-)
Musa Al-hassy