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