Contoh Tingkat Kesehatan & Kelengkapan Inferensi

11

Apakah contoh berikut ini benar tentang apakah algoritma inferensi suara dan lengkap ?

Misalkan kita memiliki jarum a, b, c di tumpukan jerami, dan juga memiliki algoritma inferensi yang dirancang untuk menemukan jarum.

  • sound - Hanya jarum a, b dan c yang diperoleh.

  • complete - Jarum a, b dan c diperoleh. Jerami lainnya juga dapat diperoleh.

logic Ishak
sumber

Jawaban:

10

Anda sudah hampir melakukannya dengan benar, tetapi definisi kesehatan Anda kurang tepat, atau mungkin terlalu halus.

Saya akan mengatakan bahwa algoritma inferensi adalah suara jika semuanya dikembalikan adalah jarum (karenanya beberapa jarum mungkin terlewatkan) dan lengkap jika semua jarum dikembalikan (maka beberapa jerami dapat dikembalikan juga).

Dave Clarke
sumber
Ini mungkin masalah semantik bahasa. Dengan asumsi satu-satunya benda di samping jerami adalah tiga jarum, kalimat OP benar.
Raphael
1
Bagaimanapun, jawaban saya mengejanya untuk membuatnya lebih jelas.
Dave Clarke
Memang, jika frasa itu adalah "Hanya jarum a, b dan c yang dapat diperoleh" Saya tidak akan memberikan jawaban.
Dave Clarke
Jadi sepertinya suara berarti bahwa fungsi algoritmik memiliki jangkauan menjadi jarum, dan menjadi lengkap berarti fungsi tersebut bersifat surjektif terhadap rangkaian yang tidak perlu di tumpukan jerami ;-)
Musa Al-hassy