От логики до ИИ/Искусственный интеллект

Существуют достаточно тонкие отличия в терминологии различных наук, что и нужно вначале рассмотреть, чтобы четко понимать в каком контексте что подразумевается. Начнем наше путешествие от формальной логики до искусственного интеллекта, и посмотрим как на историческом пути менялся смысл некоторых общих терминов.

Факультет логики

На пути от человеческого разума, через логику к искусственному интеллекту

Формальная логика Математическая логика Дискретная математика Теория алгоритмов Криптография Вычислительная техника Программирование Когнитивная психология Искусственный интеллект

Дополнительные материалы:

Мы видели, что уже начиная с самой формальной логики, и далее все большими темпами - тщательно „изгоняется“ то, что мыслится, и изучается только как оно мыслится. Это вполне естественный подход, для того чтобы выделить те базисы, которые лежат в основе понятий, суждений и умозаключений, и в конечном счете человеческого интеллекта и разума. Как видим выполнена тщательная декомпозиция, и развиты ее методы.

Но для создания ИИ это тем не менее мало, и после этапа декомпозиции, необходимо непосредственно перейти к воссозданию, моделированию человеческого разума. И на этом пути нас ждет много сюрпризов, так как предстоит проверить в правильном ли направлении была выполнена декомпозиция, и как на ее основе воссоздать разложенный на части предмет.