Многие ранние исследования в области поиска в
пространстве состояний совершались на основе таких игр, как
шашки, шахматы и пятнашки.
Большинство игр ведутся с использованием
определенного набора правил: это позволяет легко строить
пространство поиска. Игры могут порождать необычайно
большие пространства состояний. Для поиска в них требуются
мощные методики, определяющие, какие альтернативы следует
рассматривать. Такие методики называются эвристиками и
составляют значительную область исследований ИИ. Эвристика
— это стратегия полезная, но потенциально способная упустить
правильное решение.
Программы ведения игр ставят новые вопросы, включая
вариант, при котором ходы противника невозможно
предугадать. Наличие противника усложняет структуру
программы, добавляя элемент непредсказуемости.
Автаматические рассуждения и доказательства теорем —
это одна из старейших частей ИИ. Благодаря исследованиям в
этой области были формализованы алгоритмы поиска и
разработаны языки формальных представлений, такие как
исчисления предикатов и логический язык программирования
PROLOG.
Программное обеспечение систем ИИ. Инструментальные
средства для разработки интеллектуальных систем включают
специальные языки программирования, ориентированные на
обработку символьной информации (LISP, SMALLTALK,
РЕФАЛ), языки логического программирования (PROLOG),
языки представления знаний (ОРS 5, KRL, FRL),
интегрированные программные среды, содержащие арсенал
инструментальных средств для создания систем ИИ (КЕ, ARTS,
GURU, G2), а также оболочки экспертных систем (BULD,
EMYCIN, EXSYS Professional, ЭКСПЕРТ), которые позволяют
создавать прикладные ЭС, не прибегая к программированию
[3].
Новые архитектуры компьютеров. Это направление
связано с созданием компьютеров не фон-неймановской