Simvolik süni intellekt

Simvolik süni intellekt  —  süni intellekt tədqiqatının bütün metodları, vəzifələrin, məntiqlərin və axtarışların yüksək səviyyədə "simvolik" (insan tərəfindən oxunan) təqdimatına əsaslanan bir addır. Simvolik Sİ, 1950-ci illərin ortalarından 1980-ci illərin sonlarına qədər Sİ tədqiqatının dominant paradiqmasının əsasını təşkil edirdi.

1985-ci ildə , süni intellekt araşdırmalarının nəticələrinin fəlsəfi əks olunmasına həsr olunmuş kitabında simvolik Sİ-ə GOFAI ( Artificial Intelligence: The Very Idea adını verdi.Haugeland, J. (1985). Artificial Intelligence: The Very Idea . Cambridge, Mass: MIT Press. ISBN 0-262-08153-9 Robot texnikasında oxşar termin GOFAIR ("robototexnika sahəsində köhnə süni intellekt") istifadə olunur.

Simvolik AI-nin ən uğurlu forması istehsal qaydaları şəbəkəsini istifadə edən mütəxəssis sistemləridir. İstehsal qaydaları simvolları if-sonra operatoruna bənzər əlaqələrə birləşdirir. Bu qaydaları emal edən ekspert sistemi, məntiqi nəticələr çıxarır və əlavə məlumatların lazım olduğunu, yəni insan tərəfindən oxunan işarələrdən istifadə edərək hansı sualların verilməli olduğunu müəyyənləşdirir.

 Tarixi 
Süni intellektin yaranmasına simvolik yanaşma simvolların manipulyasiya yolu ilə zəkanın bir çox aspektinin başa düşülə və şərh oluna biləcəyi fərziyyəsinə əsaslanır. Bu fikir Newell-Simon hipotezinin əsasını təşkil etdi. 1976-cı ildə Allen Nyuell və Herbert Saymon tərəfindən tərtib edilmişdir. Ümumiyyətlə, fərziyyə hər hansı bir mənalı bir hərəkətin (şəxs və ya maşın tərəfindən yerinə yetirilməməsindən asılı olmayaraq) müəyyən bir simvollar sistemindən qaynaqlandığına səbəb olur. Bu fərziyyə Nyuell və Saymon tərəfindən yaradılan universal problem həlli ilə əlaqəli uğurlu bir iş nəticəsində ortaya çıxdı. Bu proqram insan düşüncələrini təqlid etmək üçün hazırlanmışdır.

O dövrdə bir çox Sİ tədqiqatçısı ona çox ümid bəsləyirdi. İnanırdı ki, məntiqin rəsmi qaydalarından istifadə edərək, sintaksis yaradan, məntiqi bir dil yarada, insana bənzər zəka yarada bilərsiniz. Ancaq praktikada bu prinsiplərə əsaslanan sistemlər işləsələr də mürəkkəb uyğunlaşma işlərinin öhdəsindən gəlmədi. Buna görə 1980-90-cı illərdə bu cür anlayışlar ciddi şəkildə tənqid edildi və bir çox tədqiqatçının marağı digər metodlara (təkamül alqoritmləri, süni neyron şəbəkələri və s.) keçmişdir.

 Həmçinin bax 
 Teoremlərin avtomatik sübutu
 İstinadlar 

Kateqoriya:Süni intellekt