| |
Самохвалов, Ю. Я.
Доказательство теорем в нечеткой логике на основе структурной резолюции [Текст] / Ю. Я. Самохвалов
// Кибернетика и системный анализ. – 2019. – Т. 55, № 2. – С. 44-58.
Рассмотрен подход к доказательству теорем с нечеткой и не вполне истинной аргументацией. В качестве правила доказательного рассуждения используется композиционное правило вывода Л. Заде, а его процедурная реализация осуществляется механизмом опровержения. |
