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

параметр (xmV [/,, А,1) А ... А параметр (х-~д, [1я, hq\) A А (оператор (fm (Хтк'х, XJ"")) гэ экземпляр (г, т, XJ, где к = 1, ..., К. Интервальная арифметика лежит в основе вычисления формул. Поэтому напомним элементарные правила вычислений в этой арифметике. Операции сложения, вычитания, умножения и деления над двумя интервалами (/,, Л,] и [/2, Л2] имеют вид: [/„ Л.1 + [/2, Л2] = [/, + A,, V+ М [/„ h,\ - [lv h2) = [/, - h2, l2 - A,], [/„ h,\ * f/2, A2] = [mini/,//,, /,-A2. 1Л> №• тах{/,Л,, /,А2, /2Л,, ^Л2}], [/,, A,|/[/2, A21 = Imi^VA,, /,/A2, /2/А„ /2/А2}, max{/,///,, /,/A2, /2/Ap /2/A2}], 0 « f/2, A2]. Рассмотрим теперь пример аксиом вычислений для отношения- сложения, связывающего три переменные множества Х= {хг хг, хг] отношением сложения Л+. Для отношения сложения возможны только три оператора: а) вычисляющий по известным х, и хг неизвестную х3, б) вычисляющий по известным х, и х, неизвестную х2 и в) вычисляющий по известным х3 и х2 неизвестную х,. Аксиомы вычислений для отношения R+ будут определяться следующим образом: