İçeriğe atla

Fiziksel bir sembol sistemi

Fiziksel bir sembol sistemi (resmi sistem olarak adlandırılmaktadır), fiziksel kalıpları kullanır, bu yapılarda birleştirir ve yeni ifadeler üretmek için onları manipüle etmektedir.

Fiziksel sembol sistemi hipotezi (FSSH), Allen Newell ve Herbert A. Simon tarafından yapay zeka Konseyi felsefesinde bulunan konumdur. Yazarlar:

"Fiziksel bir sembol sistemi, genel akıllı eylem için gerekli ve yeterli araçlara sahiptir."[1]

 Allen Newell ve Herbert A. Simon

Bu iddia, hem insan düşüncesinin bir tür sembol manipülasyonu olduğunu hem de makinelerin zeki olabileceğini (çünkü bir sembol sistemi zeka için yeterlidir) imalıdır.[1]

Bu fikrin kökleri Hobbes'ta (akıl yürütmenin "hesaptan başka bir şey olmadığını" iddia eden), Leibniz tüm insan fikirlerinin mantıksal bir hesabını yaratmaya çalıştı, Hume ve hatta Kant (resmi kurallar tarafından kontrol edilen tüm deneyimleri analiz etti).[2] En son sürüm, filozoflar Hilary Putnam ve Jerry Fodor ile ilişkilendirilen hesaplamalı zihin teorisi olarak adlandırılır.[2]

Hipotez, çeşitli taraflarca güçlü bir şekilde kabul edildi, ancak AI araştırmasının temel bir parçası. Yaygın bir eleştirel görüş, hipotezin satranç oynamak gibi daha yüksek seviyeli zeka için uygun göründüğü, ancak görme gibi sıradan zeka için daha az uygun olduğudur. Genellikle, <kuş> ve <kanat> gibi dünyadaki nesnelere doğrudan karşılık gelen yüksek seviyeli semboller ile sinir ağı gibi bir makinede bulunan daha karmaşık "semboller" arasında bir ayrım yapılır.

Örnekler

Fiziksel sembol sistemlerinin örnekleri şunları içerir:

Biçimsel mantık: semboller "ve", "veya", "değil", "tüm x için" vb. kelimelerden oluşmaktadır. İfadeler, doğru veya yanlış olabilen biçimsel mantıktaki ifadelerdir. Süreçler mantıksal tümdengelim kurallarıdır.

Cebir: semboller "+", "×", "x", "y", "1", "2", "3" vb.dir. İfadeler denklemlerdir. Süreçler, birinin matematiksel bir ifadeyi manipüle etmesine ve gerçeğini korumasına izin veren cebir kurallarıdır.

Dijital bir bilgisayar: semboller sıfırlar ve bilgisayar belleğinin birleridir, işlemler CPU'nun belleği değiştiren işlemleridir.

Satranç: semboller taşlardır, işlemler yasal satranç hamleleridir, ifadeler tüm taşların tahtadaki konumlarıdır.

Fiziksel sembol sistemi hipotezi, bunların her ikisinin de fiziksel sembol sistemlerinin örnekleri olduğunu iddia eder:

Akıllı insan düşüncesi: semboller beynimizde kodlanmıştır. İfadeler düşüncelerdir. Süreçler, düşünmenin zihinsel işlemleridir.

Çalışan bir yapay zeka programı: semboller verilerdir. İfadeler daha fazla veridir. İşlemler, verileri işleyen programlardır.

Fiziksel sembol sistemi hipotezi lehine argümanlar

Newell ve Simon Allen Newell ve Herbert A. Simon'a "sembol manipülasyonunun" hem insan hem de makine zekasının özü olduğunu öne süren iki satırlık bulgu var: yapay zeka programlarının geliştirilmesi ve insanlar üzerinde psikolojik deneylerdir. İlk olarak, YZ. araştırmasının ilk yıllarında, Newell ve Herbert A. Simon'ın Genel Problem Çözücü veya Terry Winograd'ın SHRDLU'su gibi yüksek seviyeli sembol işlemeyi kullanan çok sayıda başarılı program vardı.[3] John Haugeland bu tür yapay zeka araştırmasını "Eski Moda YZ" veya EMYZ olarak adlandırdı.[4] Uzman sistemler ve mantıksal programlama bu geleneğin torunlarıdır. Bu programların başarısı, sembol işleme sistemlerinin herhangi bir akıllı eylemi simüle edebileceğini ileri sürdü. İkincisi, aynı zamanda yürütülen psikolojik deneyler, mantık, planlama veya herhangi bir tür "bulmaca çözme" gibi zor problemler için insanların bu tür sembol işlemeyi de kullandıklarını bulmuştur. Yapay zeka araştırmacıları, bilgisayar programlarıyla insanların adım adım problem çözme becerilerini bilgisayar ortamına getirilmiştir. Bu işbirliği ve ortaya çıkardığı sorunlar nihayetinde bilişsel bilim alanının yaratılmasına yol açacaktır.[3] (Bu tür araştırmalara "bilişsel simülasyon" deniyordu.) Bu araştırma dizisi, insan problem çözmenin öncelikle yüksek seviyeli sembollerin manipülasyonundan oluştuğunu ileri sürmüştür.

Kaynakça

  1. ^ a b "Arşivlenmiş kopya". 12 Şubat 2021 tarihinde kaynağından arşivlendi. Erişim tarihi: 25 Haziran 2021. 
  2. ^ a b "What the United States Can Do about India. By Eustace Seligman. (New York: New York University Press. 1956. Pp. 56. $2.95.)". American Political Science Review. 50 (3): 908-908. 1956. doi:10.1017/s000305540023699x. ISSN 0003-0554. 
  3. ^ a b Collins, H.M. (1996). "Embedded or embodied? a review of Hubert Dreyfus' What Computers Still Can't Do". Artificial Intelligence. 80 (1): 99-117. doi:10.1016/0004-3702(96)00083-6. ISSN 0004-3702. 12 Haziran 2003 tarihinde kaynağından arşivlendi. Erişim tarihi: 25 Haziran 2021. 
  4. ^ John., Haugeland, (1985). Artificial intelligence the very idea. MIT Press. ISBN 978-0-262-08153-5. OCLC 857965797. 

İlgili Araştırma Makaleleri

<span class="mw-page-title-main">Bilişsel bilim</span> zihin ve süreçleri hakkında disiplinlerarası bilimsel çalışma

Bilişsel bilim, zihin ve zekânın işleyişini ele alan, zeki sistemlerin dinamiklerini ve yapılarını araştıran disiplinler arası bir yaklaşımdır. Çok geniş bir alanı kapsamasından ötürü bilişsel bilim alanında çalışan araştırmacıların bilişsel psikoloji, dil bilimi, sinir bilimi, yapay zekâ, antropoloji ve felsefe gibi alanlarda temel bilgilere sahip olması beklenir.

<span class="mw-page-title-main">Bilgisayar bilimi</span> belirli evren kurallarına dayalı, sistematik çalışan ve elementlerin ya da ağların birbirleriyle olan ilişkisi

Bilgisayar bilimi, bilgisayarların tasarımı ve kullanımı için temel oluşturan teori, deney ve mühendislik çalışmasıdır. Hesaplamaya ve uygulamalarına bilimsel ve pratik bir yaklaşımdır. Bilgisayar bilimi; edinim, temsil, işleme, depolama, iletişim ve erişimin altında yatan yönteme dayalı prosedürlerin veya algoritmaların fizibilitesi, yapısı, ifadesi ve mekanizasyonunun sistematik çalışmasıdır. Bilgisayar biliminin alternatif, daha özlü tanımı "büyük, orta veya küçük ölçekli algoritmik işlemleri otomatikleştirme çalışması" olarak nitelendirilebilir. Bir bilgisayar bilimcisi, hesaplama teorisi ve hesaplama sistemlerinin tasarımı konusunda uzmanlaşmıştır.

Bilişim, bilişim bilimi ya da bilgisayar bilimi, bilgi ve hesaplamanın kuramsal temellerini ve bunların bilgisayar sistemlerinde uygulanabilmeleri sağlayan pratik teknikleri araştıran bir yapısal bilim dalıdır. Bilişimciler ya da bilgisayar bilimcileri bilgi oluşturan, tanımlayan ve dönüştüren algoritmik süreçler icat edip, kompleks sistemleri tasarlamak ve modellemek için uygun soyutlamalar formüle ederler. Bilişim Dünya'da hızla gelişmeye devam eden önemli bir teknolojidir.

<span class="mw-page-title-main">John McCarthy (bilgisayar bilimci)</span> Amerikalı bilgisayar bilimci ve bilişsel bilimci

John McCarthy, Amerikalı bilgisayar bilimci ve bilişsel bilimci. Yapay zekâ terimini ve Lisp programalama dilini icat edenlerden biri. Lisp programlama dilini geliştirdi. ALGOL dil yapısını önemli ölçüde etkiledi. Zaman paylaşımı yöntemini yaygınlaştırdı. Çöp toplama metodunu icat etti ve ilk yapay zekanın geliştirilmesinde büyük bir etkisi oldu.

Kenneth Lane Thompson Amerikalı bir bilgisayar bilimcisi.Thompson, kariyerinin büyük bir bölümünde orijinal Unix işletim sistemini tasarlayıp uyguladığı Bell Labs'ta çalıştı. Ayrıca C programlama dilinin doğrudan selefi olan B programlama dilini de icat etti. Bununla beraber Plan 9 işletim sisteminin yaratıcılarından ve ilk geliştiricilerinden biriydi. Thompson, 2006'dan beri Go programlama dilini birlikte icat ettiği Google'da çalışmaktadır.

<span class="mw-page-title-main">Yapay zekâ</span> insani zekaya sahip makine ve yazılım geliştiren bilgisayar bilimleri dalı

Yapay zekâ ya da kısaca YZ,, insanlar da dahil olmak üzere hayvanlar tarafından, doğal zekânın aksine makineler tarafından görüntülenen zekâ çeşididir. İlk ve ikinci kategoriler arasındaki ayrım genellikle seçilen kısaltmayla ortaya çıkar. Güçlü yapay zeka genellikle Yapay genel zekâ olarak etiketlenirken, doğal zekayı taklit etme girişimleri yapay biyolojik zekâ olarak adlandırılır. Önde gelen yapay zeka ders kitapları, alanı zeki etmenlerin çalışması olarak tanımlar: Çevresini algılayan ve hedeflerine başarıyla ulaşma şansını en üst düzeye çıkaran eylemleri gerçekleştiren herhangi bir cihaz. Halk arasında, yapay zekâ kavramı genellikle insanların insan zihni ile ilişkilendirdiği öğrenme ve problem çözme gibi bilişsel eylemleri taklit eden makineleri tanımlamak için kullanılır.

<span class="mw-page-title-main">Yapay sinir ağları</span>

Yapay sinir ağları (YSA), insan beyninin bilgi işleme tekniğinden esinlenerek geliştirilmiş bir bilgi işlem teknolojisidir. YSA ile basit biyolojik sinir sisteminin çalışma şekli taklit edilir. Yani biyolojik nöron hücrelerinin ve bu hücrelerin birbirleri ile arasında kurduğu sinaptik bağın dijital olarak modellenmesidir. Nöronlar çeşitli şekillerde birbirlerine bağlanarak ağlar oluştururlar. Bu ağlar öğrenme, hafızaya alma ve veriler arasındaki ilişkiyi ortaya çıkarma kapasitesine sahiptirler. Diğer bir ifadeyle, YSA'lar, normalde bir insanın düşünme ve gözlemlemeye yönelik doğal yeteneklerini gerektiren problemlere çözüm üretmektedir. Bir insanın, düşünme ve gözlemleme yeteneklerini gerektiren problemlere yönelik çözümler üretebilmesinin temel sebebi ise insan beyninin ve dolayısıyla insanın sahip olduğu yaşayarak veya deneyerek öğrenme yeteneğidir.

<span class="mw-page-title-main">Assembly</span> uygulanan işlemlerle programlama dilinin birbirine çok yakın olduğu düşük seviye programlama dilleri

Assembly dili, bir işlemcinin komut kümesi üzerine tanımlanmış alt seviye bir dildir. Assembly dili kolay hatırlanabilir semboller tanımlar ve böylece işlemcinin makina koduna karşılık gelen sayı dizilerinin bilinmesine gerek kalmaz. Assembly dili, platformdan bağımsız yüksek seviyeli programlama dillerinin aksine, işlemci mimarisine bağımlıdır. Tipik uygulamaları; cihaz sürücüleri, alt seviyeli dahili (embedded) ve gerçek zamanlı sistemlerdir. Bır assembly programı assembler kullanılarak makine koduna çevrilir.

Bilgisayarlı cebir sistemi (BCS) sembolik matematiği kolaylaştıran yazılım programıdır. BCS işlevselliğinin özü sembolik biçimlerdeki matematiksel ifadelerin işleme koyabilmesidir.

Allen Newell, Amerikalı bilişsel ruhbilim araştırmacısı. RAND Corporation ve Carnegie Mellon Üniversitesi'nde çalışmış olan Newell, yapay zekâ konusunda geliştirilmiş ilk uygulamalar olan Logic Theory Machine (1956) ve General Problem Solver'a (1957) katkıda bulunmuştur. Allen Newell 1975 yılında Herbert A. Simon'la birlikte Turing Ödülü'nü almaya hak kazanmıştır.

Problem çözme, problem çözücü için açık bir çözüm yöntemi bulunmadığında, belirli bir durumu, bir sonuç durumuna dönüştürmeye yönelik bilişsel süreçtir.

<span class="mw-page-title-main">Yapay genel zekâ</span>

Yapay genel zeka (YGZ), bir insanın yapabileceği herhangi bir zihinsel görevi başarıyla gerçekleştirebilecek bir makinenin zekasıdır. Günümüzdeki bazı yapay zeka araştırmalarının temel amacıdır ve bilimkurgu ve fütüroloji'de de ortak bir konudur. Bazı araştırmacılar Yapay genel zekâyı "güçlü yapay zekâ", "tam yapay zekâ" veya bir makinenin "genel akıllı eylem" gerçekleştirme kabiliyeti olarak adlandırmaktadır; diğerleri ise sadece bilinci deneyimleyen makineler için "güçlü yapay zekâ" tabirini kullanmaktadır.

<span class="mw-page-title-main">Çince odası</span> Bilgisayarın anlama kabiliyetini gösteremeyeceğini sorgulayan bir düşünce deneyi

Çince Odası Argümanı, dijital bir bilgisayarın –ne kadar zeki ya da insansı davranışlar sergilerse sergilesin– bir “zihne”, “anlayışa” ya da “bilince” sahip olamayacağını savunur. Filozof John Searle tarafından “Minds, Brains, and Programs” adlı makalesinde öne sürülen bu argüman ilk kez 1980 yılında Behavioral and Brain Sciences dergisinde yayınlanmıştır. Çince Odası olarak bilinen düşünce deneyinin merkezini oluşturduğu argüman, yayınlandığı günden itibaren oldukça tartışılmıştır.

<span class="mw-page-title-main">Dartmouth Konferansı</span>

Dartmouth Yapay Zeka Yaz Araştırma Projesi, bir alan olarak yapay zekanın kurucu olayı olarak kabul edilen 1956 yaz çalıştayıdır.

Yapay zeka araştırmalarında sorunların, mantığın ve araştırmanın ileri düzey "sembolik" temsillerine dayanan tüm yöntemlerin toplanması için kullanılan terimdir. Sembolik YZ, 1950'lerin ortalarından 1980'lerin sonuna kadar YZ araştırmalarının baskın paradigmasıydı. 23 Mayıs 2021 tarihinde Wayback Machine sitesinde arşivlendi. 23 Mayıs 2021 tarihinde Wayback Machine sitesinde arşivlendi.

<span class="mw-page-title-main">Yapay zeka etkisi</span>

Yapay zeka etkisi ; izleyiciler bir yapay zeka programının davranışını gerçek zeka olmadığını savunmaya çalıştığında ortaya çıkmaktadır.

Otomatik akıl yürütme, bilgisayar biliminin ve akıl yürütmenin farklı yönlerini anlamaya çalışan bir alandır. Otomatik akıl yürütme çalışması, bilgisayarların tamamen veya neredeyse tamamen otomatik olarak akıl yürütmesine izin veren bilgisayar programlarının üretilmesine yardımcı olur. Otomatik akıl yürütme, yapay zekanın bir alt alanı olarak görülse de, teorik bilgisayar bilimi ve felsefesi ile de bağlantıları vardır.

<span class="mw-page-title-main">Yapay zeka felsefesi</span> Overview of the philosophy of artificial intelligence

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.

<span class="mw-page-title-main">Yapay zekâ kışı</span>

Yapay zeka kışı, yapay zeka araştırmalarına yönelik fonların ve ilginin azaldığı bir dönemdir. Bu terim, nükleer kış fikrine benzetilerek ortaya atılmıştır. Bu alanda birkaç hype döngüsü yaşanmış, ardından hayal kırıklığı ve eleştiriler gelmiştir. Tarihsel olarak, YZ kışları, satıcı vaatlerinin yetersiz kalması ve YZ girişimlerinin gerçekleştirilmesinin beklenenden daha karmaşık olması nedeniyle meydana gelmiştir.

Hesaplamalı arkeoloji, uzun vadedeki insan davranışı ve davranışsal evrimin incelenmesi için bilgisayar tabanlı analitik yöntemleri ifade eder. Adlarının önüne 'hesaplamalı' sözcüğü eklenmiş olan diğer alt disiplinlerde olduğu gibi, terim, bilgisayar yardımı olmadan gerçekçi bir şekilde gerçekleştirilemeyen yöntemleri temsil etmektedir.