Isi kandungan:
Definisi - Apakah maksud Unification?
Dalam sains komputer dan logik, penyatuan adalah prosedur algoritma yang digunakan dalam menyelesaikan persamaan yang melibatkan ungkapan simbolik. Dengan kata lain, dengan menggantikan pemboleh ubah sub-ekspresi tertentu dengan ungkapan lain, penyatuan cuba mengenal pasti dua ungkapan simbolik. Penyatuan digunakan dalam teknologi penaakulan automatik, yang kekal sebagai salah satu bidang permohonan penyatuan utama.
Penyatuan digunakan dalam pelaksanaan seperti:
- Pelaksanaan sistem jenis bahasa pengaturcaraan
- Pengaturcaraan logik
- Penyelesai SMT
- Analisis protokol kriptografi
- Algoritma penulisan jangka
Penyatuan adalah salah satu teknik asas yang mana kaedah untuk potongan automatik didasarkan.
Techopedia menerangkan Penyatuan
Istilah "penyatuan" dan tanggapannya boleh dikaitkan dengan John Alan Robinson. Beliau menggunakan penyatuan sebagai asas operasi prinsip penyelesaiannya dan juga menunjukkan bahawa istilah yang tidak dapat diandalkan mempunyai paling banyak satu pengantara umum. Beberapa rangka penyatuan dibezakan berdasarkan ungkapan yang berlaku dalam masalah penyatuan. Penyatuan pesanan pertama adalah salah satu pembolehubah pesanan yang lebih tinggi (pembolehubah yang mewakili fungsi) dibenarkan dalam ungkapan. Penggabungan bebas atau penyatuan sintaksis adalah salah satu penyelesaian yang diperlukan untuk menjadikan kedua-dua belah persamaan sama.
Penyelesaian masalah penyatuan digambarkan dengan penggantian, yang merupakan pemetaan nilai simbolik kepada setiap variabel yang terlibat dalam ungkapan masalah. Dalam erti kata lain, tumpuan utama penyatuan adalah mencari penggantian untuk menyatukan dua syarat tertentu. Algoritma seragam yang lebih tinggi dijangka menyediakan set penggantian minimum dan lengkap (satu set yang mempunyai semua penyelesaian yang relevan tanpa anggota yang berlebihan) untuk masalah tertentu. Dalam erti kata lain, penyatuan tidak hanya berminat untuk kesederhanaan penyatuan tertentu jika masalah tetapi juga jika dapat diselesaikan, dalam pengkomputeran yang paling umum.
Penggabungan dianggap sebagai inti dari:
- Pelaksanaan Prolog
- Sistem Pakar berdasarkan kecerdasan buatan
- Padanan corak dalam bahasa berfungsi
- Pendekatan parsing tertentu
- Pangkalan data Deductive
- Pemprosesan bahasa semulajadi
- Teorem membuktikan
- Taipkan algoritma kesimpulan
