ตัวอย่างของความสมบูรณ์ & ความสมบูรณ์ของการอนุมาน

เป็นตัวอย่างต่อไปนี้ถูกต้องเกี่ยวกับว่าการอนุมานอัลกอริทึมเสียงและสมบูรณ์ ?

สมมติว่าเรามีเข็ม a, b, c ในกองหญ้าและยังมีอัลกอริธึมอนุมานที่ออกแบบมาเพื่อค้นหาเข็ม

• เสียง - รับเฉพาะเข็ม a, b และ c เท่านั้น

• เสร็จสมบูรณ์ - รับเข็ม a, b และ c สามารถรับหญ้าแห้งอื่น ๆ ได้เช่นกัน

คุณเกือบจะถูกต้องแล้ว แต่ความหมายของความมั่นคงไม่ถูกต้องหรืออาจบอบบางเกินไป

ฉันจะบอกว่าอัลกอริทึมการอนุมานเป็นเสียงถ้าทุกอย่างกลับมาเป็นเข็ม (ดังนั้นเข็มบางอย่างอาจจะพลาด) และสมบูรณ์ถ้าเข็มทั้งหมดจะถูกส่งกลับ