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

Аннотация

Идея четырехзначной логики Белнапа заключается в том, что современные компьютеры должны нормально функционировать не только при истинных значениях входной информации, но и в условиях противоречивости, неполноты истиносных провалов. В логике Белнапа вводится четыре истиносных значения: Т (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 and Rao, Sokal and Michener, Хемминга и т.д. При этом возникает возможность оценки близости, распознавания и классификации объектов в условиях неопределенности когда истиносные значения берутся из множества (1, 0, n, b). На основе архитектуры нейронной сети Хемминга разработаны нейронные сети, позволяющие вычислять расстояния между объектами, описываемыми с помощью истиносных значений (1, 0, n, b).

Ключевые слова: четырехзначная логика Белнапа, белнаповский компьютер, оценка близости, распознавания и классификации, функция близости, нейронная сеть.