Чотиризначна логіка Н. Белнапа, білнапівський комп'ютер та нові функції близькості при порівнянні дискретних об'єктів
dc.contributor.author | Дмитрієнко, Валерій Дмитрович | uk |
dc.contributor.author | Леонов, Сергій Юрійович | uk |
dc.contributor.author | Мезенцев, Микола Вікторович | uk |
dc.date.accessioned | 2022-09-15T06:33:09Z | |
dc.date.available | 2022-09-15T06:33:09Z | |
dc.date.issued | 2021 | |
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.abstract | 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). | en |
dc.identifier.citation | Дмитрієнко В. Д. Чотиризначна логіка Н. Белнапа, білнапівський комп'ютер та нові функції близькості при порівнянні дискретних об'єктів / В. Д. Дмитрієнко, С. Ю. Леонов, М. В. Мезенцев // Вісник Національного технічного університету "ХПІ". Сер.: Інформатика та моделювання = Bulletin of the National Technical University "KhPI" Ser.: Information and Modeling : зб. наук. пр. – Харків: НТУ "ХПІ". – 2021. – № 2 (6). – С. 21-35. | uk |
dc.identifier.doi | doi.org/10.20998/2411-0558.2021.02.01 | |
dc.identifier.orcid | https://orcid.org/0000-0003-2523-595X | |
dc.identifier.orcid | https://orcid.org/0000-0001-8139-0458 | |
dc.identifier.orcid | https://orcid.org/0000-0001-7834-2797 | |
dc.identifier.uri | https://repository.kpi.kharkov.ua/handle/KhPI-Press/57975 | |
dc.language.iso | uk | |
dc.publisher | Національний технічний університет "Харківський політехнічний інститут" | uk |
dc.subject | чотиризначна логіка Белнапа | uk |
dc.subject | белнапівський комп'ютер | uk |
dc.subject | оцінка близькості | uk |
dc.subject | розпізнавання та класифікація | uk |
dc.subject | функція близькості | uk |
dc.subject | нейронна мережа | uk |
dc.subject | four-valued Belknap logic | en |
dc.subject | Вelknap computer | en |
dc.subject | proximity assessment | en |
dc.subject | recognition and classification | en |
dc.subject | proximity function | en |
dc.subject | neural network | en |
dc.title | Чотиризначна логіка Н. Белнапа, білнапівський комп'ютер та нові функції близькості при порівнянні дискретних об'єктів | uk |
dc.title.alternative | N. Belknap's four-valued logic, belknap computer and new proximity functions for comparing discrete objects | en |
dc.type | Article |
Файли
Контейнер файлів
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
- Опис: