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