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