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

Ь 11.5.4. Правило пересечения Если известны нечеткие конкретизированные схемы отношений Ra[A(I)] = ЛаИ(/«")| 1, ^М(/«>)1 h Под выводом в нечеткозначном исчислении будем понимать такую последовательность применения перечисленных правил, в результате которого выводится требуемая целевая формула, значением которой является нормальная сепарабельная нечеткая схема отношений. При этом важным является тот факт, что применение правил следования, обобщения, проекции к любым элементам множества Т (сепарабельным нечетким нормальным схемам) порождает только элементы множества Т. Таким образом, задавшись некоторым конечным множеством нечетких конкретизированных схем отношений, принадлежащих множеству Т (аксиом), и применяя правила следования, обобщения, проекции, мы можем выводить новые нечеткие сепарабельные нормальные конкретизированные схемы отношений (теоремы). Однако, если заранее неизвестно, что все исходные нечеткие конкретизированные схемы отношений таковы, что они принадлежат множеству Т, то использование приведенных правил может привести к результату, который не является нормальной сепарабельной схемой. Следовательно, возникает проблема установления принадлежности всех аксиом множеству Т.