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
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.