Esempio di solidità e completezza di inferenza

L'esempio seguente è corretto se un algoritmo di inferenza è solido e completo ?

Supponiamo di avere aghi a, b, c in un pagliaio e di avere anche un algoritmo di inferenza progettato per trovare aghi.

suono - Si ottengono solo gli aghi a, bec.
completo - Si ottengono gli aghi a, bec. Si può anche ottenere altro fieno.

logic

— Isaacs
fonte

Hai quasi capito bene, ma la tua definizione di solidità non è del tutto giusta, o forse troppo sottile.

Direi che l'algoritmo di inferenza è valido se ogni cosa restituita è un ago (quindi alcuni aghi potrebbero mancare) e completa se tutti gli aghi vengono restituiti (quindi anche un po 'di fieno può essere restituito).

— Dave Clarke
fonte

Questo potrebbe essere un problema di semantica linguistica. Supponendo che gli unici oggetti accanto al fieno siano i tre aghi, la formulazione del PO è corretta.

— Raffaello

In ogni caso, la mia risposta lo spiega chiaramente.

— Dave Clarke,

In effetti, se la frase fosse "Solo gli aghi a, bec possono essere ottenuti" non avrei dato una risposta.

— Dave Clarke,

Quindi sembra che il suono significhi che la funzione algoritmica ha una gamma di aghi, e che essere completa significa che la funzione è suriettiva all'insieme di inutili nel pagliaio ;-)

— Musa Al-hassy