Модель продукционных правил относится к классу дедуктивных логических систем ,
все те факты , которые не заложены в систему и не могут быть получены логическим выводом , объявляются ложными .
Модель продукционных правил Модель продукционных правил относится к классу дедуктивных логических систем , в основе которых лежит принцип дедукции - порождение истинных фактов из заданных аксиом и правил .
Согласно « принципу закрытого мира » ( closed world assumption ) все те факты , которые не заложены в систему и не могут быть получены логическим выводом , объявляются ложными .