Модель продукционных правил относится к классу дедуктивных логических систем ,
В общем случае дедуктивная система состоит из набора аксиом , правил вывода и изначально заданных формул .
Модель продукционных правил Модель продукционных правил относится к классу дедуктивных логических систем , в основе которых лежит принцип дедукции - порождение истинных фактов из заданных аксиом и правил .
В общем случае дедуктивная система состоит из набора аксиом , правил вывода и изначально заданных формул .