Ví dụ về tính đúng đắn và hoàn thiện của suy luận

Là ví dụ sau đây đúng về việc một thuật toán suy luận có âm thanh và đầy đủ không?

Giả sử chúng ta có kim a, b, c trong đống cỏ khô và cũng có thuật toán suy luận được thiết kế để tìm kim.

âm thanh - Chỉ thu được kim a, b và c.
hoàn thành - Kim a, b và c thu được. Hay khác cũng có thể được lấy.

logic

— Isaac
nguồn

Bạn gần như đã hiểu đúng, nhưng định nghĩa về âm thanh của bạn không hoàn toàn đúng, hoặc có lẽ quá tinh tế.

Tôi sẽ nói rằng thuật toán suy luận là âm thanh nếu mọi thứ được trả về là một cây kim (do đó một số kim có thể bị bỏ qua) và hoàn thành nếu tất cả các kim được trả lại (do đó một số hay cũng có thể được trả lại).

— Dave Clarke
nguồn

Đây có thể là một vấn đề về ngữ nghĩa ngôn ngữ. Giả sử các vật thể duy nhất bên cạnh cỏ khô là ba cây kim, cụm từ của OP là chính xác.

— Raphael

Trong mọi trường hợp, câu trả lời của tôi đánh vần nó để làm cho nó rõ ràng hơn.

— Dave Clarke

Thật vậy, nếu cụm từ là "Chỉ có thể lấy được kim a, b và c " thì tôi sẽ không đưa ra câu trả lời.

— Dave Clarke

Vì vậy, có vẻ như âm thanh có nghĩa là chức năng thuật toán có phạm vi là kim và nó hoàn chỉnh có nghĩa là chức năng này được so sánh với tập hợp không cần thiết trong đống cỏ khô ;-)

— Musa Al-hassy 6/12/18