Thu . 19 Oct 2019

Есептеу

Есептеу - бұл мәселені тиімді шешуге қабілеттілік. Математикалық логика мен есептеу теориясының есептеу теориясының негізгі тақырыбы. Есептің шешілуі алгоритмнің болуымен тығыз байланысты Мәселе
Есептеудің ең көп зерттелген модельдері болып Тюринг-есептелетін және мк-рекурсивті функциялар, және де ламбда есептеуіш, олардың барлығы тең балама қуатқа ие, сонымен қатар есептеудің басқа формалары да зерттеледі: Тьюринг машиналарына қарағанда әлсіз есептеулер Автоматика теориясында зерттеледі, ал есептеу қабілеттілігі гиперкомпьютерлік салада Тюринг машиналарына қарағанда күшті болады. Мазмұны
1 Мәселе
2 Есептеудің формальды модельдері
3 Автоматтың қуаты
31 Қуат ақырлы мемлекеттік машиналар
32 Автоматтың итермелейтін күші
33 Тьюринг машиналарының қуаты
331 Тоқтату мәселесі
332 Рекурсивті түрде есептелетін тілдерден басқа
4 негізделген модельдер
5 есептеудің мықты модельдері
51 Шексіз орындалу
52 Oracle машиналары
53 Гипер-есептеу шегі
6 Сонымен қатар қараңыз: 7 Сілтемелер
Мәселелер
A Есептеудегі орталық идея - бұл есептеуді зерттеуге болатын есеп болып табылатын есеп беру. Мәселелердің екі негізгі түрі бар:
Шешім S жиындарын бекітеді, бұл жолдар жиынтығы болуы мүмкін, Натурал сандар немесе басқа үлкен жиынтықтан алынған белгілі бір УА мәселенің мысалы, U элементінің U берілгенін, S-ге жататындығын ескеру керек. Мысалы, U натурал сандар жиыны және S жай көбейтіндісі болсын. сандар Тиісті шешім мәселесі қарабайырлық тестке сәйкес келеді. Функция мәселесі U жиынынан V жиынына дейінгі функциядан тұрады. Мәселенің мысалы - U элементіндегі U элементті, V элементіндегі сәйкес fu элементті есептеу. Мысалы, U және V барлық екілік қатарлардың жиынтығы болуы мүмкін, ал f жол алып, алынған жолды қайтаруы мүмкін f0101 = 1010
енгізу сандарын кері бұру арқылы, проблемалардың басқа түрлеріне іздеу және оптимизация мәселелері кіреді. Есептеу теориясының бір мақсаты - әр модельде қандай мәселелерді немесе проблемалар класын шешуге болатындығын анықтау. есептеу - есептеудің формальды модельдері
Негізгі мақала: Есептеу моделі - Есептеу моделі - бұл есептеу процесінің белгілі бір түрінің формальды сипаттамасы. Сипаттама көбінесе орындалуға арналған абстрактілі машина түрінде болады Қолда бар тапсырма Тьюринг машинасына тең есептеудің жалпы модельдерін қараңыз. Шіркеу - Тюринг тезисіне мыналар кіреді:
Lambda калькуляциясы - Есептеу алғашқы ламбда өрнегінен тұрады, егер сіз функцияны және оның кірісін бөлгіңіз келсе, оған қосылыңыз. Ламбда терминдерінің соңғы дәйектілігі, олардың әрқайсысы алдыңғы мерзімнен Beta редукциясының бір қолдануы арқылы алынады
Комбинаторлық логика - бұл


& # x03BB сияқты көптеген ұқсастықтары бар ұғым. ;




- калькуляция, бірақ сонымен бірге маңызды айырмашылықтар бар, мысалы Y нүктелік комбинаторы комбинаторлық логикада қалыпты формада, бірақ


& # x03BB;




- Калькуляциялық комбинация логикасы үлкен амбициялармен жасалды: парадокстардың табиғатын түсіну, математиканың негіздерін экономикалық тұрғыдан концептуалды түрде жасау, айнымалылар ұғымын жою, осылайша олардың математикадағы рөлін нақтылау
мк-рекурсивті функциялар
есептеу мк-рекурсивті функциядан тұрады, яғни оның анықталу ретін, кез келген енгізу мәндері мен кірістер мен шығулардың анықталатын тізбекте пайда болатын рекурсивті функциялардың тізбегі Осылайша, егер анықталатын жүйеде болса



f





рекурсивті функциясының

g

x




және


h

x
,
y




пайда болады, содан кейін форма шарттары 'g5 = 7' немесе 'h3,2 = 10' пайда болуы мүмкін. Осы кезектегі әр жазба негізгі функцияның қосымшасы болуы керек немесе композиция, бастапқы рекурсия немесе м-рекурсияны қолдану арқылы жоғарыдағы жазбалардан өту керек. Мысалы, егер



f

x

=
h

x
,
g

x





, содан кейін 'f5 = 3' пайда болуы үшін 'g5 = 6' және 'h3,6 = 3' сияқты терминдер пайда болуы керек жоғарыда есептеу, егер терминдер символдардың жолдарында жұмыс істеу үшін грамматикаға ұқсас ережелерді қолданатын Марков алгоритмін қоса, кірістерге
жолдарды қайта жазу жүйесіне қолданылатын рекурсивті функцияның мәнін берген жағдайда ғана тоқтатылады; Сондай-ақ Post канондық жүйесі - тіркеу машинасы - бұл компьютердің теориялық тұрғыдан қызықты идеализациясы. Бірнеше нұсқа бар. Олардың көпшілігінде әр регистрде шексіз мөлшердегі табиғи сан болуы мүмкін, ал нұсқаулар қарапайым және саны аз, мысалы, шартты секірумен және өсумен ұштасқан төмендеу ғана бар және тоқтау Тюринг машиналарында көрінетін шексіз немесе қарқынды дамып келе жатқан сыртқы дүкеннің жетіспеушілігін оның рөлін Gödel нөмірлеу техникасымен алмастыру арқылы түсінуге болады: әрбір регистрде натурал санның болу мүмкіндігі мүмкіндік береді күрделі затты бейнелеудің мысалы, дәйектілік немесе матрица т.с.с. тиісті табиғи натурал санмен - ұсынудың да, интерпретацияның да біркелкілігі осы техниканың бірқатар теориялық негіздерімен анықталуы мүмкін. Тьюринг машинасы
Ақырғы жағдайға ұқсас Türing машинасы оқи алатын, жазатын немесе оқитын «лентада» орындалатын кіріс кіретінді қоспағанда, машина «басынан» оқыған / жазғаннан кейін артқа және артқа лентаны еркін мөлшерде өсіруге рұқсат етіледі. Тьюринг машинасы күрделі есептеулер жүргізуге қабілетті, олар еркін ұзақтығы болуы мүмкін. Бұл модель, мүмкін, информатикадағы ең маңызды есептеу үлгісі. алдын-ала ресурстардың шектеулері болмаған кезде есептеуді имитациялайды - Көп таспалы Turing машинасы - Мұнда бірнеше таспа болуы мүмкін; Бір таңғажайып, бір таспада бірнеше бас болуы мүмкін, таңқаларлық, мұндай типтегі кез-келген есептеуді қарапайым Тюринг машинасы орындай алады, бірақ соңғысы баяу болуы мүмкін немесе оның лентасынан үлкенірек аймақты талап етуі мүмкін ... P Uring ′
Пюралар сияқты, P ′ random кездейсоқ қол жетімділігі жоқ шексіз таңбалар лентасын және өте аз минималистік нұсқауларды қолданады, бірақ бұл нұсқаулар өте әртүрлі, сондықтан Тюринг машиналарынан айырмашылығы, P ′ ′ техникалық қызмет көрсетудің қажеті жоқ нақты жағдай, өйткені барлық «жад тәрізді» функция тек таспамен қамтамасыз етілуі мүмкін, өйткені қазіргі таңбаны қайта жазудың орнына, ол модульдік арифметикалық өсуді орындай алады. P ′ also циклге арналған нұсқаулардың екі нұсқасын, бос таңба Минималистік сипатына қарамастан, ол ата-аналық ресми тілге айналды және ойын-сауық үшін Brainfuck деп аталатын бағдарламалау тілі қолданылады. Жалпы есептеу модельдерінен басқа, кейбір сим есептеуіш модельдер арнайы, шектеулі қосымшалар үшін пайдалы. Тұрақты өрнектер, мысалы, кеңсе өнімділігі бағдарламалық жасақтамасынан бағдарламалау тілдеріне дейінгі көптеген контексте жол үлгілерін көрсетіңіз. Басқа формализм математикалық тұрғыдан тұрақты өрнектерге сәйкес келеді, ақырлы автоматика контур дизайнында және кейбір түрлерінде қолданылады мәселені шешу Мәтінмексіз грамматика бағдарламалау тілінің синтаксисін анықтайды Детерминирленген емес итеретін автоматика - контекстен тыс грамматикаларға балама тағы бір формализм
Есептеудің әртүрлі модельдерінде әр түрлі тапсырмаларды орындау мүмкіндігі бар. Есептеу моделінің қуатын өлшеу әдісі модель құра алатын ресми тілдер класын оқып үйрену; осылайша Хомский тілдерінің иерархиясы алынады. Есептеудің басқа шектеулі үлгілеріне мыналар кіреді:
Детерминирленген ақырлы автоматикаDFA
Сонымен қатар ақырлы күй машинасы деп те аталады Қазіргі кездегі барлық нақты есептеу құрылғыларын ақырлы ретінде модельдеуге болады мемлекеттік машина, өйткені барлық нақты компьютерлер шектеулі ресурстарда жұмыс істейді. Мұндай машинада күйлер жиынтығы бар және кіріс ағынына әсер ететін күйлердің жиынтығы Кейбір күйлер қабылданатын күйлер ретінде анықталған. бір уақытта таңба қойылады, ал ағымдағы күйдің ауысуы кіріс ағынымен салыстырылады, ал егер сәйкес өту болса, машина жаңа күйге енуі мүмкін, егер кіріс ағынының соңында машина қабылдау күйінде болса, содан кейін барлық кіріс ағыны қабылданады - NFA анықталмаған ақырлы автоматика NFA - бұл есептеудің тағы бір қарапайым үлгісі, дегенмен оның өңделу реттілігі біркелкі анықталмайды. электронды есептеу жолдары бір уақытта штат саны арқылы бір уақытта болады, дегенмен, кез-келген НФА эквивалентті DFA
Pushdown автоматикасына дейін қысқартылатынын дәлелдеуге болады, оның орындалу стекі бар болғаннан басқа. , кездейсоқ өлшемге дейін өсіруге рұқсат етілген. Күйдің ауысуы стекке символ қосуды немесе дестеден белгіні алып тастауды қосымша анықтайды. Ол өзінің шексіз жадының арқасында DFA-ға қарағанда әлдеқайда күшті, тек жоғарғы жағы болса да стек элементіне кез келген уақытта қол жетімді болады - Автоматтың қуаты
Осы есептеу модельдерінің көмегімен біз олардың шектерінің не екенін анықтай аламыз, яғни олар қандай тілдер кластарын қабылдай алады - Шексіз мемлекеттік машиналардың қуаты
Бұл бөлімде Википедияның сапа стандарттарына сәйкес тазарту қажет болуы мүмкін. Тазалаудың себептері көрсетілмеген. Егер сіз 2009 ж. сәуірінде мүмкін болса, осы бөлімді жақсартуға көмектесіңіз. Компьютерлік ғалымдар кез-келген тілді қалай және қашан жою керектігін біліңіз. ақырғы мемлекеттік машинамен қабылданатын уәж тұрақты тілде болуы мүмкін. Соңғы мемлекеттік машинада мүмкін болатын күйлердің саны шектеулі болғандықтан, біз тұрақты емес тілді табу үшін, сол тілді құруымыз керек. Мұндай тілдің мысалы 'a' және 'b' әріптерінен тұратын 'а' және 'b' әрпінің бірдей санын құрайтын барлық жолдардың жиынтығы болып табылады. Неліктен бұл тілді ақырғы мемлекеттік машинамен дұрыс тану мүмкін болмаса, алдымен M машинасы бар M бірнеше күйге ие болуы керек деп ойлайық n Енді x жолын қарастырайық




n
+
1



'a', одан кейін



n
+
1



b 'b' M x түрінде оқыған кезде, машинада қайталанатын күй болуы керек a 'бірінші сериясында айтылғандай, өйткені онда



n
+
1





'көгершін қағидасы бойынша a және тек n күйлерді осы S деп атаңыз, және S машинасының S-дің алғашқы пайда болуынан бастап, кейінгі жағдайға дейін алу үшін оқыған' a-ның саны 'болсын. 'a' бірізділігі кезінде біз S-нің екінші пайда болуында қосымша d-ге қосуға болатындығын білеміз, онда d
& gt;
0





және біз S күйіне қайта ораламыз, бұл дегеніміз



n жолының екенін білеміз. br> +
d
+
1




'a' дегеніміз <<жолымен бірдей күйде аяқталуы керек br>


n
+
1




a 'Бұл дегеніміз, егер біздің машинамыз x қабылдайтын болса, онда ол



n
+
d
+
1




'a', содан кейін


n
+
1 '



' b ',' a 'және' b 'саны бірдей жолдар тілінде жоқ, басқаша айтқанда, M дұрыс ажырата алмайды 'a' және 'b' саны және жол



n
+
d
+
1




'a' және '


n
+
1



'b' Сондықтан біз кез-келген соңғы мемлекеттік машинада бұл тілдің дұрыс қабылдана алмайтындығын білеміз, сондықтан бұл қарапайым тіл емес A A ge осы нәтиженің неральды формасы қарапайым тілдерге арналған сорғыш лемма деп аталады, оны кең мемлекеттік кластардың ақырғы мемлекеттік машинамен тануға болмайтындығын көрсету үшін қолдануға болады. Басу автоматикасының қуаты
Компьютер ғалымдары тілді анықтайды Мәтінмексіз грамматика ретінде көрсетуге болатын мәтінді емес тіл ретінде итермелейтін автоматика арқылы қабылдануы мүмкін, біз көрсеткен «a» және «b» саны бірдей жолдардан тұратын, әдеттегі тіл емес еді. төмен түсетін автоматпен Сонымен қатар, тұтастай алғанда, төмен түсетін автомат ақырғы күйдегі машина сияқты әрекет ете алады, сондықтан ол кез-келген тілді жүйелі түрде шеше алады. Бұл есептеу үлгісі ақырғы мемлекеттік машиналарға қарағанда әлдеқайда күшті
Алайда, төменге басу автоматикасы арқылы шешуге болмайтын тілдер бар екен, нәтижесі қарапайым өрнектермен бірдей, және бұл жерде егжей-тегжейлі айтылмайды Мұнда контекстсіз тілдерге арналған соратын лемма бар ха тілі - жай сандар жиынтығы
Тьюринг машиналарының күші - Тьюринг машиналары кез-келген контекстен тыс тілді шеше алады, сонымен қатар төмен түсетін автоматпен шешілмейтін тілдерге, мысалы жай сандардан тұратын тілге. сондықтан есептеудің неғұрлым күшті моделі болып табылады. Тьюринг машиналары кіріс лентасында «сақтық көшірмесін жасау» мүмкіндігіне ие болғандықтан, Тьюринг машинасы ұзақ уақыт бойы мүмкін болмайтындай жұмыс істей алады. Бұрын сипатталған басқа есептеу модельдері Тюринг машинасын салуға болады, ол кейбір енгізулерде тоқтап қалуды ешқашан аяқтамайды, егер барлық енгізулерді тоқтатып, жауап бере алатын болса, Тюринг машинасы тілді шешеді деп айтамыз. шешім рекурсивті тіл деп аталады, біз кез-келген тілге енгізу үшін жауап беретін, бірақ тілде болмайтын енгізу жолдары үшін мәңгілікке жұмыс істей алатын Turing машиналарын одан әрі сипаттай аламыз. инес бұл жолдың тілде екенін айта алады, бірақ біз оның мінез-құлқына негізделіп, бұл жолдың тілде емес екендігіне ешқашан сенімді бола алмаймыз, өйткені ол мұндай жағдайда мәңгі жұмыс істей алады, мұндай тіл қабылдайтын тіл Тьюринг машинасы рекурсивті түрде есептелетін тіл деп аталады. Тьюринг машинасы - бұл автоматиканың өте қуатты моделі, әйгілі, неғұрлым қуатты машинаны шығару үшін Тьюринг машинасының анықтамасын өзгерту әрекеттері күтпеген жерден сәтсіздікке ұшырады. Мысалы, қосу Тьюринг машинасына қосымша таспаны қосып, оған екі өлшемді немесе үш өлшемді немесе кез-келген өлшемді шексіз бетті бере отырып, бәрін негізгі өлшемді лентасы бар Тьюринг машинасымен модельдеуге болады. , шіркеу-Тюринг тезисінің нәтижесі: Тюринг машинасы шеше алмайтын тілдерді шешетін ақылға қонымды есептеу моделі жоқ. Бұл жерде сұрақ туындайды: рекурсивті тілдер бар ма? Есептеуге болатын, бірақ рекурсивті емес, сонымен қатар, тіпті рекурсивті түрде санамаланбайтын тілдер де бар ... Тоқтату мәселесі
Негізгі мақала: Тоқтату мәселесі - Тоқтату мәселесі - информатикадағы ең танымал мәселелердің бірі, өйткені бұл есептеу теориясына және компьютерді күнделікті тәжірибеде қалай қолданатынымызға байланысты. Мәселені былай тұжырымдауға болады:
Тьюринг машинасының сипаттамасы және оның бастапқы кірісі, осы кірісте орындалған кезде бағдарламаны анықтаңыз , әрдайым тоқтайды. Балама: бұл тоқтаусыз мәңгілікке жұмыс істейді. Мұнда біз жай сан немесе палиндром туралы қарапайым сұрақ қоймаймыз, керісінше кестелерді бұрып, Тьюринг машинасынан басқа сұрақ туралы жауап беруді сұраймыз Тьюринг машинасын көрсетуге болады. Негізгі мақаланы қараңыз: барлық жағдайларда осы сұраққа жауап бере алатын Тьюринг машинасын құру мүмкін емес екендігі туралы ақырғы мәселе. Яғни, giv-дің бар-жоқтығын білудің жалғыз жалпы тәсілі en бағдарламасы барлық жағдайда белгілі бір кіріске тоқтайды, оны іске қосу және тоқтату мүмкіндігін көру Егер тоқтап қалса, онда сіз оның тоқтайтынын білесіз. Егер тоқтамаса, бірақ сіз оның тоқтап қалатындығын ешқашан біле алмайсыз. Тьюрлік машиналар ақырында тоқтайтын барлық мүмкін кіріс ағындарымен жұптастырылған барлық Тюринг машиналарының сипаттамасынан тұратын тіл рекурсивті емес. Сондықтан тоқтау мәселесі есептелмейді немесе шешілмейді деп аталады. Тоқтататын мәселенің кеңеюі Райстың теоремасы деп аталады, онда берілген тілдің қандай да бір ерекше емес қасиетке ие екендігі жалпыға қатысты шешілмейтінін айтады ... Рекурсивті түрде саналатын тілдерден басқа ... Тоқтату мәселесін шешу оңай, бірақ егер біз оны шешетін Тюринг машинасы мәңгі жұмыс істей алатын болса Берілген енгізу кезінде, өзі тоқтамайтын Тьюринг машинасының бейнесі болып табылады. Тоқтататын тіл рекурсивті болып саналады, сондықтан тіпті қайталанбайтын тілдерді де құруға болады велий санаулы, алайда - Мұндай тілдің қарапайым мысалы - тоқтау тілінің толықтыруы; бұл барлық Тюринг машиналарынан тұратын кіріс трампаларынан тұратын тіл, онда Тюринг машиналары кіріске қосылмайды, бұл тілдің рекурсивті түрде есептелмейтіндігін білу үшін, біз Тюринг машинасын M құрастырамыз, ол үшін нақты жауап бере алады. барлық осындай Тюринг машиналары, бірақ ол кез-келген Тюринг машинасында мәңгілікке жұмыс істей алады, сондықтан біз кезекті Тюринг машинасын саламыз




M
& # x2032;






бұл машинаның жұмысын, сонымен қатар кірісте берілген машинаның орындалуын тікелей модельдеумен қатар екі бағдарламаның орындалуын бір-бірімен қиыстыра отырып модельдейді тікелей модельдеу ақырында тоқтайды, егер ол тоқтата тұрған бағдарлама тоқтайды, және егер M бағдарламасы бойынша модельдеу ақырында тоқтайды, егер кірісу бағдарламасы ешқашан тоқтамаса, онда біз білеміз




M
& # x2032;




ақыр соңында оның параллель нұсқаларының бірі тоқтайды



M

& # x2032;





осылайша тоқтата тұру мәселесін шешеді, алайда тоқтата тұру мәселесі шешілмейтіндігін көрсетті Бізде қарама-қайшылық бар, ал біз осылайша біздің M болжамымыз дұрыс емес екенін көрсетті. Тоқтататын тілдің комплементі рекурсивті түрде есептелмейді
Концессияға негізделген модельдер - Параллельді кездейсоқ қол жетімділік машинасын қосқанда бірқатар есептеу модельдері жасалды және Петри желісі Бұл параллель есептеулердің модельдері әлі де кез-келген математикалық функцияларды орындай бермейді. Тьюринг машиналары жүзеге асыра алмайды. Есептеудің күшті модельдері - Шіркеу-Тюринг тезистері есептеуге болатын тиімді модель жоқ деген тұжырымдар көбірек математикалық функциялар na Turing Machine Компьютерлік ғалымдар гиперкомпьютерлердің көптеген түрлерін, есептеу модельдерін ойлап тапты, олар Тьюрингтің есептеу мүмкіндігінің шегінен шығады - Шексіз орындалуы
Негізгі мақала: Зено машинасы - Есептеудің әр кезеңі жарты уақыттың жартысын қажет ететін машинаны елестетіп көріңіз алдыңғы қадам және алдыңғы қадамның энергиясының жартысы үміттенеміз, егер біз бірінші кезең үшін талап етілетін уақыт мөлшерін 1/2 уақыт бірлігіне, ал бірінші қадамға қажет энергияның 1/2 бөлігін қалпына келтірсек, орындау орындалады талап етіңіз


1
=

& # x2211;

n
=
1


& # x221E;



1
2 |
n



=


1
2


+

1
4




1
8





1
16

+
& # x22EF;


^ = ++++ cdots
уақыт бірлігі және іске қосылатын 1 энергия бірлігі Бұл шексіз серия 1-ге айналады, яғни бұл Zeno машинасы 1 уақыт бірлігінде сандық шексіз қадамдарды 1 энергия блогын қолдана отырып орындай алады. Бұл машина тоқтап тұрған мәселені машинаның орындалуын тікелей модельдеу арқылы шешуге қабілетті. Кеңейтім бойынша кез-келген конвергентті шексіз [міндетті түрде шексіз болуы керек] сериясы жұмыс істейді, егер шексіз сериялар n мәніне өзгерсе, Zeno машинасы аяқталады Уақыт бірлігіндегі шексіз орындалуы
Oracle машиналары
Негізгі мақала: Oracle машинасы
Со- Oracle деп аталатын машиналарда белгілі бір шешілмейтін мәселелерді шешуге мүмкіндік беретін әртүрлі «ораклдарға» қол жетімділік бар. Мысалы, Тьюринг машинасында берілген «Тьюринг» машинасы берілген кірісті тоқтата ма, жоқ па деген сұраққа бірден жауап беретін «тоқтату ораксы» болуы мүмкін. Рекурсиялық теориядағы зерттеудің негізгі тақырыбы - Гипер-есептеу шегі - Біз елестете алатын автоматика шегі сияқты көрінетін бұл машиналар да өз шектеулеріне түседі, ал олардың әрқайсысы тоқтап қалған есепті шеше алады Тьюринг машинасы, олар тоқтау мәселесінің жеке нұсқасын шеше алмайды. Мысалы, Oracle машинасы берілген Oracle машинасы қашан да тоқтайды ма деген сұраққа жауап бере алмайды. Сондай-ақ, қараңыз: Автоматика теориясы
Реферат машинасы
Шешілмейтін мәселелер тізімі - Есептеудің күрделілігі теориясы - Есептеу логикасы - Есептеудегі маңызды жарияланымдар
Сілтемелер
Майкл Сипер 1997 PWS есептеу теориясына кіріспе. ISBN 0-534-94728-X Екінші бөлім: Есептеу теориясы, 3-6 тараулар, 123-222 бет - Христос Пападимитриоу 1993 Есептеу күрделілігі 1-ші Эддисон Уэсли ISBN 0-201-53082-1 ​​3-тарау: Есептеу қабілеті, 57 бет –70
S Barry Cooper 2004 Есептеу теориясы 1 ed Chapman & amp; Зал / CRC ISBN 978-1-58488-237-4
v
e
Есептеуіш білім
Тақырыптар мен түсініктер
Адам ойының алфавиті
Биліктің бақылауы Автоматтандырылған ойлау
Commonsense білімі - Commonsense негіздемесі
есептеу қабілеті
формальды жүйе
анықтама жүйесі
білім базасы
білімге негізделген жүйелер
білімді жобалау
білімді жинақтау > Білімді ұсыну
Білімді іздеу
Кітапханалық жіктеу
Логикалық бағдарламалау
Онтология
Жеке білім базасы
Сұрақтарға жауап беру
Семантикалық ойлау
Ұсыныстар мен іске асыру
Zairja - Ars Magna 1300 - Нақты кейіпкер мен философиялық тіл туралы эссе 1688 - Калькулятор коэффициенті & amp; Characteristica universalis 1700 - Dewey Ондық жіктеуіші 1876 - Begriffsschrift 1879 - Mundaneum 1910 - Логикалық атомизм 1918 - Трактат логика-философия 1921 - Гильберт бағдарламасы 1920 ж. - 1931 Толық емес теорема
Әлем Brain 1938 - Memex 1945 - General Problem Solver 1959 - Prolog 1972
Cyc 1984 - Semantic Web 2001
Evi 2007
Wolfram Alpha 2009
Watson 2011
Siri 2011 - Білім графигі 2012 - Wikidata 2012
Cortana 2014
Viv 2016
Көркем әдебиетте
Гулливердің қозғалтқышы, 1726 - Джо «Логикалық есімді Джо», 1946 ж.
Кітапханашы қар апаты, 1992 жыл: Др Ноу AI Жасанды интеллект, 2001 - Су қоймасы «Барокко циклі», 2003
Сонымен қатар қараңыз: Көркем әдебиеттегі логикалық машиналар және ойдан шығарылған компьютерлер тізімі


Computability

Random Posts

Picts

Picts

The Picts were a tribal confederation of peoples who lived in what is today eastern and northern Sco...
Visual prosthesis

Visual prosthesis

A visual prosthesis, often referred to as a bionic eye, is an experimental visual device intended to...
Mini rugby

Mini rugby

Mini rugby, also known as New Image Rugby, is a form of rugby union designed to introduce the sport ...
List of synthetic polymers

List of synthetic polymers

Synthetic polymers are human-made polymers From the utility point of view they can be classified int...