(Національний технічний університет "Харківський політехнічний інститут", 2021) Дмитрієнко, Валерій Дмитрович; Леонов, Сергій Юрійович; Мезенцев, Микола Вікторович
Ідея чотиризначної логіки Белнапа полягає в тому, що сучасні комп'ютери повинні нормально функціонувати не тільки за істинних значень вхідної інформації, але й за умов суперечливості, неповноти справжніх провалів. У логіці Белнапа вводиться чотири істиносні значення: Т (true – істина), F (false – брехня), N (none – ніхто, ніщо, жоден), B (both – the two, not only the one but also the other). Для простоти роботи з цими істіносними значеннями вводяться такі позначення: (1, 0, n, b). Логіка Белнапа може
використовуватися для отримання оцінок мір близькості дискретних об'єктів, для яких використовуються функції Jaccard and Needhem, Russel і Rao, Sokal і Michener, Хемінга і т.д. При цьому виникає можливість оцінки близькості, розпізнавання та класифікації об'єктів в умовах невизначеності, коли істинні значення беруться з множини (1, 0, n, b). На основі архітектури нейронної мережі Хемінга розроблені нейронні мережі, що дозволяють обчислювати відстані між об'єктами, що описуються за допомогою істіносних значень (1, 0, n, b).
