11 次の例は、推論アルゴリズムが適切で完全であるかどうかについて正しいですか？ 干し草の山に針a、b、cがあり、針を見つけるように設計された推論アルゴリズムもあるとします。 サウンド -針a、b、cのみが取得されます。 complete-針a、b、cが取得されます。他の干し草も入手できます。 logic — IsaacS ソース
10 あなたはそれをほぼ正しく理解していますが、あなたの健全性の定義は完全に正しくないか、おそらく微妙です。 返されたすべてが針である場合（したがって、一部の針が失われる可能性がある場合）、推論アルゴリズムは適切であり、すべての針が返された場合（したがって、一部の干し草も返される可能性があります）と推測します。 — デイブ・クラーク ソース これは言語のセマンティクスの問題かもしれません。干し草の横にある唯一のオブジェクトが3本の針であると仮定すると、OPのフレージングは正しいです。 — ラファエル 1 いずれにせよ、私の答えはそれをより明確にするために綴ります。 — Dave Clarke 実際、「a、b、cの針しか入手できない」という言い回しがあった場合、私は答えを出さなかっただろう。 — Dave Clarke したがって、それは健全なアルゴリズムアルゴリズムの範囲が針であることを意味し、それが完全であることは、機能が干し草の不必要なセットに全射的であることを意味します;-) — Musa Al-hassy