Fungsi carian sedang dalam pembinaan.
Fungsi carian sedang dalam pembinaan.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

Formal Verification of a Decision-Tree Ensemble Model and Detection of Its Violation Ranges Pengesahan Formal Model Ensembel Pokok Keputusan dan Pengesanan Julat Pelanggarannya

Naoto SATO, Hironobu KURUMA, Yuichiroh NAKAGAWA, Hideto OGAWA

  • pandangan teks lengkap

    0

  • Petikan Ini

Ringkasan:

Sebagai satu jenis model pembelajaran mesin, "model ensembel pokok keputusan" (DTEM) diwakili oleh satu set pokok keputusan. DTEM terutamanya diketahui sah untuk data berstruktur; walau bagaimanapun, seperti model pembelajaran mesin yang lain, sukar untuk dilatih supaya ia mengembalikan nilai output yang betul (dipanggil "nilai ramalan") untuk sebarang nilai input (dipanggil "nilai atribut"). Sehubungan itu, apabila DTEM digunakan berhubung dengan sistem yang memerlukan kebolehpercayaan, adalah penting untuk mengesan secara menyeluruh nilai atribut yang membawa kepada kerosakan sistem (kegagalan) semasa pembangunan dan mengambil langkah balas yang sesuai. Satu penyelesaian yang boleh difikirkan ialah memasang penapis input yang mengawal input kepada DTEM dan menggunakan perisian berasingan untuk memproses nilai atribut yang mungkin membawa kepada kegagalan. Untuk membangunkan penapis input, adalah perlu untuk menentukan keadaan penapisan untuk nilai atribut yang membawa kepada kerosakan sistem. Dalam pertimbangan keperluan itu, kami mencadangkan kaedah untuk mengesahkan DTEM secara rasmi dan, menurut hasil pengesahan, jika nilai atribut yang membawa kepada kegagalan ditemui, mengekstrak julat di mana nilai atribut tersebut wujud. Kaedah yang dicadangkan boleh mengekstrak secara komprehensif julat di mana nilai atribut yang membawa kepada kegagalan wujud; oleh itu, dengan mencipta penapis input berdasarkan julat itu, adalah mungkin untuk mengelakkan kegagalan. Untuk menunjukkan kebolehlaksanaan kaedah yang dicadangkan, kami melakukan kajian kes menggunakan set data harga rumah. Melalui kajian kes, kami juga menilai kebolehskalaannya dan menunjukkan bahawa bilangan dan kedalaman pokok keputusan adalah faktor penting yang menentukan kebolehgunaan kaedah yang dicadangkan.

Jawatankuasa
IEICE TRANSACTIONS on Information Vol.E103-D No.2 pp.363-378
Tarikh penerbitan
2020/02/01
Diumumkan
2019/11/20
ISSN dalam talian
1745-1361
DOI
10.1587/transinf.2019EDP7120
Jenis Manuskrip
PAPER
kategori
Pengkomputeran Boleh Dipercayai

Pengarang

Naoto SATO
  Hitachi, Ltd.
Hironobu KURUMA
  Hitachi, Ltd.
Yuichiroh NAKAGAWA
  Hitachi, Ltd.
Hideto OGAWA
  Hitachi, Ltd.

Kata kunci

Contents [show]