Формальна специфікація властивостей баз нечітких знань Мамдані на основі метаграфа

Анотація

У роботі розглянуто подання бази нечітких знань Мамдані у вигляді метаграфа. Проведено аналіз властивостей бази нечітких знань для підвищення достовірності нечіткого логічного виведення. Сформульовано визначення властивостей бази нечітких знань Мамдані: ненадлишковості, лінгвістичної несуперечливості, відсутності зациклювання та лінгвістичної повноти бази нечітких знань Мамдані. Визначено вимоги до структури метаграфа, який подає базу нечітких знань Мамдані, для випадків, коли база нечітких знань є ненадлишковою, лінгвістично несуперечливою, не містить зациклювання та є лінгвістично повною. Запропоновано проводити статичну верифікацію баз нечітких знань на основі структури метаграфа, а також його графічного подання.