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

11.8. Переход от проблемно-ориентированного языка к языку нечеткозначного исчисления Определим переход от проблемно-ориентированного языка L к языку нечеткозначного исчисления Q как некоторое отображение S. ?!->«. . (11.3) Будем полагать, что имена лингвистических переменных, встречающихся в алфавите языка L, являются атрибутами нечетких схем отношений, и что с каждым конкретным атрибутом связан свой домен, являющийся универсумом этой лингвистической переменной. Отображение (11.3) можно рассматривать как набор правил, называемых правилами перехода, каждое из которых устанавливает соответствие между правильной формулой языка L и задающей ее смысл правильной формулой языка Q. Заметим, что любая формула языка L является либо атомарной (состоящей из одного атома), либо построена из атомарных с помощью символов модальностей или логических символов (связок) алфавита AL. Поэтому определим правила перехода сначала для атомарных формул, а затем для производных от них.