Создание систем искусственного интеллекта упирается в первую очередь в математику. И упирается, и опирается. Но так как ИИ - это процесс мышления, то особенность человеческого мышления - это его нечеткость.
Недавно, удачно, неудачно, молодой, старый - все эти и огромное количество других понятий являются нечеткими, размытыми. Но именно эта расплывчатость мышления - огромное преимущество человека в быстро меняющемся мире и в потоке информации.
Математика за время своего существования сумела найти способы решения огромного числа проблем. Первое - это создание машин и механизмов. Рычаги, блоки, полиспасты, станки, поезда, космические корабли - все они обязаны пропорциям, многочленам, дифференциальным уравнениям.
Второе - это победы в изучении неорганизованной сложности. Это там, где движутся миллиарды молекул, там, где ищет порядок демон Максвелла, где разлетаются электроны и атомные ядра. Статистика, теория вероятности и неевклидова геометрия упорядочили эту область знания.
А вот чтобы создать искусственный интеллект необходима новая математика - математика нечетких объектов. И такая математика появилась - это алгебра нечетких объектов, основанная на понятии размытых множеств. Ее автором является американский математик азербайджанского происхождения - Лофти Заде.
Как и любая алгебра, она работает с двумя основными вещами - переменной и функцией. Только переменными здесь будут слова, а не числа. Числовая подложка в этой алгебре есть, но она в ней работает только как инструментарий.