Рассмотрен подход к доказательству теорем с нечеткой и не вполне истинной аргументацией. В качестве правила доказательного рассуждения используется композиционное правило вывода Л. Заде, а его процедурная реализация осуществляется механизмом опровержения. В качестве такого механизма предложена структурная резолюция (S-резолюция), которая является обобщением принципа резолюций на нечеткие утверждения. S-резолюция основана на семантических индексах литер и их сходстве. Семантические индексы являются существенным моментом S-резолюции. Они содержат информацию, которая используется в качестве управляющей в процессе вывода. А сходство заключается в поиске литер для получения S-резольвенты. Комплексирование композиционного правила вывода Л. Заде и S-резолюции позволяет, с одной стороны, снять проблему корректности резольвент в нечеткой логике, а с другой - обеспечить регулярность процесса доказательства как в двузначной, так и в нечеткой логике.

 Наукова періодика України 

---

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"