Построенная логическая модель и логическая программа , состоящая из продукционных правил , поступают на вход модуля логического вывода .
Авторами был выбран подход на основе двоичных диаграмм решений ( ДДР , Binary Decision Diagram ) ,
P. C. Катериненко , И. А. Бессмертный Построенная логическая модель и логическая программа , состоящая из продукционных правил , поступают на вход модуля логического вывода .
Авторами был выбран подход на основе двоичных диаграмм решений ( ДДР , Binary Decision Diagram ) , поскольку авторы ведут исследования в области применения ДДР для логического вывода [ 1-3 ] .