7 декабря 2008 · Комментарий

Без заголовка

С ИИ проблема в том, что алгоритмы для решения таких задач слабопредсказуемы в смысле паттернов доступа к памяти, взаимодействия отдельных подзадач. Из-за это их трудно параллелизовать. А уж на специфическую архитектуру аля GPU трудно вдвойне. Я недавно пробовал представить как реализовать SAT solver (т.е. проверку выполнимости огромных булевых формул) на FPGA. Имеется в виду, конечно, не тупой перебор, а современные ускоренные методы. Мой моск пока сломался, отдохну буду думать дальше. Надо на досуге и GPU обдумать. Но в перспективе задача решаемая (хотя бы на Лараби, а может и на Селлах, про GPU - не уверен на 100%). Ибо в шахматных алгоритмах задачи примерно такие же (это тоже ИИ в конце концов), но их научились неплохо параллелить и на железо раскладывать. Параллельные SAT солверы тоже уже есть - а к SAT задачам так или иначе сводимо большинство задач ИИ.

К записи · К обсуждению