Искусственный интеллект

Множество Т является множеством нормальных и сепарабельных схем отношений. Поэтому все значения исходного множества аксиом также должны быть нормальными и сепарабельными схемами, а в результате применения к ним перечисленных правил должны выводиться также нормальные и сепарабельные схемы отношений. Если все исходные нормальные и сепарабельные схемы отношений являются таковыми, то они называются согласованными. Для проверки множества схем на согласованность могут быть использованы разные стратегии. Одной из них может быть стратегия проверки на каждом очередном шаге вывода нормальности и сепарабельности вновь выведенной схемы нечетких отношений. Если она таковой не является, то следует возвратиться к предыдущему шагу вывода, отказываясь от пути вывода, который привел к получению аномальной схемы отношений.