Кіріспе

Мәселелерді шешу әдісі

Сынақ пен қате – проблемаларды шешудің негізгі әдісі болып табылады, ол сәттілікке қол жеткізгенге дейін немесе тәжірибе тоқтағанға дейін қайталанатын, әртүрлі талпыныстармен сипатталады. В.Х. Торптың сөзіне сәйкес, бұл терминді К. Ллойд Морган (1852–1936) «сынау және сәтсіздік» және «сынау және тәжірибе» сияқты ұқсас тіркестерді сынағаннан кейін ойлап тапқан. Морганның қағидасы бойынша, жануарлардың мінез-құлқы ең қарапайым жолмен түсіндірілуі керек. Егер мінез-құлық жоғары деңгейдегі ойлау процестерін білдіретіндей болса, оны сынақ пен қате арқылы үйрену арқылы түсіндіруге болады. Мысалы, оның терьеры Тони бақтың қақпасын шеберлікпен ашқанда, соңғы мінез-құлқына куә болған адам оны көрегендікпен жасалған деп қате түсінуі мүмкін. Алайда, Ллойд Морган иттің жауапты біртіндеп үйрену жолын бақылап, жазып алды және оны түсіндіру үшін ешқандай көрегендік қажет емес екенін көрсетті. Эдвард Ли Торндайк сынақ пен қате арқылы оқыту теориясын қалыптастырушы болды және зертханада сынақ пен қате арқылы эксперимент жүргізудің жолын көрсетті. Оның танымал экспериментінде, үйренудегі әсер заңын зерттеу үшін мысық бірнеше жұмбақ қораптарға орналастырылды. Ол әрбір сынақтың уақытын тіркейтетін қисықтарды құрды. Торндайктің маңызды байқауы – оқытуға оң нәтижелер көмектеседі, бұл кейіннен Б.Ф. Скиннердің оперативтік шарттау арқылы жетілдіріліп, кеңейтілді. Сынақ пен қате – сонымен қатар проблеманы шешу, жөндеу, реттеу немесе білім алу әдісі болып табылады. Компьютер ғылымында бұл әдіс «жасау және тексеру» (күшпен іздеу) деп аталады. Элементар алгебрада теңдеулерді шешу кезінде «болжау және тексеру» қолданылады. Бұл тәсілді проблеманы шешудің екі негізгі тәсілінің бірі ретінде қарастыруға болады, ол түсінік пен теорияны қолданатын тәсілге қарама-қарсы. Дегенмен, әдісті басқару үшін теорияны пайдаланатын аралық тәсілдер де бар, мысалы, басшылыққа алынатын эмпиризм. Осы ойлау жүйесі Карл Поппердің сындық рационализмінің негізгі қағидасы болды.

Әдістеме

Сынақ пен қате әдісі ең табысты түрде қарапайым мәселелерде және ойындарда қолданылады, сондай-ақ ешқандай анық ереже қолданылмаған кезде соңғы шара болып табылады. Бұл тәсілдің өзінен-өзі салғысыз екенін білдірмейді, себебі адам сәттілікке алып келуі мүмкін нұсқаларды анықтау үшін айнымалыларды жүйелі түрде өңдеуге тырысуы мүмкін. Дегенмен, бұл әдіс көбінесе мәселе туралы білімі жеткіліксіз адамдар тарапынан қолданылады. Сынақ пен қате әдісі оның табиғи есептеулік аспектісінен зерттелді.

Иерархиялар

Эшбидің кітабы осы «мета деңгей» идеясын дамытады және оны жүйелі иерархияда бірінен кейін бірі жоғары орналасқан деңгейлердің толық рекурсивті тізбегіне дейін кеңейтеді. Осыған сүйене отырып, ол адам ақылы мұндай ұйымда пайда болады деп тұжырымдайды: бастапқыда әр жаңа сатыда сынақ пен қателікке көп жүйкелене отырып (бірақ соңында біз «ақыл-ой» деп атайтын нәрсеге жетеді). Демек, иерархияның ең жоғарғы деңгейі (кез келген сатыда) әлі де қарапайым сынақ пен қателікке тәуелді болады. Трейл (1978–2006) бұл Эшби иерархиясының Пьяжедің жақсы белгілі даму сатылары теориясымен үндесетінін ұсынады. [Бұл жұмыста Эшбидің 1000 қосқыш мысалы да талқыланады; §C1.2 қараңыз]. Әрі, Пьяжелік доктринаның бір бөлігі – балалар алдымен белгілі бір дәрежеде кездейсоқ түрде белсенді әрекет ету арқылы үйренеді, содан кейін нәтижелерінен сабақ алады, бұл Ашбидің кездейсоқ «сынақ пен қателік» тәсіліне ұқсас.

Мысалдар

Сынақ пен қателік дәстүрлі түрде антибиотиктер сияқты жаңа дәрілерді табудың басты әдісі болып келген. Химиктер жай ғана химиялық заттарды кездейсоқ түрде сынап, қажетті әсерге жетеді. Күрделірек нұсқасында, химиктер құрылым-белсенділік қатынасы деп аталатын әдіс арқылы әсер ететіндей болжам жасалған химиялық заттардың тар ауқымын таңдайды. (Екінші жағдайды шешімді табу стратегиясы емес, мәселені өзгерту ретінде қарастыруға болады: «Антибиотик ретінде қай химиялық зат жақсы жұмыс істейді?» деген мәселе күрделі тәсілде «Бұл тар ауқымдағы химиялық заттардың қайсысы антибиотик ретінде жақсы жұмыс істейді?» болып өзгереді.) Бұл әдіс полимер технологиясы сияқты көптеген салаларда жаңа полимер түрлерін немесе топтарын табу үшін кеңінен қолданылады. Сынақ пен қателік видео ойындардағы ойыншылардың реакцияларында да жиі кездеседі. Ойыншылар кедергіге немесе қарсыласқа тап болғанда, оны жеңіп өту үшін бірнеше стратегия жасайды, әр стратегияны қолданып, сәттілікке жетеді немесе ойынды тоқтатып қояды. Спорт командалары да плей-оффқа ілігу және/немесе одан әрі өту үшін, чемпионатты жеңу үшін түрлі стратегиялар, ойындар, құралымдар мен схемаларды сынап, қарсыластарын жеңуге тырысады. Бұл плей-офф серияларында ерекше маңызды, онда келесі кезеңге өту үшін бірнеше жеңіс қажет, ал ойынды ұтылған команда жеңіске жетудің жаңа тәсілдерін іздеуге мүмкіндік алады, егер олар әлі шығарылмаса. Ғылыми әдіс гипотезаларды формулировкалау және тексеру кезінде сынақ пен қателік элементін қамтиды деп санауға болады. Сондай-ақ, генетикалық алгоритмдер, симуляцияланған қайнату және күшейтілген оқыту – бәрі де сынақ пен қателік негізгі идеясын қолданатын іздеу түрлері. Биологиялық эволюцияны сынақ пен қателік түрі ретінде қарастыруға болады. Кездейсоқ мутациялар мен жыныстық генетикалық өзгерістерді сынақтар, ал нашар репродуктивтік сәйкестік немесе жақсарған сәйкестіктің болмауы – қателік ретінде қарастырылады. Осылайша, ұзақ уақыттан кейін жақсы бейімделген геномдар туралы «білім» олардың көбейе алу қабілеті арқасында жинақталады. Bogosort, концептуалды сұрыптау алгоритмі (өте тиімсіз және практикалық емес), тізімді сұрыптауға қатысты сынақ пен қателік тәсілі ретінде қарастырылуы мүмкін. Алайда, қарапайым bogosort мысалдары тізімнің қандай реттері сыналыпты, олардың қайсысы қайталаныпты ескермейді, бұл сынақ пен қателік принципінің бірін бұзады. Сынақ пен қателік, шын мәнінде, bogosort-тан тиімдірек және практикалық; bogosort-тан айырмашылығы, ол шекті тізімде шекті уақытта тоқтауына кепілдік береді және кейбір жағдайларда өте қысқа тізімдерді сұрыптаудың ақылға қонымды тәсілі болуы мүмкін. Portia туысына жататын секіруші бұршақтар бейтаныс жемтікке қарсы немесе ерекше жағдайларда жаңа тактиканы табу үшін сынақ пен қателік әдісін қолданады және оларды есте сақтайды. Тәжірибелер Portia fimbriata және Portia labiata жасанды ортада сынақ пен қателікпен жұмыс істей алатынын көрсетті, онда бұршақтың мақсаты қарапайым секіру үшін тым кең лагунаны кесіп өту, яғни секіріп, жүзу немесе тек жүзу қажет.