Чотиризначна логіка Н. Белнапа, білнапівський комп'ютер та нові функції близькості при порівнянні дискретних об'єктів

Скорочена інформація про документ
dc.contributor.authorДмитрієнко, Валерій Дмитровичuk
dc.contributor.authorЛеонов, Сергій Юрійовичuk
dc.contributor.authorМезенцев, Микола Вікторовичuk
dc.date.accessioned2022-09-15T06:33:09Z
dc.date.available2022-09-15T06:33:09Z
dc.date.issued2021
dc.description.abstractІдея чотиризначної логіки Белнапа полягає в тому, що сучасні комп'ютери повинні нормально функціонувати не тільки за істинних значень вхідної інформації, але й за умов суперечливості, неповноти справжніх провалів. У логіці Белнапа вводиться чотири істиносні значення: Т (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).uk
dc.description.abstractThe 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).en
dc.identifier.citationДмитрієнко В. Д. Чотиризначна логіка Н. Белнапа, білнапівський комп'ютер та нові функції близькості при порівнянні дискретних об'єктів / В. Д. Дмитрієнко, С. Ю. Леонов, М. В. Мезенцев // Вісник Національного технічного університету "ХПІ". Сер.: Інформатика та моделювання = Bulletin of the National Technical University "KhPI" Ser.: Information and Modeling : зб. наук. пр. – Харків: НТУ "ХПІ". – 2021. – № 2 (6). – С. 21-35.uk
dc.identifier.doidoi.org/10.20998/2411-0558.2021.02.01
dc.identifier.orcidhttps://orcid.org/0000-0003-2523-595X
dc.identifier.orcidhttps://orcid.org/0000-0001-8139-0458
dc.identifier.orcidhttps://orcid.org/0000-0001-7834-2797
dc.identifier.urihttps://repository.kpi.kharkov.ua/handle/KhPI-Press/57975
dc.language.isouk
dc.publisherНаціональний технічний університет "Харківський політехнічний інститут"uk
dc.subjectчотиризначна логіка Белнапаuk
dc.subjectбелнапівський комп'ютерuk
dc.subjectоцінка близькостіuk
dc.subjectрозпізнавання та класифікаціяuk
dc.subjectфункція близькостіuk
dc.subjectнейронна мережаuk
dc.subjectfour-valued Belknap logicen
dc.subjectВelknap computeren
dc.subjectproximity assessmenten
dc.subjectrecognition and classificationen
dc.subjectproximity functionen
dc.subjectneural networken
dc.titleЧотиризначна логіка Н. Белнапа, білнапівський комп'ютер та нові функції близькості при порівнянні дискретних об'єктівuk
dc.title.alternativeN. Belknap's four-valued logic, belknap computer and new proximity functions for comparing discrete objectsen
dc.typeArticle

Файли

Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
visnyk_KhPI_2021_2_PIM_Dmytriienko_Chotyryznachna.pdf
Розмір:
387.17 KB
Формат:
Adobe Portable Document Format
Опис:
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
1.71 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Зібрання

Вісник № 02. Інформатика та моделювання