-
384 BCE
Логика
Свод законов, руководящих рациональной частью мышления, был сформулирован Аристотелем.Он разработал неформализованную систему силлогизмов, предназначенную для проведения рассуждений, которая позволяла вырабатывать логические заключения, при наличии начальных предпосылок. "Сократ — человек; все люди смертны; значит, Сократ смертен". В основе исследований лежало предположение:такие законы мышления управляют работой ума; на их основе развилось научное направление, получившее название логика. -
Jan 11, 1300
Схема разумной связи
Раймунд Луллий создал логическую машину в виде бумажных кругов, построенных по троичной логике. Механизм состоял из нескольких подвижных концентрических кругов, разделённых поперечными линиями на отделения («камеры»), в которых в известном порядке обозначались общие понятия или основные категории всего существующего.(https://ru.wikipedia.org/wiki/%D0%A0%D0%B0%D0%B9%D0%BC%D1%83%D0%BD%D0%B4_%D0%9B%D1%83%D0%BB%D0%BB%D0%B8%D0%B9) -
Apr 17, 1500
Проект механического калькулятора Да Винчи
Леонардо да Винчи (1452—1519) спроектировал, но не построил механический калькулятор; недавно проведенная реконструкция показала, что его проект является работоспособным. (http://all-ht.ru/inf/history/p_1_0.html) -
Первая вычислительная машина
Первая механическая машина была описана профессором математики Тюбингенского университета Вильгельмом Шиккардом, реализована в единственном экземпляре и предназначалась для выполнения четырех арифметических операций над 6-разрядными числами.
(http://istrasvvt.narod.ru/mex_mash_shikkard.htm) -
Period: to
Разум и материя
Рене Декарт опубликовал результаты обсуждения различий между разумом и материей и возникающих при этом проблем.Одна из проблем, связанных с физическими представлениями о разуме, состоит в том,что они почти не оставляют места для свободной воли:если разум руководствуется исключительно физическими законами,то человек проявляет не больше свободной воли по сравнению с булыжником,"решившим" упасть в направлении к центру земли(http://www.physchem.chimfak.rsu.ru/Source/History/Persones/Descartes.html) -
Паскалина
«Паскалина» - изобретение французского ученого Блеза Паскаля. Это изобретение считается одним из прообразов калькулятора. Паскаль писал:"арифметическая машина производит эффект, который кажется более близким к мышлению по сравнению с любыми действиями животных".(http://www.calculator888.ru/blog/istoriya/paskalina.html) -
Калькулятор Лейбница
Готтфрид Вильгельм Лейбниц создал механическое устройство, предназначенное для выполнения операций над понятиями, а не над числами, но область его действия была довольно ограниченной. Идея создать машину, которая справляется с умножением и делением, у Лейбница появилась после знакомства с астрономом и математиком Гюйгенсом. Он много вычислял, обрабатывая свои наблюдения и Лейбниц решил создать устройство, которое ускорило и облегчило бы эту работу (http://all-ht.ru/inf/history/p_1_7.html) -
Механический флейтист
-
Аналитическая машина Бэббиджа
Бэббидж опубликовал научную статью с описанием машины, способной рассчитывать и печатать большие математические таблицы. В том же году он построил пробную модель своей Разностной машины, состоящую из шестеренок и валиков, вращаемых вручную при помощи специального рычага. (http://chernykh.net/content/view/15/39/) -
«Логическое пианино» Джевонса
Английский экономист и философ-логик Уильям Стенли Джевонс создал первую в мире машину, механизировавшую простейшие логические выводы (фактически, она могла вычислять функции алгебры логики).Впоследствии её воспроизвёл российский учёный, профессор П. Д. Хрущёв -
Period: to
Создается программа АЛПЕВ ЛОМИ
Создаются отдельные программы и проводятся исследования в области поиска решения логических задач. В Ленинграде (ЛОМИ – Ленинградское отделение математического института им. Стеклова) создается программа АЛПЕВ (Алгоритм Поиска Естественного Вывода) ЛОМИ, автоматически доказывающая теоремы. Она основана на оригинальном обратном выводе Маслова, аналогичном методу резолюций Робинсона.(http://life-prog.ru/1_19917_iskusstvenniy-intellekt-i-teoriya-poiska-vivoda.html) -
Искусственный интеллект в России
В МГУ начал свою работу семинар “Автоматы и мышление”под руководством академика Ляпунова А.А., одного из основателей российской кибернетики. В этом семинаре принимали участие физиологи, лингвисты, психологи, математики. Принято считать, что именно в это время родился искусственный интеллект в России.(http://big.spb.ru/publications/bigspb/km/problems_ai.shtml?print) -
"Логик-Теоретик"
Первой программой искусственного интеллекта стала программа "Логик-Теоретик", предназначенная для доказательства теорем в исчислении высказываний. Создатели:Ньюэлл Аллен и Гербер Саймон. Автоматически смогла доказать 38 законов из книги "Принципы математики" (http://www.ngpedia.ru/id130184p1.html) -
Перцептрон
Американский физиолог Ф.Розенблатт предложил модель зрительного восприятия и распознавания — перцептрон.Это модель сети из искусственных нейронов.Изучение перцептронов связано с задачей распознавания образов и привело к ряду математических результатов в области вычислительной геометрии.Но в то время практическая реализация этих методов оказалась невозможной из-за несовершенства вычислительной техники.Зато сегодня это направление развивается(http://alife.narod.ru/lectures/neural/Neu_ch04.htm) -
Эпоха эвристического программирования
Начало 60-х — это эпоха эвристического программирования. Эвристика — правило, теоретически не обоснованное, которое позволяет сократить количество переборов в пространстве поиска. Эвристическое программирование — разработка стратегии действий на основе известных, заранее заданных эвристик. -
Марк-1
Первый в мире нейрокомпьютер, созданный Фрэнком Розенблаттом. Эта машина основана на понятии перцептрона.
Перцептрон состоит из трёх типов элементов, а именно: поступающие от датчиков сигналы передаются ассоциативным элементам, а затем реагирующим элементам. -
Турнир по шашкам
Американский кибернетик А. Самуэль составил для вычислительной машины программу, которая позволяет ей играть в шашки, причем в ходе игры машина обучается или, по крайней мере, создает впечатление, что обучается, улучшая свою игру на основе накопленного опыта. Эта программа сразилась с Р. Нили, сильнейшим шашистом в США и победила.(https://moodle.vsu.ru/mod/lesson/view.php?id=6445&pageid=684) -
Period: to
Автоматизация доказательства теорем. Разработка методов математической логики для реализации логического вывода и решения задач автоматизации доказательства теорем.
Разработка программ,способных находить доказательства теорем в исчислении предикатов первого порядка. По словам американского специалиста в области ИИ Дж. Маккатти, программы обладают "здравым смыслом", т.е. способностью делать дедуктивные заключения. Теоретической основой таких программ стал метод резолюций.Метод резолюций позволяет на языке исчисления предикатов автоматически доказывать теоремы при наличии исходных аксиом. -
Понятие искусственного интеллекта
Впервые данный термин был использован в 1956 году на Дартмурской конференции в колледже Нью-Хэмпшира. Тогда ИИ определили как "система, которая воспринимает окружающую среду и реагирует на нее". Первой действующей программой ИИ стала ELIZA. -
Рефал
Язык, разработан в ИМП АН СССР. Рефал широко применялся при разработке трансляторов с алгоритмических языков, в теоретической физике и прикладной математике, в проектировании информационных систем.
Программист на Рефале сам определяет структуру обрабатываемой информации, именно поэтому эффективность программы полностью зависит от него. На данный момент жив проект www.refal.net где язык пытается развиваться.Автор: Валентин Турчин.(http://www.refal.net/intro-ref.htm) -
Язык логического программирования Пролог
Альбер Кольмероэ создал язык логического программирования Пролог, использующий аппарат логики предикатов.(http://www.intuit.ru/studies/courses/44/44/lecture/1309) -
"Интеллектуальная" программа американского математика Хао Ванга
Эта программа за 3 минуты работы IBM-704 вывела 220 относительно простых лемм и теорем из фундаментальной математической монографии, а затем за 8.5 мин выдала доказательства еще 130 более сложных теорем, часть их которых еще не была выведена математиками. Правда, до сих пор ни одна программа не вывела и не доказала ни одной теоремы, которая бы, что называется "позарез" была бы нужна математи кам и была бы принципиально новой. -
Алгоритм Кора
Предложен М.М. Бонгардом алгоритм “Кора”, моделирующий деятельность человеческого мозга при распознавании образов. (http://sernam.ru/book_vap.php?id=45) -
Научный совет по проблеме “Искусственный интеллект”
При Комитете по системному анализу при президиуме АН СССР был создан Научный совет по проблеме “Искусственный интеллект”.
По инициативе Совета было организовано 5 комплексных научных проектов:
“Диалог ” (Нариньяни, Ершов) – работы по пониманию естественного языка
“Ситуация” (Поспелов) – ситуационное управление
“Конструктор” (Половинкин)-поисковое конструирование
“Интеллект робота”(Охоцимский).(http://ershov-arc.iis.nsk.su/archive/eaimage.asp?lang=1&did=13808&fileid=129124) -
Многослойные нейронные сети - когнитрон
Фукусимой был разработан когнитрон, который стал одной из первых многослойных нейронных сетей. Фактическая структура сети и методы, используемые в когнитроне для настройки относительных весов связей, варьировались от одной стратегии к другой. Каждая из стратегий имела свои преимущества и недостатки. Сети могли распространять информацию только в одном направлении или перебрасывать информацию из одного конца в другой,пока не активировались все узлы и сеть не приходила в конечное состояние. -
Алгоритм параллельной распределённой обработки - коннективизм
Главный принцип коннективизма состоит в предположении, что ментальные явления могут быть описаны сетями из взаимосвязанных простых элементов. Форма связей и элементов может меняться от модели к модели. Например, элементы в сети могут представлять нейроны, а связи — синапсы. Другая модель может считать каждый элемент в сети словом, а каждую связь признаком семантического подобия и т. п. -
Создание ассоциация искусственного интеллекта
Создается АИИ – Ассоциация искусственного интеллекта. В нее входят более 300 исследователей, а президентом Ассоциации выбирают Д.А. Поспелова.(http://lib.alnam.ru/book_bki.php?id=5) -
Агентно-ориентированный подход
Согласно этому подходу, интеллект — это вычислительная часть способности достигать поставленных перед интеллектуальной машиной целей. Сама такая машина будет интеллектуальным агентом, воспринимающим окружающий его мир с помощью датчиков, и способной воздействовать на объекты в окружающей среде с помощью исполнительных механизмов. (http://plk.pochtivse.ru/a_programmiruemie-logicheskie-kontrolleri&agentno-orientirovanniy-podhod&3.htm) -
Суперкомпьютер Deep Blue выиграл в шахматы у чемпиона мира Гарри Каспарова.
-
Period: to
Атлас мозга
Учёные из Института Аллена по нейронаукам (Allen Institute for Brain Science) восполнили большой научный пробел — и подготовили самый полный и детальный на сегодняшний день цифровой атлас человеческого мозга. Он составлен путём нейровизуализации, гистологического исследования с высоким разрешением и химиоархитектуры мозга 34-летней женщины (как известно, мозг женщины структурно и функционально не отличается от мужского).
(https://geektimes.ru/post/280664/) -
Нанороботы лечат людей
В 2020-х годах большинство болезней исчезнет. Нанороботы будут лечить людей эффективнее, чем сегодняшние медицинские технологии. -
Виртуальная реальность
Виртуальная реальность будет ощущаться на 100% идентично реальной. К концу этого десятилетия люди смогут «загружать» свой разум в виртуальный мир.(https://vc.ru/p/kurzweil) -
Искусственный интеллект будет в миллиард раз превосходить человеческие возможности. Нанороботы смогут делать еду буквально из воздуха и с легкостью создавать любой объект в физическом мире.
