Induction of logical relations based on specific generalization of strings

Mantıksal ilişkilerin birincil sıra gerşekler olarak ifade edilmiş ürneklerdens c soşıkarılması Tü mevarımsal Mantık Programlama araştırmalarınca derinleme-c u ssine şalışılmış bir konudur. Sadece pozitif ürneklerden yola cıkılarak yapılancs s o şügrenmeler aşırı genellemelere neden olup tutarsız hipotezlerin sonuşlanmasınaoğ s cneden olabilir. Tek eşlemeli dizilere dayalı ozgü l genellemeler cıkaran birs üu şoğügrenme yünteminin dizi argümanlı onerileri ogrenebildiği güsterilmiştir. Buo u ü üğ go stez, dizilerin üzgü l genellemeleri fikrine dayalı, en az genel genelleme şemasınıou skullanma yoluyla geri plan bilgisini de dikkate alarak onerme genelleyenübir tü mevarımsal ügrenicinin gerşekleştirilebilmesi işin yapılan calışmayıu oğ c s c şsüzetlemektedir. Gerşekleştirilen sistem, ayrıca sayısal argü manlı onermeleri deo c s u ügenelleyebilecek şekilde genişletilmiş ve akrabalık ilişkileri, dilbilgisi ügrenme ves s s s oğsayısal veri işlemesi gereken mutagenesis tahmini gibi orneklerde başarılı sonuşlars ü s cverdiği güsterilmiştir.go sAnahtar süzcükler : tü mevarımsal mantık programlama, makine ogrenmesi, diziou u üğgenellemesi, hipotez, ürnek, geri plan bilgisi.oiv