Теоретическое программирование. Тут, конечно, вопрос номер один – искусственный разум, а для начала – его отдельные когнитивные функции, то есть искусственный интеллект (распознавание естественного языка, изображений, идентификация объектов и т.д.). А по мелочи очень много нерешённых теоретических проблем, например, автоматическое распараллеливание программ, методы оптимизация кода, методы оптимизации доступа к базам данных, задачи верификации программ и многое другое.
Очень странно относить искусственный интеллект (машинное обучение) к "теоретическому программированию"
Честно, не надо так больше
Искусственный интеллект - это раздел программирования, который имеет как практическое, так и теоретическое направления. Довольно много работ в области практического применения искусственного интеллекта опираются на ведущиеся исследования в теоретической сфере (искусственные нейронные сети, онтологии и т.д.). Если вам интересен общий круг теоретических исследований в программировании, можно для начала посмотреть учебный план высшего и аспирантского образования по специальности 05.13.11.
Также по новой специальности 05.13.17.
На самом деле то, что когда-то давно называлось искусственным интеллектом в наше время известно как машинное обучение (и его прикладные области: анализ естественного языка, компьютерное зрение и так далее). Машинное обучение в первую очередь базируется на математической статистике и численных методах, то есть является ещё одним подразделом прикладной математики. Computer science тоже связан с машинным обучением, но не сильно больше, чем с численными методами.
Под "теоретическим программированием", так я понимаю, подразумевалось computer science.
Нет, конечно. Computer science (информатика) – это естественнонаучная дисциплина, как Вы верно заметили, являющаяся разделом прикладной математики, а теоретическое программирование – техническая наука, основа инженерной специальности. Это вообще из разных областей познания мира.
Машинное обучение – это подраздел задач искусственного интеллекта. К искусственному интеллекту принято относить принятие решений в условиях неопределённости, оно может достигаться как путём обучения, так другими способами, например, заранее определёнными эвристиками или случайным образом. Например, когда крылатые ракеты летят стаей и выбирают там вожака в своей среде и он их назначает на конкретные задания, то в этом нет никакого обучения, однако это классическое приложение искусственного интеллекта.
Я оставлял комментарий потому что меня забавляет бесполезная теория, которую относят к программированию. Бесполезная потому как разработка ИИ зашла в тупик и уже давно, на данный момент.
На данный момент нас окружают совершенствующиеся с каждым днём системы автоматического перевода, распознавания лиц, первые беспилотные автомобили, а на семинарах IBM по когнитивным технологиям даже кормят плюшками, приготовленными по рецепту системы Watson (правда, на мой вкус не очень, если честно). Это всё и есть непосредственные результаты работ по ИИ.
Другое дело, что на заре исследований, в середине 20 века, очень сильно недооценили вычислительную сложность разума и, соответственно, необходимый объём работ, но никаких по-настоящему принципиальных затруднений нет.
Я сам специализируюсь несколько в другой области, у меня предмет научной деятельности – распределённые системы управления, но хочу отметить, что коллеги из ИИ тоже чувствуют себя очень неплохо, и их результаты невероятно востребованы промышленностью.
Хотелось бы поконкретнее,т.к. интересно, но недосказано. Особенно в какой промышленности.
В промышленном производстве программного обеспечения, я имею в виду. А если по отраслям экономики – так практически везде сейчас внедряют интеллектуальные системы.
Из популярных отечественных разработок, посмотрите, например, здесь: geektimes.ru . Вообще, Cognitive – очень серьёзная фирма, да и уровень отечественных разработчиков в области ИИ всегда находился на ведущих мировых позициях (вон ещё когда Буран на автомате приземляли). Раньше, правда, всё подчистую потребляла оборонка, а теперь и в гражданскую сферу понемногу выходят.
А если в мировом контексте – так скажите айфону “Привет, Сири!” – он вам всё и разъяснит :)
Собственно, формальная целевая задача, поставленная ИИ в начале разработок, уже достигнута – полтора года назад Веселовым и Демченко создана программа, прошедшая тест Тьюринга. Хотя, конечно, до искусственного разума от этого ещё, как до Луны. Но ещё более важным я считаю прорыв в области философии ИИ, совершённый Аргоновым, который в своей статье в Journal of Mind and Behavior впервые предложил тест, позволяющий подтвердить у опрашиваемого наличие сознания – долгое время эта проблема была не разрешена и даже считалась некоторыми исследователями принципиально неразрешимой.
Вообще, как я уже кратко написал выше, сейчас вопросы ИИ, в связи с их высокой важностью, даже выделены в отдельную специальность 05.13.17. Когда я в 90-х годах сдавал кандидатский минимум, это ещё было частью 05.13.11.
такие проблемы вы описали. А к 2040-м обещают если не полную технологическую сингулярность. То хотя бы перенос сознания человека в любой носитель. Чему верить. Если даже автономно-обучающуюся ИИ не могут придумать
Перенос сознания человека в другой носитель вообще не имеет прямого отношения к искусственному интеллекту. Это задача, требующая разрешения, в первую очередь, биолого-медицинских проблем.
Примеры думающих, чувствующих роботов в нашем кино, например, "Искусственный разум", "Я - робот", "Волшебник из Страны Оз", "Степфордские жены", "Терминатор" и "Звездные Войны". Почему мы, как люди, столь очарованы таким роботом. Использование органических материалов в компьютерах инопланетян, наподобие продемонстрированного крушением в Кексбурге, управляемые мыслью инопланетные космические корабли. Почему эти телепатические корабли падают, когда ими управляет человек. Почему люди не могут быть управляемы так, как в кинофильме "Маньчжурский Кандидат". Телепатия в мозге человека, биологические императивы. Планы по использованию ДНК в компьютерах, степень их реализации. Где проходит граница запрещения порабощения жизни? Красный дождь после метеора в Керале, живые клетки из космоса, которые могут распространять подобие жизни. Что означает для жизни иметь сознание, быть разумным, и иметь выбор, и почему роботы, в которых использованы органические материалы, не имеют этих возможностей. Описание целей искусственного интеллекта для компьютеров, и были ли эти цели достигнуты. Компьютер может обыграть человека в шахматы, но могут ли они на самом деле думать? Ограничения Человека, и ограничения роботов.
А зачем комментировать сочинения Пушкина? О_о
Микробиология:
Существуют прионы - живые существа без ДНК, подвид вирусов. Они вызывают заболевания головного мозга, которые сейчас, к сожалению, неизлечимы.