У навчальному посібнику викладено основні поняття та методи систем штучного інтелекту. Наведено методику побудови предметної області, описано процедури пошуку в просторі станів. Розглянуто теорію логічного виведення, а також реалізацію доведення теорем методом резолюцій. Систематизовано подано ідеї та алгоритми машинного навчання; зокрема, розглянуто дерева рішень та нейронні мережі. Окремий розділ присвячено міркуванням в умовах невизначеності.