Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал: http://repository.kpi.kharkov.ua/handle/KhPI-Press/57975
Назва: Чотиризначна логіка Н. Белнапа, білнапівський комп'ютер та нові функції близькості при порівнянні дискретних об'єктів
Інші назви: N. Belknap's four-valued logic, belknap computer and new proximity functions for comparing discrete objects
Автори: Дмитрієнко, В. Д.
Леонов, С. Ю.
Мезенцев, М. В.
Ключові слова: чотиризначна логіка Белнапа; белнапівський комп'ютер; оцінка близькості; розпізнавання та класифікація; функція близькості; нейронна мережа; four-valued Belknap logic; Вelknap computer; proximity assessment; recognition and classification; proximity function; neural network
Дата публікації: 2021
Видавництво: Національний технічний університет "Харківський політехнічний інститут"
Бібліографічний опис: Дмитрієнко В. Д. Чотиризначна логіка Н. Белнапа, білнапівський комп'ютер та нові функції близькості при порівнянні дискретних об'єктів / В. Д. Дмитрієнко, С. Ю. Леонов, М. В. Мезенцев // Вісник Національного технічного університету "ХПІ". Сер.: Інформатика та моделювання = Bulletin of the National Technical University "KhPI" Ser.: Information and Modeling : зб. наук. пр. – Харків: НТУ "ХПІ". – 2021. – № 2 (6). – С. 21-35.
Короткий огляд (реферат): Ідея чотиризначної логіки Белнапа полягає в тому, що сучасні комп'ютери повинні нормально функціонувати не тільки за істинних значень вхідної інформації, але й за умов суперечливості, неповноти справжніх провалів. У логіці Белнапа вводиться чотири істиносні значення: Т (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).
The idea of Belknap's four-valued logic is that modern computers should function normally not only with the true values of the input information, but also under the conditions of inconsistency and incompleteness of true failures. Belknap's logic introduces four true values: T (true - true), F (false - false), N (none - nobody, nothing, none), B (both - the two, not only the one but also the other). For ease of work with these true values, the following designations are introduced: (1, 0, n, b). Belknap's logic can be used to obtain estimates of proximity measures for discrete objects, for which the functions Jaccard and Needhem, Russel and Rao, Sokal and Michener, Hamming, etc. are used. In this case, it becomes possible to assess the proximity, recognition and classification of objects in conditions of uncertainty when the true values are taken from the set (1, 0, n, b). Based on the architecture of the Hamming neural network, neural networks have been developed that allow calculating the distances between objects described using true values (1, 0, n, b).
ORCID: orcid.org/0000-0003-2523-595X
orcid.org/0000-0001-8139-0458
orcid.org/0000-0001-7834-2797
DOI: doi.org/10.20998/2411-0558.2021.02.01
URI (Уніфікований ідентифікатор ресурсу): http://repository.kpi.kharkov.ua/handle/KhPI-Press/57975
Розташовується у зібраннях:Вісник № 02. Інформатика та моделювання

Файли цього матеріалу:
Файл Опис РозмірФормат 
visnyk_KhPI_2021_2_PIM_Dmytriienko_Chotyryznachna.pdf387,17 kBAdobe PDFВідкрити
Показати повний опис матеріалу Перегляд статистики  Google Scholar



Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.