Ödev Nasıl Yapılır? – Ödev Yaptırma – Ödev Yaptırma Ücretleri – Tez Yaptırma – Ödev Yaptırma Fiyatları – Ücretli Ödev Yaptırma – Tez Yaptırma Ücretleri – Sunum Hazırlığı Yaptırma – Dergi Makalesi Yaptırma – Dergi Makalesi Yazdırma
Olasılığa Dayalı Tümevarımsal Mantık Programlama
Olasılığa dayalı tümevarımsal mantık programlama, istatistiksel ilişkisel öğrenme için resmi bir çerçeveyi amaçlar. Belirsizlikle açıkça başa çıkmak için endüktif mantık programlamasını genişletir. Olasılığa dayalı tümevarımsal mantık programlamayı tanıtmadan önce, mantık programlamanın temellerini kısaca gözden geçirelim ve endüktif mantık programlama gerekir.
Mantık Programlama Kavramları
Mantık programlarını tanıtmak için iki program, büyük ebeveyn ve nat içermeyi düşünün. Resmi olarak konuşursak, büyükbaba/2, ebeveyn/2 ve nat/1’in yüklemler olduğuna sahibiz (aliteleri, yani açıkça listelenen argüman sayısı ile). Ayrıca, jef, paul ve ann sabittir ve X, Y ve Z değişkendir.
Tüm sabitler ve değişkenler aynı zamanda terimlerdir. Ek olarak, aritmetik 1’in s/1 funktorunu ve X terimini içeren s(X) gibi yapılandırılmış terimler vardır. Sabitler genellikle 0 aritmetik funktörleri olarak kabul edilir.
Atomlar, ardından gerekli sayıda terim gelen yüklem sembolleridir, örn. parent(jef,paul), nat(s(X))), parent(X,Z), vb. Sabit değerler atomlardır nat(s(X)) (pozitif değişmez) ve olumsuzlamaları nat(s(X)) (negatif değişmezler) değildir. Artık belirli bir tümcenin anahtar kavramını tanımlayabiliyoruz. Belirli yan tümceler formun formülleridir.
X, Z’nin ebeveyni ve Z, Y’nin ebeveyni ise, X, Y’nin ebeveynidir şeklinde okunabilir. Tezin geri kalanında, belirli cümleciklere cümle olarak değineceğiz. parent(jef, paul) gibi gövdesi boş olan tümceler olgulardır.
Bir (kesin) tümce programı (veya kısaca mantık programı) bir dizi yan tümceden oluşur. Dolayısıyla, biri grandparent/2’yi ve diğeri nat/1’i tanımlayan iki mantık programı vardır. Bir terim, atom, bağlaç veya E yan tümcesindeki değişkenler kümesi Var(E), örneğin Var(c) = {X,Y,Z} olarak gösterilir.
Bir terim, atom veya E yan tümcesi, E’de meydana gelen bir değişken olmadığında temeldir, yani Var(E) = ∅. C yan tümcesi, yan tümcenin başındaki tüm değişkenler aynı zamanda yan tümcenin gövdesinde göründüğünde, yani Var(head(c)) ⊆ |V ars(body(c)) olduğunda, aralık kısıtlamalıdır.
Tümdengelim Nedir
Tümevarım örnek
Tümevarım nedir felsefe
Tümevarım örnekleri eodev
Tümdengelim 10 tane örnek
Tümevarım Nedir
tümdengelim, tümevarım
Tümdengelim Örnekleri
θ = {V1/t1, . . . , Vn/tn}, örn. {E/ann}, ti terimlerinin Vi değişkenlerine atanmasıdır. Bir terime, atoma veya e yan tümcesine bir θ ikamesinin uygulanması, örneklenmiş terim, atom veya eθ yan tümcesini verir; burada Vi değişkenlerinin tüm oluşumları aynı anda ti terimi ile değiştirilir.
Bir ikame θ, a ve b atomlarının en genel birleştiricisi olan mgu(a, b)’dir, ancak ve ancak a = bθ ise ve a = bθ olacak şekilde her bir θ ikamesi için, θ = θγ olacak şekilde bir γ ikamesi vardır .
Bir c1 θ yan tümcesi, 3’ü c2 θ c1 olarak belirtilen bir c2 tümcesini alt eder, ancak ve ancak {head(c2)θ} ∪ body(c2)θ ⊂ {head(c1)} ∪ body(c1) ise. Örneğin, p(X) : − q(X) sp(X) :−q(X),r(Y).θ altına alma yansımalı ve geçişlidir, ancak p(X) : − q(X) ve p gibi antisimetrik değildir. (X) : − q(X), q(Y) göster. Bu nedenle, θ-kapsama, yan tümceler kümesinde bir ön sırayı, yani kısmen sıralı bir denklik sınıfları kümesini tanımlar.
Alt tümcelerinden herhangi birini θ-kapsamazsa, bir tümcenin indirgenmiş olduğunu söyleriz. Her eşdeğerlik sınıfı, değişkenin yeniden adlandırılmasına kadar benzersiz olan azaltılmış bir yan tümce içerir. Eşdeğerlik sınıfları kümesi bir kafes oluşturur, yani, iki yan tümce benzersiz bir en küçük üst sınıra ve θ-kapsama altında daha büyük bir alt sınıra sahiptir.
İki bağlacın (yan tümce) (θ-) alt üstlenmesi altındaki en küçük genellemesine (en küçük üst sınır) lgg denir ve her iki bağlacın (yan tümce) kapsadığı en küçük genel bağlaçtır (yan tümce). A ve B bağlaçlarının (cümleleri) en büyük alt sınırı (glb), hem A hem de B tarafından kapsanan en genel bağlaçtır.
Bir P mantık programının hb(P) olarak gösterilen Herbrand tabanı, P alfabesindeki yüklem, sabit ve fonksiyon sembolleri ile oluşturulan tüm temel atomların kümesidir.
Bir P mantık programı için Herbrand yorumu, hb(P )’nin bir alt kümesidir. Bir Herbrand yorumu I, c maddesinin bir modelidir, ancak ve ancak, gövde(c)θ ⊆ I’in tuttuğu tüm θ ikameleri için, aynı zamanda head(c)θ ∈ I’yi de tutması durumunda. I yorumu, a’nın bir modelidir. I, P’deki tüm yan tümcelerin bir modeliyse, P mantık programıdır.
Bir c yan tümcesi (mantık programı P), c |= c (P |= P ) olarak gösterilen başka bir c tümcesini (mantık programı P ) gerektirir, ancak ve ancak, her bir c (P) modeli aynı zamanda bir a ise c’nin modeli (P ). Açıkça, eğer c maddesi (program P) θ-c maddesini (program P ) kapsıyorsa, o zaman c (P) c (P) öğesini gerektirir, ancak bunun tersi doğru değildir.
P mantık programının semantiğini oluşturan en küçük Herbrand modeli LH(P ), tüm f ∈ hb(P) olgularından oluşur, öyle ki P mantıksal olarak f’yi gerektirir, yani P |= f. En az Herbrand modelini hesaplamak için çeşitli yöntemler mevcuttur. Hemen sonuç işleci TP’nin kullanımı yoluyla hesaplamasını sadece taslağız. TP operatörü, P’nin tüm Herbrand yorumlarının kümesindeki fonksiyondur.
Şimdi, bir P mantık programının en küçük Herbrand modelinin, TP’nin en küçük sabit noktası olduğu gösterilebilir. P, Im+1 = Im olacak şekilde en küçük m ≥ 0 olan Im’dir. İşlevsiz, aralık kısıtlamalı yan tümceler söz konusu olduğunda, aşağıdaki prosedür kullanılarak en az Herbrand modeli elde edilebilir.
Yani, LH’yi boş kümeye sıfırlayın ve ardından c ∈ P tümcesi ve body(c)θ ⊆ LH olacak şekilde bir ikamenin mevcut olduğu tüm temel gerçekleri head(c)θ LH’ye ekleyin. Bu tür temel gerçeklere, cisim(c)θ’nin dolaysız sonuçları denir. Sabit nokta 4’e ulaşılana kadar bu son adımı tekrarlayın (yani LH artık değişmez).
Örnek : Bu noktada, okuyucu LH(büyük ebeveyn) = {ebeveyn(jef, paul), ebeveyn(paul, ann), büyük ebeveyn(jef, ann)} ve LH(nat) = hb(nat) olduğunu doğrulamak isteyebilir.
En küçük Herbrand modelindeki tüm toprak atomları kanıtlanabilir. Kanıtlar tipik olarak SLD çözümleme prosedürü kullanılarak oluşturulur: bir hedef verildiğinde :-G1, G2 . . . , Gn ve bir yan tümce G:-L1, . . . , Lm, G1θ = Gθ olacak şekilde, SLD çözünürlüğünün uygulanması yeni hedefi verir:-L1θ,…,Lmθ,G2θ…,Gnθ . Başarılı bir çürütme, yani bir hedefin ispatı, boş hedefi, yani :-‘yi veren bir dizi çözüm adımıdır. Başarısız ispatlar boş hedefle bitmez.
“odev.yaptırma.com.tr“ ailesi olarak size her konuda destek sunabiliriz. Tek yapmanız gereken iletişim adreslerimizden bizlere ulaşmak!
Tüm alanlara özgü, literatür taraması yaptırma, simülasyon yaptırma, analiz yaptırma, çeviri yaptırma, makale ödevi yaptırma, dergi makalesi yaptırma, sunum ödevi yaptırma ve model oluşturma çalışmaları yapmaktayız.
