Daftar Isi:
Definisi - Apa arti Unifikasi?
Dalam ilmu dan logika komputer, unifikasi adalah prosedur algoritmik yang digunakan dalam menyelesaikan persamaan yang melibatkan ekspresi simbolik. Dengan kata lain, dengan mengganti variabel sub-ekspresi tertentu dengan ekspresi lain, penyatuan mencoba mengidentifikasi dua ekspresi simbolik. Unifikasi digunakan dalam teknologi penalaran otomatis, yang tetap menjadi salah satu area aplikasi utama unifikasi.
Unifikasi digunakan dalam implementasi seperti:
- Memprogram implementasi sistem tipe bahasa
- Pemrograman logika
- Pemecah SMT
- Analisis protokol kriptografi
- Algoritma term-rewriting
Penyatuan adalah salah satu teknik dasar yang menjadi dasar metode deduksi otomatis.
Techopedia menjelaskan Unifikasi
Istilah "penyatuan" dan gagasannya dapat dikaitkan dengan John Alan Robinson. Dia menggunakan penyatuan sebagai operasi dasar dari prinsip resolusinya dan juga menunjukkan bahwa syarat-syarat yang dapat disatukan memiliki paling banyak satu pemersatu umum. Beberapa kerangka kerja unifikasi dibedakan berdasarkan ekspresi yang terjadi dalam masalah unifikasi. Penyatuan urutan pertama adalah di mana variabel urutan yang lebih tinggi (variabel yang mewakili fungsi) diizinkan dalam ekspresi. Unifikasi gratis atau unifikasi sintaksis adalah salah satu di mana solusi diperlukan untuk membuat kedua sisi persamaan sama.
Solusi masalah unifikasi digambarkan oleh substitusi, yang merupakan pemetaan nilai simbolik untuk setiap variabel yang terlibat dalam ekspresi masalah. Dengan kata lain, fokus penting dari penyatuan adalah untuk mencari substitusi untuk menyatukan dua istilah yang diberikan. Algoritma seragam yang lebih tinggi diharapkan untuk menyediakan set substitusi minimal dan lengkap (satu set memiliki semua solusi yang relevan tanpa anggota redundan) untuk masalah yang diberikan. Dengan kata lain, unifikasi tidak hanya tertarik pada solvabilitas unifikasi yang diberikan jika ada masalah tetapi juga jika solvable, dalam menghitung pemersatu yang paling umum.
Unifikasi dianggap sebagai inti dari:
- Implementasi prolog
- Sistem pakar berdasarkan kecerdasan buatan
- Pencocokan pola dalam bahasa fungsional
- Pendekatan parsing tertentu
- Basis data khusus
- Pemrosesan bahasa alami
- Pembuktian teorema
- Ketik algoritma inferensi
