Самохвалов Ю. Я. Доказательство теорем в нечеткой логике на основе структурной резолюции / Ю. Я. Самохвалов // Кибернетика и систем. анализ. - 2019. - 55, № 2. - С. 44-58. - Библиогр.: 22 назв. - рус.Рассмотрен подход к доказательству теорем с нечеткой и не вполне истинной аргументацией. В качестве правила доказательного рассуждения используется композиционное правило вывода Л. Заде, а его процедурная реализация осуществляется механизмом опровержения. В качестве такого механизма предложена структурная резолюция (S-резолюция), которая является обобщением принципа резолюций на нечеткие утверждения. S-резолюция основана на семантических индексах литер и их сходстве. Семантические индексы являются существенным моментом S-резолюции. Они содержат информацию, которая используется в качестве управляющей в процессе вывода. А сходство заключается в поиске литер для получения S-резольвенты. Комплексирование композиционного правила вывода Л. Заде и S-резолюции позволяет, с одной стороны, снять проблему корректности резольвент в нечеткой логике, а с другой - обеспечить регулярность процесса доказательства как в двузначной, так и в нечеткой логике. Індекс рубрикатора НБУВ: В128.3
Рубрики:
Шифр НБУВ: Ж29144 Пошук видання у каталогах НБУВ
Повний текст Наукова періодика України
![](/irbis_nbuv/images/info.png) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|