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
1. Yapay Zekâ Bir Mühendislik Projesi Olarak Nasıl Doğdu? Yapay zekâ, ilk ortaya çıktığında bugünkü gibi “öğrenen sistemler” anlamına gelmiyordu.1950’li yıllarda yapay zekâ, esasen mantık ve akıl yürütmenin bir mühendislik problemi olarak görülüyordu. Bu yaklaşımın arkasındaki temel… Sembolik Yapay Zekâ: Akıl Mantıkla Modellenebilir mi? Yapay Zekâ – Bölüm 1
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
Gottlob FregeDönem: 1848 – 1925Alan: Matematiksel Mantık / Felsefe / Dil Felsefesi 1. Mantığın Yeni Dönemi 9. yüzyılın ortalarında George Boole mantığı sayılarla ifade etmişti. Ama hâlâ bir sorun vardı: matematiksel işlemler doğru çalışsa da,… Gottlob Frege – Düşünmenin Sembolik Dili Mantık Serisi – Bölüm 3