Пример разумности & Полнота Inference

Правильный ли следующий пример о том, является ли алгоритм вывода правильным и полным ?

Предположим, у нас есть стебли игл a, b, c в стоге сена, а также алгоритм вывода, предназначенный для поиска игл.

звук - получаются только иглы a, b и c.
завершено - иглы a, b и c получены. Другое сено также может быть получено.

logic

Вы почти поняли это правильно, но ваше определение правильности не совсем верно или, возможно, слишком тонко.

Я бы сказал, что алгоритм логического вывода является правильным, если все возвращаемое является иглой (следовательно, некоторые иглы могут быть пропущены), и завершается, если возвращаются все иглы (следовательно, может быть также возвращено некоторое сено).

— Дэйв Кларк
источник

Это может быть проблемой языковой семантики. Предполагая, что единственными объектами рядом с сеном являются три иголки, формулировка ОП верна.

— Рафаэль

В любом случае, мой ответ разъясняет это, чтобы сделать его более понятным.

— Дейв Кларк,

В самом деле, если бы формулировка была «Только иглы a, b и c могут быть получены», я бы не дал ответа.

— Дэйв Кларк

Таким образом, кажется, что звук означает, что алгоритмическая функция имеет диапазон, являющийся иглами, и, будучи завершенным, функция сюръективна множеству ненужных в стоге сена ;-)

— Муса Аль-Хасси