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

(параметр (х,, [/,, Л,]) А параметр (х2, [/2, Л2]) л параметр (х3, [/,, А3]) л л [/3, Л31 - (/,, А,1 + [12, Л2] з экземпляр (R+, 0, х,, х2, х3, [/,, А,], [/2, А2], |/3, А31), параметр (х,, [/,, Л,1) л параметр (х2, [/2, Л2|) л параметр (х3, [/3, А3]) л [/2, Л2] = = I'j» Л3] - [/,, Л,| з экземпляр (/?+, 0, х,, х2, х3, [/,, A,], \l2, A2J, [/,, Л3]), 310 13.2. Постановка задачи создания онтологии параметр (*,, (/,, Л,]) л параметр (х2, |/2, hj) л параметр Ц, [/,, Л3])л [/,, А,] = = \lv А3] - [/2, л21 3 экземпляр (/?_, О, х,, х2, *3, (/,, А,], [/2, А2], [/,, Л3|). Аксиомы вычислений должны быть заданы для всех отношений, участвующих в онтологии, и их используют для вычисления значений переменных. Аксиомы ограничений. Перед началом вычислений задается множество начальных значений входных переменных в виде множества предикатов параметр (х, [/, А]), где х, I, А соответственное имя переменной и границы интервала ее значений. Обозначим множество начальных значений всех переменных Ео. Первый шаг вычисления — это нахождение тех предикатов типа экземпляр (г, т, XJ, отношения которых могут быть вычислены согласно аксиомам вычислений с использованием множества 2?0. Обозначим это множество предикатов ?",. После нахождения множества So осуществляется вычисление отношений и получается новое множество значений переменных ?,, и все повторяется сначала, но вместо множества ?0 используется множество ?,. Процесс получения множеств значений переменных Ео, ?,, ... и соответствующих им множеств 5"0, Sv ... в принципе может продолжаться бесконечно. На практике останов происходит либо в результате появления на некотором этапе вычислений пустого множества, что. соответствует отсутствию вычислимых отношений, либо в результате предписанного заранее числа допустимых итераций, либо в результате достижения устраивающего пользователя результата, либо в результате каких-либо других критериев останова. В частности, поскольку в основе вычислений лежит интервальная арифметика, то можно воспользоваться ее результатами, позволяющими при определенных условиях осуществить сходимость итеративной процедуры вычисления интервальных значений переменных к некоторым локализующим интервалам, содержащим требуемые решения. Аксиомы, описывающие условия останова или ограничивающие каким-либо образом область вычислений (после решения), называют аксиомами ограничений.