Дипломная работа: Экспертная система диагностики металлоконструкций

PR1:= ЕСЛИ (ситуация), ТО (действие)

PR2:= ЕСЛИ (условие применимости), ТО (действие)

PR3:= ЕСЛИ (причина), ТО (следствие)

PR4:= ЕСЛИ (посылка), ТО (заключение)

Условия представляют собой некоторую комбинацию значений параметров, от которых непосредственно зависит параметр, для которого строится правило, а заключение содержит значение этого параметра, соответствующее данной комбинации.

В левой части правила, возможно, определение нескольких наборов условий, соединенных знаком “И”:

ЕСЛИ (1 ЕСТЬ P) И (2 ЕСТЬ C) ТО (3 ЕСТЬ 1)

или, если записать короче: P & C - 1

(значения следуют в том порядке, который соответствует порядку следования параметров).

Одному параметру в левой части правила может соответствовать не одно значение, а несколько, соединенных знаком “ИЛИ”:

ЕСЛИ (1 ЕСТЬ М) И (2 ЕСТЬ с ИЛИ п) ТО (3 ЕСТЬ 0)

или, если записать короче: М & с, п – о.

Если в правиле какой-либо параметр принимает любое значение, то вместо перечисления всех значений знаком “ИЛИ” в правиле ставиться пробел:

М & - 0.

Однако в правой части правил не может стоять пробел так же, как и не может быть нескольких значений, соединенных знаком “ИЛИ”.

В правилах, где сравнивается параметр с константой или с текущим значением другого параметра используются следующие обозначения: ‘=’ (равно), ‘!=’ (не равно), ‘>’ (больше), ‘<’ (меньше), ‘>=’ (больше или равно), ‘<=’ (меньше или равно).

Для одного параметра в правиле может быть указано сразу несколько сравнений, например, если значение находится в интервале между двумя числами.

Приведем некоторые правила для формируемой модели.

Имеется правило: “Если “марка стали”- сталь Вст3кп (3) и “вид поставки”- прокат горячекатаный ГОСТ 380-71 (1) и “сечение”- <20 мм, то “предел упругости”- 235 МПа”. Это правило записывается следующим образом:

ЕСЛИ (1 есть 3) и (2 есть 1) и (3 есть <20 мм), ТО (6 есть 235 МПа).

Или, если записать короче: 3& 1 & <20мм - 235 МПа.

Для числовых параметров с непрерывными значениями вид зависимости значений параметра от других может задаваться арифметической формулой.

В формуле могут использоваться следующие знаки арифметических операций: ‘+’ (сложение), ‘-’ (вычитание), ‘*’ (умножение), ‘/’(деление).

Формулы могут быть какой угодно сложности.

Для формируемой модели параметры 11 и 12 зависят от параметров 4,7,8,9,10 и 4,5,8,9,10 соответственно арифметическими формулами:

11=(((@4 / @8) - @10)/ @9)*@7

12= (@5* @9)/ (( @4 / @8)- @10),

где @4 - об?