Логическое проектирование дискретных устройств с использованием продукционно-фреймовой модели представления знаний

С момента своего отделения от кибернетики в кон. 1950-х гг. исследования в области искусственного интеллекта прошли три этапа. Первый этап (1950—60-е гг.) охватывает время становления исследовательских программ искусственного интеллекта, формирования круга задач, относящихся к данному научному направлению (игры, доказательство теорем, распознавание образов, понимание естественного языка, машинный перевод, планирование эксперимента, робототехника), создания методов и инструментов решения этих задач (язык Лисп, персептрон и др.). Этот этап характеризуется широким общественным резонансом исследований и завышенными ожиданиями. Следующий этап (1960—70-е гг.) связан с приобретением искусственным интеллектом статуса «классической» научно-технической дисциплины: проведением первых международных конференций, началом издания журналов, чтением соответствующих курсов в университетах. В это время разрабатываются фундаментальные теории (нечеткая логика, модели представления знаний, генетические алгоритмы и др.), послужившие в дальнейшем основой новых интеллектуальных программ ...»