"deontik mantık" için 262 sonuç bulundu
× Aramayı temizle
Arama Sonuçları
262 haber
Yapay Zeka Modelleri Artık Daha Kısa Düşünerek Daha Hızlı Sonuç Üretebilecek
Büyük akıl yürütme modelleri karmaşık problemleri çözerken uzun düşünce zincirleri oluşturuyor, ancak bu durum yavaşlık ve yüksek hesaplama maliyetine neden oluyor. Araştırmacılar CoSMo adlı yeni bir framework geliştirerek bu sorunu çözmeyi hedefliyor. Sistem, gereksiz tekrarları birleştirip mantık boşluklarını dolduran akıllı bir algoritma kullanıyor. Böylece modeller daha kısa ama etkili düşünce süreçleriyle aynı başarıya ulaşabiliyor. Bu gelişme, yapay zeka sistemlerinin hem daha hızlı çalışmasını hem de enerji tüketimini azaltmasını sağlayabilir.
arXiv — Hesaplamalı Dilbilim (cs.CL) · 11 gün önce
0
Turing'den Önce Cantor: Bilgisayar Biliminin Gözden Kaçan Kökeni
Yeni bir araştırma, modern bilgisayar biliminin kurucusu sayılan Alan Turing'in başarılarının aslında Georg Cantor'un küme teorisindeki öncül çalışmalarına dayandığını ortaya koyuyor. Çalışma, Turing makineleriyle çözülemeyen problemler için yeni bir 'kararsızlık ölçüsü' öneriyor ve bu problemlerin giriş verilerinin olasılık dağılımına göre ne kadar çözülemez olduğunu belirlemeyi amaçlıyor. Araştırmacılar ayrıca Turing'in sonsuz mantık ve Oracle makineleri üzerine çalışmalarını süper-Turing hesaplama modelleriyle genişletmeyi öneriyor. Bu yaklaşım, hesaplamalı karmaşıklık teorisinde yeni perspektifler açarak, çözülemez problemleri de sınıflandırma imkanı sunuyor.
arXiv — Hesaplamalı Dilbilim (cs.CL) · 11 gün önce
0
Yapay zeka artık görsel ayrıntıları anlayarak mantıksal çıkarım yapabiliyor
Araştırmacılar, görsel-temelli mantıksal çıkarım yapabilen yeni bir yapay zeka modeli geliştirdi. VGR adlı bu model, geleneksel yaklaşımların aksine sadece metin tabanlı işlem yapmak yerine, görüntülerdeki önemli bölgeleri tespit ederek daha doğru çıkarımlar yapabiliyor. Mevcut çok modlu dil modelleri genellikle matematiksel ve bilimsel problemlerle sınırlıyken, VGR karmaşık görsel anlama gerektiren görevlerde de başarılı sonuçlar veriyor. Model, özel olarak hazırlanmış büyük ölçekli bir veri setiyle eğitilmiş ve görsel grondlama ile dil çıkarımını birleştiren hibrit bir yaklaşım kullanıyor. Bu gelişme, yapay zekanın insan benzeri görsel algı ve mantıksal düşünme süreçlerini daha iyi taklit edebilmesinin önünü açıyor.
arXiv — Hesaplamalı Dilbilim (cs.CL) · 11 gün önce
0
Moleküllerin Termodinamik Davranışları Kuantum Modellemeyle Çözüldü
Araştırmacılar, hidrojen ve lityum hidrür moleküllerinin termodinamik özelliklerini Frost-Musulin potansiyel modeli kullanarak başarıyla analiz ettiler. Bu çalışma, moleküllerin enerji seviyelerini kuantum mekaniği çerçevesinde inceleyerek, sıcaklık değişimlerine karşı nasıl davrandıklarını ortaya koyuyor. Bilim insanları, Schrödinger denkleminin çözümüyle elde ettikleri bağlı durum spektrumunu, ideal gaz teorisiyle birleştirerek toplam bölme fonksiyonunu hesapladılar. Sonuçlar, her iki molekül için Gibbs serbest enerji sapma fonksiyonunu yüksek doğrulukla yakalayarak, ısı kapasitesi ve entalpi artışı gibi termodinamik büyüklüklerin geniş sıcaklık aralığında kimyasal açıdan mantıklı eğilimler gösterdiğini kanıtladı. Bu yaklaşım, moleküler sistemlerin termodinamik davranışlarını anlamak için güçlü bir araç sunuyor.
arXiv — Kuantum Fiziği · 11 gün önce
0
Kuantum Bilgisayarlarda Dağıtık Hesaplama Operasyonlarında Büyük İlerleme
Araştırmacılar, kuantum bilgisayarların ölçeklenebilirliğini artırmak için dağıtık mimarilerde çalışan hata toleranslı operasyonları inceledi. Çalışma, farklı kuantum modülleri arasında gerçekleştirilen transversal non-local CNOT ve mantıksal ışınlama işlemlerini simüle ederek, bu operasyonların performansını detaylı olarak karakterize etti. Sonuçlar, uygun cihazlarda dağıtık kuantum LDPC kodlarının, mevcut yüzey kodu lattice cerrahisinden daha iyi performans gösterebileceğini ortaya koydu. Özellikle non-local CNOT operasyonunun, aynı kod mesafesi ve gürültü seviyelerinde ışınlamaya kıyasla on kata kadar düşük mantıksal hata oranları elde edebildiği tespit edildi. Bu gelişme, kuantum bilgisayarların pratik uygulamalar için gerekli olan ölçeklenebilirlik sorununa önemli bir çözüm sunuyor.
arXiv — Kuantum Fiziği · 11 gün önce
1
Anılarınız gerçek mi? Fizikçiler Boltzmann beyin paradoksunu yeniden inceliyor
Fizikçiler, evrenimizin gerçekliği hakkında düşündürücü bir paradoksu yeniden ele aldı. 'Boltzmann beyin' olarak bilinen bu kavrama göre, anılarımız ve gerçeklik algımız aslında kozmik kaosun yarattığı rastgele yanılsamalar olabilir. Yeni bir analiz, fizikçilerin zaman ve entropi hakkındaki düşüncelerinde döngüsel mantık hatası bulunduğunu ortaya koyuyor. Bu çalışma, geçmiş hakkında gerçekten ne bilebileceğimiz konusunda köklü sorular gündeme getiriyor. Araştırmacılar, evrenin düzensizlikten düzene doğru geliştiği varsayımının sorgulanması gerektiğini öne sürüyor. Bu bulgular, fizik ve felsefenin kesiştiği noktada, var oluşumuz ve bilinç hakkındaki temel anlayışımızı derinden sorgulamamızı gerektiriyor.
ScienceDaily · 12 gün önce
0
Gündüz Hayalleri Gece Rüyaları Kadar Tuhaf
Yeni bir araştırma, zihnimizin uyanıkken kurduğu hayallerin gece rüyalarımız kadar garip öğelerle dolu olduğunu ortaya koydu. Çalışma, her iki durumda da benzer düzeyde tuhaflık yaşandığını, ancak bunların farklı şekillerde ortaya çıktığını gösteriyor. Gece rüyalarında yavaş yavaş dönüşen imkansız durumlarla karşılaşırken, gündüz hayallerimiz ani mantık sıçramalarıyla karakterize ediliyor. Bu bulgular, insan bilincinin farklı durumlarında yaratıcılık ve hayal gücünün nasıl işlediğine dair önemli ipuçları sunuyor. Araştırma, zihin gezintisinin sadece rastgele düşünceler dizisi olmadığını, aksine karmaşık bilişsel süreçlerin ürünü olduğunu göstermesi açısından dikkat çekiyor.
PsyPost · 12 gün önce
0
Kimyada Tavuk-Yumurta Paradoksu: Bağ mı Kararlılığı Sağlar, Kararlılık mı Bağı?
Kimyasal bağ kavramı kimyanın temel taşlarından biri olsa da, aslında moleküler Hamiltoniyen'de fiziksel bir karşılığı bulunmuyor. Yeni bir araştırma, 'bağlanma yapıyı kararlı hale getirir' gibi yaygın ifadelerin aslında döngüsel mantık hatası içerebileceğini ortaya koyuyor. Çalışma, kimyasal bağın kuantum durumundan türeyen bir tanımlayıcı olduğunu ve kararlı yapıların nedeni değil, sonucu olduğunu savunuyor. Bu yaklaşım, sterik itme gibi diğer kimyasal kavramlar için de geçerli. Araştırmacılar, QTAIM ve protein yapısı örnekleriyle bu paradoksu açıklayarak, kimyada neden-sonuç ilişkilerinin yeniden değerlendirilmesi gerektiğini vurguluyor.
arXiv — Kimyasal Fizik · 14 gün önce
0
Çok Ajanlı Sistemlerde Kontrol Sorunu: Tensör Temelli Yenilikçi Çözüm
Araştırmacılar, birden fazla ajanın bulunduığu karmaşık sistemlerde kontrol stratejileri geliştirmek için yeni bir matematiksel yöntem önerdi. Stokastik çok-ajanlı sistemler olarak adlandırılan bu yapılar, otonom araçlardan robot sürülerine kadar birçok alanda kullanılıyor. Geleneksel yöntemler boyut lanetine takılırken, yeni yaklaşım tensör ayrışımı tekniklerini kullanarak bu sorunu aşıyor. Yöntem, temporal mantık spesifikasyonları için kanıtlanabilir olasılık garantileri sunuyor ve sürekli durumlu doğrusal stokastik sistemlerde test edildi. Bu gelişme, karmaşık sistemlerin daha güvenilir kontrolü için önemli bir adım.
arXiv — Bilgisayar Sistemleri · 14 gün önce
0
Yapay Zeka Modelleri Mantıklı Düşünmeyi mi Kurallara Uymayı mı Tercih Ediyor?
Büyük dil modellerinin (LLM) akıl yürütme yeteneklerinin nasıl kontrol edilebileceği üzerine ilk sistematik araştırma gerçekleştirildi. Araştırmacılar, bu modellerin çelişkili talimatlarla karşılaştıklarında nasıl davrandığını inceledi. Sonuçlar, yapay zeka modellerinin kurallara uyma yerine mantıklı düşünmeyi tercih ettiğini gösterdi. Bu keşif, AI sistemlerinin karar verme süreçlerini anlamamız açısından kritik öneme sahip. Araştırma, modellerin önceden öğrendikleri bilgilerle yeni talimatlar arasında çelişki yaşadığında hangi yolu seçtiklerini ortaya koyuyor.
arXiv — Hesaplamalı Dilbilim (cs.CL) · 14 gün önce
0
Yapay Zeka Artık Araştırma Yol Haritaları Çizebiliyor
Araştırmacılar, karmaşık bilimsel problemleri çözmek için adım adım yol haritaları oluşturabilen yeni bir yapay zeka sistemi geliştirdi. RoadMapper adlı bu çok aracılı sistem, büyük dil modellerinin araştırma sürecini planlama konusundaki yetersizliklerini gidermek için tasarlandı. Sistem, profesyonel bilgi eksikliği, mantıksız görev ayrıştırması ve düzensiz mantıksal ilişkiler gibi temel sorunları çözerek, araştırmacıların kompleks projeleri daha sistematik bir şekilde ele almasını sağlıyor. Bu gelişme, bilimsel araştırma süreçlerinin otomatikleştirilmesi ve hızlandırılması açısından önemli bir adım olarak değerlendiriliyor.
arXiv — Hesaplamalı Dilbilim (cs.CL) · 14 gün önce
0