Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций
Конференция: Информатизация образования и методика электронного обучения: цифровые технологии в образовании; Красноярск; Красноярск
Год издания: 2026
Ключевые слова: multi-valued logic, information security, artificial intelligence, многозначная логика, информационная безопасность, искусственный интеллект
Аннотация: Логика коммутативных дистрибутивных бирешеток, представленная в 16, а также пропозициональном языке Ltf, может опираться либо на связки ложности, либо на связки на основе конструктивности. Важно то, что веса, в полученных «информационных фрагментах», могут быть точно вычислены для различных версий логического следования в комбинироПоказать полностьюванных языках Ltf или Lti (или даже Lfc), с использованием традиционных статистических методов. Это может быть актуально для будущих приложений в области ИБ, которые «окрашивают» рассуждения с точки зрения истинности, ложности или конструктивности. Раскрашивание может быть распределено между различными агентами, которые стремятся к проверке, опровержению или подтверждению. The logic of commutative distributive bilattices that comes with 16 and the propositional language Ltf may be associated either with the falsity-based or constructivity-based connectives. Importantly, the resulting weights obtained for “information pieces” can be precisely calculated for different version of logical entailment in the combined Ltf or Lti (or even Lfc) languages using traditional statistical methods. This may be relevant for future security applications that “color” reasoning in terms of truth, falsity, or constructivity. The coloring can be distributed among different agents that are oriented toward verification, refutation, or confirmation.
Журнал: Информатизация образования и методика электронного обучения: цифровые технологии в образовании
Номера страниц: 52-56
Место издания: Красноярск