Объект исследования: Методы моделирования процессов вывода на знаниях в продукционных системах. Цель исследования: Разработка эффективного мтеода вывода на знаниях который не использует эвристики. Методы исследования и аппаратура: Моделирование Сетями Петри; персональная ЭВМ типа IBM PC/AT. Теоретические результаты и новизна: Методы построения моделей процессов вывода на знаниях и баз знаний. Практические результаты и новизна: Алгоритмы и программы построения моделей процессов вывода и баз знаний, и решение задач вывода. Предмет и степень внедрения: Программы оболочки продукционных систем. Сфера (область) использования: Гражданская авиация, образование, медицина.