Yapay zeka felsefesi

Yapay zeka felsefesi, yapay zekayı ve yapay zekanın, etik, bilinç, epistemoloji ve özgür irade bilgi ve anlayışı üzerindeki etkilerini araştıran teknoloji felsefesinin bir dalıdır. Ayrıca teknoloji, yapay hayvanların veya yapay insanların yaratılmasıyla ilgilidir, bu nedenle disiplin, filozoflar için oldukça ilgi çekicidir. Bu faktörler yapay zeka felsefesinin ortaya çıkmasına katkıda bulunmuştur. Bazı akademisyenler, AI topluluğunun felsefeyi reddetmesinin zararlı olduğunu savunur.
Yapay zeka felsefesi, bu tür soruları şu şekilde yanıtlamaya çalışır:
Bir makine akıllıca hareket edebilir mi? Bir insanın düşünerek çözeceği herhangi bir sorunu çözebilir mi?
İnsan zekası ve makine zekası aynı mıdır? İnsan beyni aslında bir bilgisayar mı?
Bu gibi sorular, sırasıyla AI araştırmacılarının, bilişsel bilim adamlarının ve filozofların farklı ilgi alanlarını yansıtır. Bu soruların bilimsel cevapları, "akıl" ve "bilinç" tanımlarına ve tam olarak hangi "makinelerin" tartışıldığına bağlıdır.
AI felsefesindeki önemli önermeler aşağıdakilerden bazılarını içerir:
Turing testi: Bir makine bir insan kadar akıllıca davranıyorsa, o zaman bir insan kadar zekidir.
Dartmouth Konferansı: "Öğrenmenin her yönü veya zekanın diğer herhangi bir özelliği o kadar kesin bir şekilde tanımlanabilir ki, onu simüle etmek için bir makine yapılabilir."
Allen Newell ve Herbert A. Simon'ın fiziksel sembol sistemi hipotezi: "Fiziksel bir sembol sistemi, genel akıllı eylem için gerekli ve yeterli araçlara sahiptir."
John Searle'nin güçlü AI hipotezi: "Doğru girdi ve çıktılara sahip, uygun şekilde programlanmış bir bilgisayar, bu nedenle, tam olarak insanların sahip olduğu anlamda bir akla sahip olacaktır.."
Bir makine genel zeka gösterebilir mi?
İnsanların zekasını kullanarak çözdüğü tüm sorunları çözebilecek bir makine yaratmak mümkün müdür? Bu soru, makinelerin gelecekte neler yapabileceğinin kapsamını tanımlar ve AI araştırmasının yönünü gösterir. Yalnızca makinelerin davranışıyla ilgilidir ve psikologların, bilişsel bilim adamlarının ve filozofların ilgilendiği konuları görmezden gelir; Bu soruyu cevaplamak için, bir makinenin gerçekten (bir kişinin düşündüğü gibi) düşünmesi veya sadece düşünüyormuş gibi davranması önemli değildir.
Çoğu AI araştırmacısının temel konumu, 1956 Dartmouth Konferansı teklifinde yer alan bu açıklamada özetlenmiştir:
"Öğrenmenin her yönü veya zekanın diğer herhangi bir özelliği o kadar kesin bir şekilde tanımlanabilir ki, onu simüle etmek için bir makine yapılabilir."
Temel önermeye karşı argümanlar, çalışan bir yapay zeka sistemi inşa etmenin imkansız olduğunu, çünkü bilgisayarların yeteneklerinde bazı pratik sınırlar olduğunu veya akıllı davranış için gerekli olan ve yine de bir başkası tarafından kopyalanamayan insan zihninin bazı özel kalitesinin olduğunu göstermelidir ( Makine veya mevcut AI araştırmasının yöntemleriyle). Temel öncül lehine argümanlar, böyle bir sistemin mümkün olduğunu göstermelidir.
Zeka
Turing test
Alan Turing, zekayı tanımlama sorununu konuşma hakkında basit bir soruya indirgedi. Eğer bir makine kendisine sorulan herhangi bir soruyu sıradan bir insanla aynı kelimeleri kullanarak cevaplayabiliyorsa, o zaman o makineye akıllı diyebiliriz. Deneysel tasarımının modern bir versiyonu, katılımcılardan birinin gerçek bir kişi olduğu ve katılımcılardan birinin bir bilgisayar programı olduğu çevrimiçi bir sohbet odası kullanır. Program, iki katılımcıdan hangisinin insan olduğunu kimse söyleyemezse testi geçer. Turing, hiç kimsenin (filozoflar hariç) "insanlar düşünebilir mi?" sorusunu sormadığını not eder. "Bu nokta üzerinde sürekli tartışmak yerine, herkesin düşündüğü kibar bir uzlaşıma sahip olmak olağandır" diye yazıyor. Turing'in testi, bu kibar kuralı makinelere kadar genişletir:
Bir makine bir insan kadar zekiyse, o zaman bir insan kadar zekidir.
Turing testinin eleştirilerinden biri, davranışın "zekasını" değil, yalnızca makinenin davranışının "insanlığını" ölçmesidir. İnsan davranışı ve akıllı davranış tam olarak aynı şey olmadığından, test zekayı ölçemez. Stuart J. Russell ve Peter Norvig, "havacılık mühendisliği metinleri, alanlarının amacını 'diğer güvercinleri kandırabilecek kadar güvercinler gibi uçan makineler yapmak' olarak tanımlamazlar" diye yazıyorlar.
Akıllı ajan tanımı
Yirmi birinci yüzyıl AI araştırması, zekayı akıllı ajanlar açısından tanımlar. Bir "ajan", bir ortamda algılayan ve hareket eden bir şeydir. Bir "performans ölçüsü", aracı için neyin başarı sayılacağını tanımlar.
"Bir etmen, geçmiş deneyim ve bilgiye dayalı olarak bir performans ölçüsünün beklenen değerini maksimize edecek şekilde hareket ederse, o zaman akıllıdır."
Bunun gibi tanımlar zekanın özünü yakalamaya çalışır. Turing testinden farklı olarak, yazım hataları yapma veya aşağılanma yeteneği gibi zeki olmayan insan özelliklerini test etmeme avantajına sahiptirler."Düşünen şeyler" ile "düşünmeyen şeyler" arasında ayrım yapamamak gibi bir dezavantaja sahiptirler. Bu tanıma göre, bir termostatın bile ilkel bir zekası vardır.
Bir makinenin genel zekayı gösterebileceğine dair argümanlar
Hubert Dreyfus, bu argümanı, "sinir sistemi, fizik ve kimya yasalarına uyuyorsa, ki bunu varsaymak için her türlü nedenimiz varsa, o zaman sinir sisteminin davranışını bazı fiziksel araçlarla yeniden üretebilmeliyiz" iddiası olarak tanımlar. İlk olarak 1943 gibi erken bir tarihte ortaya atılan ve 1988'de Hans Moravec tarafından canlı bir şekilde açıklanan bu argüman, bilgisayar gücünün 2029 yılına kadar eksiksiz bir beyin simülasyonu için yeterli olacağını tahmin eden fütürist Ray Kurzweil ile ilişkilendiriliyor. 2005 yılında insan beynine (1011 nöron) büyüklüğünde bir talamokortikal modelin simülasyonu yapıldı ve 27 işlemciden oluşan bir kümede 1 saniyelik beyin dinamiğinin simüle edilmesi 50 gün sürdü.
İnsan düşüncesi sembol işlemedir
1963'te Allen Newell ve Herbert A. Simon, "sembol manipülasyonunun" hem insan hem de makine zekasının özü olduğunu öne sürdüler.
"Fiziksel bir sembol sistemi, genel akıllı eylem için gerekli ve yeterli araçlara sahiptir."
Bu iddia çok güçlüdür: hem insan düşüncesinin bir tür sembol manipülasyonu olduğunu (çünkü zeka için bir sembol sistemi gereklidir) hem de makinelerin zeki olabileceğini (çünkü zeka için bir sembol sistemi yeterlidir) ima eder.
Sembol işlemeye karşı argümanlar
Bu argümanlar, insan düşüncesinin (yalnızca) üst düzey sembol manipülasyonundan oluşmadığını göstermektedir. Yapay zekanın imkansız olduğunu göstermiyorlar, sadece sembol işlemeden fazlasının gerekli olduğunu gösteriyorlar.
Dreyfus: örtük becerilerin önceliği
Hubert Dreyfus, insan zekasının ve uzmanlığının, açık sembolik manipülasyondan ziyade öncelikle örtük becerilere bağlı olduğunu savundu ve bu becerilerin asla resmi kurallarda ele geçirilmeyeceğini savundu.
Bir makinenin zihni, bilinci ve zihinsel durumları olabilir mi?
Bu, diğer zihinlerin sorunu ve zor bilinç sorunuyla ilgili felsefi bir sorudur. Soru, John Searle tarafından "güçlü AI" olarak tanımlanan bir konum etrafında dönüyor:
Fiziksel bir sembol sisteminin bir zihni ve zihinsel durumları olabilir.
Searle, bu konumu "zayıf yapay zeka" dediği durumdan ayırdı:
Fiziksel bir sembol sistemi akıllıca hareket edebilir.
Searle, güçlü yapay zekayı zayıf yapay zekadan ayırmak için terimleri tanıttı, böylece daha ilginç ve tartışmalı olduğunu düşündüğü şeye odaklanabildi. Tam olarak insan zihni gibi hareket eden bir bilgisayar programımız olduğunu varsaysak bile, yine de cevaplanması gereken zor bir felsefi soru olacağını savundu.
Düşünmek bir tür hesaplama mıdır?
Hesaplamalı zihin teorisi veya "bilgisayarcılık", zihin ve beyin arasındaki ilişkinin (aynı değilse de) çalışan bir program ile bilgisayar arasındaki ilişkiye benzer olduğunu iddia eder. Bu fikrin felsefi kökleri Hobbes (akıl yürütmenin "hesaplamadan başka bir şey olmadığını" iddia eden), Leibniz (tüm insan fikirlerinin mantıksal bir hesabını oluşturmaya çalışan), Hume (algının "atomik izlenimlere" indirgenebileceğini düşünen) ve hatta (biçimsel kurallar tarafından kontrol edilen tüm deneyimleri analiz eden) Kant bile (tüm deneyimleri biçimsel kurallarla kontrol edildiği şekilde analiz eden) son sürüm filozoflar Hilary Putnam ve Jerry Fodor ile ilişkilidir.
Diğer ilgili sorular
Bir makinenin duyguları olabilir mi?
Eğer "duygular" sadece davranış üzerindeki etkileri veya bir organizmanın içinde nasıl işlev gördükleri açısından tanımlanırsa, duygular akıllı bir ajanın eylemlerinin faydasını en üst düzeye çıkarmak için kullandığı bir mekanizma olarak görülebilir. Bu duygu tanımı göz önüne alındığında, Hans Moravec "robotların genel olarak iyi insanlar olma konusunda oldukça duygusal olacağına" inanıyor.
Bir makine kendinin farkında olabilir mi?
Yukarıda belirtildiği gibi, "öz farkındalık" bazen bilimkurgu yazarları tarafından bir karakteri tamamen insan yapan temel insan özelliğinin adı olarak kullanılır. Turing, insanın diğer tüm özelliklerini ortadan kaldırır ve soruyu "bir makine kendi düşüncesinin konusu olabilir mi?" sorusuna indirger. Kendini düşünebilir mi? Bu şekilde bakıldığında, hata ayıklayıcı gibi kendi iç durumları hakkında rapor verebilen bir program yazılabilir.
Bir makine orijinal veya yaratıcı olabilir mi?
Turing bunu bir makinenin "bizi şaşırtıp götüremeyeceği" sorusuna indirger ve herhangi bir programcının onaylayabileceği gibi bunun açıkça doğru olduğunu iddia eder. Yeterli depolama kapasitesine sahip bir bilgisayarın astronomik sayıda farklı şekilde davranabileceğini belirtiyor. Fikirleri temsil edebilen bir bilgisayarın onları yeni şekillerde birleştirmesi mümkün, hatta önemsiz olmalıdır. (Douglas Lenat'ın Otomatik Matematikçisi, bir örnek olarak, yeni matematiksel gerçekleri keşfetmek için fikirleri birleştirdi.) Kaplan ve Haenlein, makinelerin bilimsel yaratıcılığı sergileyebileceğini öne sürerken, sanatsal yaratıcılığın söz konusu olduğu yerde insanların üstünlüğünün olması muhtemel görünüyor.
Felsefenin rolü üzerine görüşler
Bazı akademisyenler, AI topluluğunun felsefeyi reddetmesinin zararlı olduğunu savunuyor. Stanford Felsefe Ansiklopedisi'nde, bazı filozoflar, felsefenin yapay zekadaki rolünün yeterince takdir edilmediğini savunuyorlar. Fizikçi David Deutsch, felsefeyi veya onun kavramlarını anlamadan, AI gelişiminin ilerleme eksikliğinden muzdarip olacağını savunuyor.