İçindekiler:
Tanımı - Birleşme ne demektir?
Bilgisayar bilimi ve mantığında, birleşme sembolik ifadeleri içeren denklemlerin çözümünde kullanılan algoritmik prosedürdür. Başka bir deyişle, bazı alt ifade değişkenlerini başka ifadelerle değiştirerek, birleştirme iki sembolik ifadeyi belirlemeye çalışır. Birleştirme, önemli birleştirme uygulama alanlarından biri olmaya devam eden otomatik muhakeme teknolojisinde kullanılmaktadır.
Birleştirme aşağıdaki gibi uygulamalarda kullanılır:
- Dil tipi sistem uygulamasını programlama
- Mantık programlama
- SMT çözücüleri
- Şifreleme protokolü analizi
- Terim-yeniden yazma algoritmaları
Birleştirme, otomatik kesinti yöntemlerinin dayandığı temel tekniklerden biridir.
Techopedia Birleşmeyi Açıklıyor
“Birleşme” terimi ve nosyonu John Alan Robinson'a atfedilebilir. Birleşmeyi çözüm ilkesinin temel operasyonu olarak kullandı ve aynı zamanda, birleştirilemez terimlerin en fazla bir genel birleştiriciye sahip olduğunu gösterdi. Birkaç birleşme çerçevesi, birleşme probleminde meydana gelen ifadelere göre ayrılır. Birinci derece birleştirme, ifadelerde daha yüksek sıradaki değişkenlere (işlevleri temsil eden değişkenler) izin verilen bir birleşimdir. Serbest birleşme veya sözdizimsel birleşme, denklemin her iki tarafını eşitlemek için bir çözüme ihtiyaç duyulan bir birleşmedir.
Birleşme probleminin çözümü, sembolik bir değerin problemin ifadelerinde yer alan her değişkenle eşleştirilmesi olan ikame ile tasvir edilmiştir. Başka bir deyişle, birleşmenin temel odağı, verilen iki terimi birleştirmek için bir ikame aramaktır. Daha yüksek tekdüze algoritmanın, belirli bir sorun için minimal ve tam bir ikame seti (yedekli üyeleri olmayan tüm ilgili çözümlere sahip bir set) sağlaması beklenir. Diğer bir deyişle, birleşme sadece problem varsa belirli bir birleşmenin çözülebilirliği ile değil, aynı zamanda çözülebilirse, en genel birleştiriciyi hesaplamakla da ilgilidir.
Birleşme aşağıdakilerin çekirdeği olarak kabul edilir:
- Prolog uygulamaları
- Yapay zekaya dayalı uzman sistemler
- İşlevsel dillerde kalıp eşleştirme
- Belirli ayrıştırma yaklaşımları
- Tümdengelim veritabanları
- Doğal dil işleme
- Teorem kanıtları
- Çıkarım algoritmalarını yazın
