"mantık yürütme" için 318 sonuç bulundu
× Aramayı temizle
Arama Sonuçları
318 haber
Yapay Zeka Mantık Yürütmeyi Nasıl Öğreniyor? Transformer Modellerde Yeni Keşif
Araştırmacılar, transformer tabanlı yapay zeka modellerinin mantıksal çıkarım yeteneklerini inceledi. Çalışmada, "A, B'den büyük; B, C'den büyük; o halde A, C'den büyük" türü geçişli mantık yürütme davranışı analiz edildi. İki farklı öğrenme türü karşılaştırıldı: model ağırlıklarına gömülü öğrenme ve bağlam içi öğrenme. Bulgular, bu iki yaklaşımın tamamen farklı stratejiler geliştirdiğini gösterdi. Ağırlık tabanlı öğrenen modeller, insanlar ve hayvanlarınkine benzer doğrusal ilişki haritaları oluştururken, bağlam içi öğrenen modeller genellikle ezberleme stratejisi benimsiyor. Ancak eğitim verileri geçişli çıkarımı gerektirdiğinde, bu modeller de mantıksal genelleme yapabiliyorlar. Araştırma, yapay zeka sistemlerinin akıl yürütme mekanizmalarını anlamak açısından önemli ipuçları sunuyor.
arXiv (Nörobilim) · 2 gün önce
0
Yapay Zeka Destekli Malzeme Keşfi İçin Eğitim Modeli Geliştirildi
Malzeme biliminde yapay zeka kullanımının artmasıyla birlikte, öğrencilerin bu teknolojiyi etkili şekilde kullanabilmesi için yeni bir eğitim yaklaşımına ihtiyaç duyuluyor. Araştırmacılar, sadece AI araçlarına erişim sağlamanın yeterli olmadığını, bunun yerine bilimsel muhakeme becerilerini destekleyen kapsamlı bir AI okuryazarlığı modelinin gerekli olduğunu savunuyor. Yeni framework, veri kaynağı analizi, model doğrulama, belirsizlik hesaplama ve fizik tabanlı akıl yürütme gibi malzeme bilimi odaklı becerileri kapsıyor. Bu yaklaşım, gelecekteki bilim insanlarının AI'yi körü körüne kullanmak yerine, bilimsel yargıyla harmanlayarak daha etkili araştırmalar yapabilmesini hedefliyor.
arXiv — Fizik Eğitimi · 2 gün önce
0
Kuantum Teorisi Topos Matematiğiyle Yeniden Yorumlanıyor
Matematiksel fizik alanında yeni bir bakış açısı ortaya çıkıyor. Araştırmacılar, kuantum teorisinin temel yapısını anlamak için topos teorisi adı verilen gelişmiş matematik dalından yararlanıyor. Bu yaklaşım, kuantum mekaniğinin mantıksal temellerini ve gerçeklik anlayışımızı sorguluyor. Isham, Butterfield ve diğer önde gelen bilim insanlarının çalışmalarını derleyen bu araştırma, kuantum fiziğinin felsefi boyutlarına matematiksel çözümler sunuyor. Topos teorisi, küme teorisinin alternatifi olarak geliştirilmiş ve farklı mantık sistemlerinin incelenmesine olanak tanıyor. Kuantum dünyasının klasik mantığa uymayan davranışlarını açıklamada bu yöntem umut verici sonuçlar gösteriyor. Çalışma, kuantum ölçüm probleminden kuantum mantığa kadar birçok temel konuyu ele alıyor.
arXiv — Matematiksel Fizik · 9 gün önce
0
Kuantum Bilgisayarları İçin Yapay Zeka Destekli Devre Yönlendirme Çözümü
Kuantum bilgisayarların büyütülmesi giderek zorlaştıkça, araştırmacılar dağıtık kuantum bilişim sistemlerine yöneliyor. Bu yaklaşımda, kübitler birden fazla küçük kuantum işlemci modülü arasında dağıtılıyor. Ancak bu mimari, kuantum devre derlemesinde yeni zorluklar yaratıyor. Araştırmacılar, pekiştirmeli öğrenme algoritmaları kullanarak bu soruna çözüm arıyor. Yeni geliştirilen yapay zeka ajanı, farklı kuantum devrelerinde genelleştirebilen bir derleme politikası oluşturuyor ve devre yürütme süresini optimize ediyor.
arXiv — Kuantum Fiziği · 9 gün önce
0
Yapay Zeka Beyin Modellemesinde Çığır Açan Yeni Algoritma
Araştırmacılar, beynin çevreden gelen bilgileri nasıl işlediğini taklit eden Hiyerarşik Gauss Filtreleme sistemlerinde kritik bir sorunu çözdü. Bu sistemler, canlıların çevresel değişiklikleri algılama ve öğrenme süreçlerini matematiksel olarak modellemeye yarar. Ancak mevcut algoritmalarda, belirsizlik hesaplamalarında mantık dışı sonuçlar çıkabiliyor ve sistem çöküyordu. Yeni geliştirilen yöntem, bu sorunu ortadan kaldırarak daha güvenilir yapay zeka sistemleri yaratma yolunu açıyor. Bu gelişme, özellikle robotik, otonom sistemler ve nöromorfik bilgisayarlar için büyük önem taşıyor.
arXiv (Biyoloji) · 9 gün önce
0
Bolek: İlaç Keşfinde Devrim Yaratacak Moleküler Akıl Yürütme Modeli
Araştırmacılar, ilaç geliştirme süreçlerinde moleküllerin özelliklerini analiz edebilen ve kararlarını açıklayabilen yeni bir yapay zeka modeli geliştirdi. Bolek adı verilen bu model, moleküler yapıları doğal dil ile birleştirerek, hem yüksek doğrulukla tahminler yapabiliyor hem de bu tahminlerin nedenlerini anlaşılır şekilde açıklayabiliyor. Geleneksel modeller sadece sayısal sonuçlar verirken, Bolek moleküler özellikleri detaylı bir şekilde analiz ederek mantıklı açıklamalar sunuyor. Model, 15 farklı biyoloji görevinde test edildi ve temel modeline kıyasla önemli performans artışları gösterdi. Bu gelişme, ilaç keşfi süreçlerinde şeffaflık ve güvenilirlik açısından büyük bir adım olarak değerlendiriliyor.
arXiv (Biyoloji) · 9 gün önce
0
Vietnamca Hukuki Metinler İçin Yapay Zeka Veri Seti Geliştirildi
Araştırmacılar, Vietnamca hukuki metinlerde doğal dil anlama için özel olarak tasarlanmış ilk büyük ölçekli veri setini oluşturdular. ViLegalNLI adlı bu veri seti, resmi yasal belgelerden türetilen 42.012 öncül-hipotez çifti içeriyor ve yapay zeka sistemlerinin hukuki metinleri daha iyi anlamasını sağlamayı hedefliyor. Veri seti, çok aşamalı mantıksal çıkarım, koşullu ifadeler ve hukuk terminolojisi gibi karmaşık yasal akıl yürütme senaryolarını kapsıyor. Bu çalışma, hukuk alanında yapay zeka uygulamalarının geliştirilmesi için önemli bir kaynak sunuyor ve özellikle Vietnamca gibi az kaynaklı diller için hukuki NLP araçlarının geliştirilmesinde kritik bir adım teşkil ediyor.
arXiv — Hesaplamalı Dilbilim (cs.CL) · 10 gün önce
0
Yapay zeka modelleri Arapça lehçelerle kültürel konuları anlamakta zorlanıyor
Araştırmacılar, büyük dil modellerinin (LLM) Arapça lehçelerindeki kültürel nüansları anlama konusundaki eksiklerini ortaya koyan kapsamlı bir çalışma gerçekleştirdi. ArabCulture-Dialogue adlı yeni veri seti, 13 Arap ülkesinin hem standart Arapçasını hem de yerel lehçelerini kapsıyor. Çalışma, yapay zeka modellerinin Standart Modern Arapça ile çalıştığında daha iyi performans gösterdiğini, ancak yerel lehçeler söz konusu olduğunda kültürel akıl yürütme, çeviri ve dil üretimi görevlerinde belirgin şekilde zorlandığını gösteriyor. Bu araştırma, çok kültürlü yapay zeka sistemlerinin geliştirilmesi için önemli bulgular sunuyor.
arXiv — Hesaplamalı Dilbilim (cs.CL) · 10 gün önce
0
Küçük dil modelleri artık tablo verilerini kaynak göstererek analiz edebiliyor
Araştırmacılar, küçük dil modellerinin tablo verilerini analiz ederken hangi hücrelerden bilgi aldığını şeffaf bir şekilde gösterebilen RSAT yöntemini geliştirdi. Bu yenilik, yapay zeka sistemlerinin güvenilirliği açısından önemli bir adım. 1-8 milyar parametreli modeller üzerinde test edilen sistem, her akıl yürütme adımını kaynak hücrelerle eşleştirerek doğrulanabilir sonuçlar üretiyor. Geleneksel yaklaşımlarda kullanıcılar, AI'nın hangi verileri kullanarak sonuca ulaştığını bilemiyordu. RSAT ise adım adım mantık yürütme sürecinde kullanılan her tablo hücresini işaret ederek bu sorunu çözüyor. Test sonuçları, sistemin güvenilirliğini 3,7 kat artırdığını ve kaynak gösterme doğruluğunun yüzde 99,2'ye ulaştığını gösteriyor.
arXiv — Hesaplamalı Dilbilim (cs.CL) · 10 gün önce
0
Yapay Zeka Etik Anlaşmazlıkları Nasıl Çözecek? Reddit Verileriyle Test Edildi
Stanford araştırmacıları, çelişkili etik görüşleri mantıklı bir şekilde birleştiren yeni bir yapay zeka sistemi geliştirdi. Geleneksel çoğunluk oylaması yöntemlerinin aksine, bu sistem farklı görüşleri gürültü olarak görmek yerine mantık tabanlı bir yaklaşım kullanıyor. Reddit'in r/AmItheAsshole forumundaki milyonlarca tartışmayı analiz eden sistem, popüler görüşlerden %62 oranında farklı sonuçlar üretiyor. Araştırmacılar, sistemin doğal dil açıklamalarını mantıksal kurallara dönüştürdükten sonra, bu kuralları matematiksel optimizasyon problemi olarak çözüyor. Bağımsız değerlendirmecilerle %86 uyum oranına ulaşan sistem, özellikle etik ikilemler ve toplumsal anlaşmazlıklar konusunda adil karar verme mekanizmaları geliştirilmesinde önemli bir adım sayılıyor.
arXiv — Hesaplamalı Dilbilim (cs.CL) · 10 gün önce
0
Transformer'larda Yerel Dikkat Mekanizmasının Gücü Matematiksel Olarak Açıklandı
Yapay zeka dünyasının en önemli mimarilerinden transformer'ların yerel dikkat mekanizması, şaşırtıcı bir şekilde küresel dikkattan daha iyi sonuçlar verebiliyor. Araştırmacılar, bu paradoksal durumun nedenini matematiksel olarak açıkladı. Yerel dikkat, her kelimenin sadece sınırlı sayıda önceki kelimeye odaklanmasını sağlayarak hem hesaplama maliyetini düşürüyor hem de model performansını artırıyor. Çalışma, bu mekanizmanın ifade gücünü lineer zamansal mantık çerçevesinde analiz ederek, yerel dikkat eklenmesinin modele ek bir geçmiş operatörü kazandırdığını gösteriyor. Bu keşif, dil modellerinin nasıl çalıştığına dair temel anlayışımızı derinleştiriyor.
arXiv — Hesaplamalı Dilbilim (cs.CL) · 10 gün önce
0