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: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.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). En son sürüm, filozoflar Hilary Putnam ve Jerry Fodor ile ilişkilendirilen hesaplamalı zihin teorisi olarak adlandırılır.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.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.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ı. John Haugeland bu tür yapay zeka araştırmasını "Eski Moda YZ" veya EMYZ olarak adlandırdı. 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. (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.