Mon . 19 Oct 2019

Адам ойының әліпбиі

Адам ойының алфавиті - бұл Готфрид Лейбниц ұсынған тұжырымдама, ол идеялар мен қатынастарды олардың құрамдас бөліктерін бөлу арқылы ұсыну мен талдаудың әмбебап әдісін қамтамасыз етеді. Барлық идеялар бірегей болып табылатын қарапайым идеялардың өте аз санынан құралған. кейіпкер [1] [2]
Мазмұны: 1 Логика және әмбебап тіл
2 Семантикалық веб-енгізу
3 Сондай-ақ, қараңыз: 4 Сілтемелер
Логика және әмбебап тіл
Логика Лейбництің жасөспірім кезіне дейінгі философиялық қызығушылығы Рене Декарт әмбебап тілдің лексикасы қарабайыр элементтерден тұруы керек деген тұжырым жасады [3] Бұл элементтердің жүйелі түрде үйлесуі, синтаксистік ережелерге сәйкес қажет болатын есептеу құрылымдарының шексіз комбинациясын тудырады. Осылайша, Декарт пен Лейбниц Ноам Хомскийдің анықтауы бойынша есептеу тіл білімінің негізін қалаушы болды [18]. 18 ғасырдың басында Лейбниц: бұл универсализмге тән, грамматикалық және логикалық құрылымы сәйкес келетін жасанды тіл, бұл Лейбниц Рейм Луллдың, әсіресе Ars generalis ultima 1305 еңбегін осы идеяның шабыттарының бірі деп мойындады. оның сипаттамасының элементтері біршама шектеулі қарапайым ұғымдарды білдіретін пиктографиялық таңбалар болар еді. Лейбниц бұл ұғымдарды түгендеуді «адам ойының әліппесі» деп атады Лейбниц жазбаларында мінездеме туралы бірнеше айтылған, бірақ ол ешқашан егжей-тегжейлерін келтірген жоқ Оның комбинация өнері туралы диссертациясындағы кейбір ықтимал сөйлемдердің қысқаша мазмұнын сақтаңыз. Оның басты қызығушылығы қазіргі логикада классификация және композиция деп аталатын нәрсе болды. Қазіргі терминологияда Лейбництің алфавитінде автоматтандырылған теорема протвернасы немесе онтологиялық классификация ұсынысы болды. Технологияны мыңдаған ғасыр бұрын жазған ойшыл em [5]
Семантикалық веб-енгізу
Бұрынғы CTO және Metaweb Technologies-тің негізін қалаушы Джон Джаннандреа сөйлеген сөзінде Freebase-тің Лейбництің ойлау әліпбиімен байланысты болғанын мойындайды, егер оны жүзеге асырмаса. it [6]
Сондай-ақ, қараңыз: Алгебралық логика - Табиғи семантикалық металгогафия
Философиялық тіл
Нақты сипаттама
Сілтемелер
^ Гейгер, Ричард А; Рудзка-Остын, Бригида, 1993 ж. Тілдегі концептуализация және психикалық өңдеу Халықаралық когнитивтік лингвистика конференциясы 1: 1989: Дуйсбург Вальтер де Грютер 25-26 бет ISBN 978-3-11-012714-0
^ Бунин, Николас; Jiyuan Yu 2004 Батыс философиясының Блэквел сөздігі p 715 ISBN 978-1-4051-0679-5
^ Хатфилд, Гэри «Рене Декарт, Философия туралы Стэнфорд энциклопедиясы, 2014 жылғы жаз». Http: // platostanfordedu Stanford University 2014 жылдың 12 шілдесінде алынған ол бүгін біздің ойымызды қалыптастыратын табиғи әлем туралы жаңа көзқарасты ұсынды: бірнеше іргелі қасиеттері бар материя әлемі және бірнеше әмбебап заңдарға сәйкес өзара әрекеттесу | Веб-сайттағы анықтама = анықтама
^ Хомский Кембридж университетінің тіл мен ойлауды зерттеудегі жаңа көкжиектері. 425–428 ISBN 0521658225 Қазіргі генеративті грамматика дәстүрді жандандыратын мәселелерді шешуге тырысқанын айттым; атап айтқанда, Декарт 1649/1927: адамдар мен басқа тіршілік иелері немесе машиналар арасындағы «шынайы айырмашылық» дегеніміз - бұл тілді кәдімгі қолдануда барынша айқын суреттелгендей әрекет ету қабілеті: шектеусіз Ішкі жағдайға әсер ететін, бірақ анықталмаған, жағдайларға сәйкес келетін, бірақ олар тудырмайтын шектеулер, тыңдаушы айтатын ойластырылған және қозғаушы ойлар және т.с.с. Мен талқылаған жұмыстың мақсаты кейбір факторларды табу болып табылады. мұндай қалыпты тәжірибеге ену керек. ^ Расселл, LJ 1985 «Лейбниц, Готфрид Вильгельм» Пол Эдвардста Философия томдарының энциклопедиясы 3 және 4 том. Макмиллан баспасы 422–423 ASIN B0017IMQME оның негізгі екпіні классификацияға бағытталған, шегерім табиғи нәтиже болды. классификацияланған элементтерді жаңа сыныптарға біріктіру туралы. ^ «PARCForum презентациясы Джианнандреа, Дж» YouTube min 37+ Көрсетілді 2015-10-30
v
e
Есепті білім
Тақырыптар және
conf Кіріспе: Адам ойының әліппесі - Билікті басқару
Автоматтандырылған ойлау
Жалпы білім
Коммиссиялық ақыл-парасат
Есептеу
формальды жүйе
анықтамалық қозғалыс
білім базасы
Білімге негізделген жүйелер
Білімді жобалау
Білімді шығару
Білімді ұсыну
Білімді іздеу
Кітапхананы жіктеу
Логикалық бағдарламалау
Онтология
Жеке білім базасы
Сұрақтарға жауап беру br> Семантикалық ойлаушы - Ұсыныстар мен іске асырулар
Zairja
Ars Magna 1300 - Нақты кейіпкерге және философиялық тілге арналған эссе 1688 - Калькулятор коэффициенті & amp; Characteristica universalis 1700 - Dewey Ондық жіктеуіші 1876 - Begriffsschrift 1879 - Mundaneum 1910 - 1918 логикалық атомизм - 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
Сонымен қатар қараңыз: Көркем әдебиеттегі логикалық машиналар және ойдан шығарылған компьютерлер тізімі


Alphabet of human thought

Random Posts

The San Francisco Examiner

The San Francisco Examiner

The San Francisco Examiner is a longtime daily newspaper distributed in and around San Francisco, Ca...
Frederator Films

Frederator Films

Frederator Films is an animation studio founded by Fred Seibert as part of Frederator Studios, with ...
John Hasbrouck Van Vleck

John Hasbrouck Van Vleck

John Hasbrouck Van Vleck March 13, 1899 – October 27, 1980 was an American physicist and mathematici...
Christian Lacroix

Christian Lacroix

Christian Marie Marc Lacroix French pronunciation: ​kʁistjɑ̃ lakʁwa; born 16 May 1951 is a Fren...