1. Soru Neden Hâlâ Açık? Yapay zekâ, sembolik sistemlerden derin öğrenmeye kadar uzun bir yol kat etti. Mantıkla başladı, olasılıkla devam etti, veriyle öğrendi ve büyük modellerle etkileyici sonuçlar üretti. Ancak bu teknik ilerlemenin sonunda… Yapay Zekâ Düşünüyor mu? Yapay Zekâ – Bölüm 6
1. Makine Öğrenmesinin Tıkanma Noktası Bir önceki bölümde ele alındığı gibi, makine öğrenmesi 2000’li yılların başında önemli başarılar elde etmişti. Ancak bu başarılar büyük ölçüde özellik çıkarımına dayanıyordu. Yani: Bu yaklaşım; metin, görüntü ve ses gibi yüksek… Derin Öğrenme ve Büyük Modeller: Neden Şimdi? Yapay Zekâ – Bölüm 5
1. Büyük Kopuş: Kuraldan Veriye Önceki bölümde görüldüğü gibi, sembolik yapay zekâ ve uzman sistemler kural yazma yaklaşımında tıkanmıştı.Gerçek dünya bilgisi: Bu noktada yapay zekâda köklü bir soru ortaya çıktı: Eğer kuralları yazmak bu kadar zorsa,makine kuralları… Makine Öğrenmesi: Kuralları Kim Yazıyor? Yapay Zekâ – Bölüm 4
1. Mantığın Yetmediği Nokta Uzman sistemler dönemi, yapay zekâya önemli bir ders vermişti: Gerçek dünyadaki problemler, kesin kurallarla tanımlanamayacak kadar karmaşıktır. Bir teşhis, bir karar ya da bir tahmin çoğu zaman şu özellikleri taşır: Oysa klasik sembolik… Belirsizlikle Tanışma: Olasılık ve Öğrenme Yapay Zekâ – Bölüm 3
1. Sembolik Yapay Zekâdan Bir Adım İleri Sembolik yapay zekâ, düşünmenin mantıksal kurallarla modellenebileceğini göstermişti.Ancak bu yaklaşım büyük ölçüde soyut problemlerle sınırlıydı:mantık teoremleri, oyunlar veya çok dar tanımlanmış dünyalar. 1970’li yıllara gelindiğinde yapay zekâ araştırmacıları şu soruya… Uzman Sistemler: Bilgiyi Kurallara Dönüştürmek Yapay Zekâ – Bölüm 2
John von NeumannDönem: 1903 – 1957Alan: Matematik / Bilgisayar Bilimi / Oyun Teorisi / Fizik 1. Mantık Artık Bir Makinedir Alan Turing, “hangi problemler hesaplanabilir?” sorusuna teorik bir çerçeve sunmuştu. Claude Shannon ise bu hesaplamaların bilgi üzerinden nasıl çalıştığını… John von Neumann – Mantıktan Bilgisayar Mimarisine Mantık Serisi – Bölüm 8
Claude E. ShannonDönem: 1916 – 2001Alan: Matematik / Bilgi Kuramı / İletişim Sistemleri 1. Mantıktan Bilgiye Geçiş Alan Turing, mantığın hangi sınırlar içinde hesaplanabilir olduğunu göstermişti.Ancak bu hesaplamalar neyi işliyordu?Cevap açıktı ama henüz matematiksel değildi: bilgi. İşte Claude Shannon, bu noktada… Claude Shannon – Bilginin Mantığı Mantık Serisi – Bölüm 7
Alan TuringDönem: 1912 – 1954Alan: Matematiksel Mantık / Hesaplanabilirlik / Bilgisayar Bilimi 1. Gödel’den Sonra Sorulan Yeni Soru Kurt Gödel, matematiğin sınırlarını göstermişti:Her doğru ifade, sistem içinde ispatlanamazdı. Bu sonuçtan sonra mantık dünyasında yeni bir soru doğdu:… Alan Turing – Mantığın Makineye Dönüşmesi Mantık Serisi – Bölüm 6
Kurt GödelDönem: 1906 – 1978Alan: Matematiksel Mantık / Aksiyomatik Sistemler / Bilim Felsefesi 1. Büyük Hayal: Kusursuz Bir Mantık Sistemi 20. yüzyılın başında matematikçiler büyük bir hedefin peşindeydi:Tüm matematiği, eksiksiz ve çelişkisiz bir aksiyom sistemi üzerine kurmak.… Kurt Gödel – Mantığın Sınırları Mantık Serisi – Bölüm 5
Bertrand RussellDönem: 1872 – 1970Alan: Matematiksel Mantık / Felsefe / Bilim Felsefesi 1. Frege’den Sonra Gelen Büyük Soru Gottlob Frege, mantığın sembolik dilini kurarak matematiğin mantık temelli bir yapıya sahip olduğunu göstermişti.Ancak bu büyük projenin önünde ciddi… Bertrand Russell – Mantığın Dili ve Matematiğin Temeli Mantık Serisi – Bölüm 4