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