11 다음 예제는 추론 알고리즘이 건전 하고 완전 한지 여부에 대해 정확 합니까? 건초 더미에 바늘 a, b, c가 있고 바늘을 찾도록 설계된 추론 알고리즘이 있다고 가정합니다. 소리 -바늘 a, b 및 c 만 획득됩니다. 완료 -바늘 a, b 및 c를 얻습니다. 다른 건초도 얻을 수 있습니다. logic — 이삭 소스
10 당신은 거의 옳았지만, 당신의 건전성의 정의는 옳지 않거나 아마도 미묘합니다. 반환 된 모든 것이 바늘 (따라서 일부 바늘이 누락 될 수 있음) 이면 모든 추론 알고리즘이 적절 하다고 말하고 모든 바늘이 반환 되면 완료됩니다 (따라서 일부 건초도 반환 될 수 있음). — 데이브 클라크 소스 이는 언어 의미론의 문제 일 수 있습니다. 건초 옆의 유일한 물건이 3 개의 바늘이라고 가정하면 OP의 문구가 정확합니다. — Raphael 1 어쨌든, 내 대답은 더 명확하게하기 위해 철자를 철자합니다. — Dave Clarke 1 실제로, 구절이 "바늘 a, b 및 c 만 얻을 수있다 "라면 나는 대답을하지 않았다. — Dave Clarke 보인다 그래서 사운드 알고리즘의 기능의 범위에 존재 바늘을 갖는 것을 의미하고, 이는 인 완전한 기능이 ;-) 모래 사장에서 불필요한 정하는 surjective 수단을 — 무사 알 hassy