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