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

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