Вестник Кольского научного центра РАН. 2014, №1.

<имя> <знак> <подсписок_значений (n)>, (2) где <подсписок_значений (n)> имеет длину n и состоит из допустимых значений данного. Если N - общая длина списка допустимых значений, то всегда n < N. Допустимые в ССМ <знаки> и соответствующие способы обработки <подсписка_значений> сведены в таблицу. Таблица Интерпретация сложных фактов в ССМ Тип данного Знак n Способ обработки Любой (параметр / переменная) = < N Факт истинен, если данное принимает хотя бы одно значение из <подсписка значений (n)> (связка значений по ИЛИ) Ф < N-1 Факт истинен, если данное принимает любое значение, кроме указанных в <подсписке значений (n)> е 2 Факт истинен, если данное принимает любое значение из интервала [n1,n2] 2 Факт истинен, если данное принимает любое значение вне интервала [n1,n2] Переменная < 1 Факт истинен, если данное принимает любое допустимое значение, меньшее или равное указанному > 1 Факт истинен, если данное принимает любое допустимое значение, большее или равное указанному Примечание: при работе с интервалами значений переменных (знаки е и і ) граничные значения включаются в интервал. ЭС ССМ поддерживает продукционные правила такого формата: ЕСЛИ E1 [& E2 ...], [Т0 T1 [c P(T1/*)], [& T2 [c P(T2/*)] ...]] [ИНАЧЕ I1 [c P(I1/*)], [& I2 [c P(I2/*)] ...]], где: Ei, Tj, Ik - условия логического типа, определенные на списке значений одного параметра или переменной; P(*/*) - условные вероятности следствий при истинности их предпосылок (задаются при вероятностном выводе); - логическая связка И. В каждом правиле должна быть часть ЕСЛИ и хотя бы одна из частей ТО или ИНАЧЕ. В любой части правила допускается произвольное количество логических условий Ei, Tj, Ik. При обработке они считаются связанными по И, то есть: - при наличии части ТО всем входящим в нее условиям присваивается значение “истина” (а всем условиям части ИНАЧЕ, при ее наличии, - значение “ложь”), если истинны все условия части ЕСЛИ; - при наличии части ИНАЧЕ всем входящим в нее условиям присваивается значение истина (а всем, еще не определенным как истинные, условиям части ТО, при ее наличии, - значение “ложь”), если ложно хотя бы одно из условий части ЕСЛИ. При появлении истинных следствий правило, их породившее, считается сработавшим и в дальнейшей экспертизе не анализируется. Логические условия могут иметь форму (2) или, при использовании вероятностного механизма вывода, следующую форму: [p1<]P(<имя> <знак><подсписок_значений (n)>)[<p2], где основные обозначения совпадают с (2), а P(*) - текущая (апостериорная) вероятность нахождения аргумента в заданном интервале вероятности [p1,p2]. 36