Во введении рассматриваются историческая эволюция и определение ИИ, подчеркивается эмуляция человеческих когнитивных процессов и компромисс между поиском и хранением знаний. Абстрактное представление о моделировании и элементарных знаниях открывает путь к изучению вычислительной логики, включая анализ составных высказываний с помощью простых логических связок, логику предикатов, а также организацию знаний и манипулирование ими. Переходя к программированию и логике в ИИ, учебная программа охватывает LISP и другие языки программирования, проводя различия между LISP и PROLOG. Он знакомит с синтаксисом, числовыми функциями, изучает значение ввода-вывода, локальных переменных, взаимодействия и рекурсии. Также рассматриваются формализованные символические логики, системы поддержания истинности, рассуждения по умолчанию и предположение о замкнутом мире.