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

базовые термы: вб(Х); 269 //. Нечеткие знания и рассуждения {Не, Очень, Почти, Или, И) — лингвистические модификаторы и связки; скобки (,). Любой терм из множества б(А') представляет собой цепочку символов алфавита Ас, удовлетворяющую следующему описанию на метаязыке Бэкуса-Наура: Терм -> Базовый_терм I Не Терм \ Очень Терм I Почти Терм I Терм Или Терм\ Терм И Терм, где Базовыйтерм — терминальный символ, принадлежащий множеству базовых термов В6(Л). Символы модальностей содержат префикс и следующее за ним число. Префикс определяет конкретный вид модальности из некоторого заранее заданного конечного множества видов, а число — количественное выражение градации этой модальности. Будем использовать модальности вида: невозможность, случайность, возможность, необходимость и процент уверенности. Пусть им соответствуют префиксы {Невозможно_, Вероятно_, Возможно_, Необходимо, %}. Число, следующее за префиксом и выражающее градацию соответствующей модальности, должно быть натуральным и не должно превышать сотни. Кроме этого для модальности процент уверенности допустимой градацией может быть число 0. Построенные таким образом символы модальности читаются так: Невозможно^ — «с УУ-процентной невозможностью»; Вероятной - «с N-процентной случайностью»; Boзмoжнo_N— «с УУ-процентной возможностью»; Необходимо^— «с УУ-процентной необходимостью»; % N— «с уверенностью /V %», где N — выраженное в процентах значение градации.