<?xml version="1.0" encoding="UTF-8"?>
<article article-type="research-article" dtd-version="1.3" xml:lang="ru" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="https://metafora.rcsi.science/xsd_files/journal3.xsd">
  <front>
    <journal-meta>
      <journal-id journal-id-type="publisher-id">moitvivt</journal-id>
      <journal-title-group>
        <journal-title xml:lang="ru">Моделирование, оптимизация и информационные технологии</journal-title>
        <trans-title-group xml:lang="en">
          <trans-title>Modeling, Optimization and Information Technology</trans-title>
        </trans-title-group>
      </journal-title-group>
      <issn pub-type="epub">2310-6018</issn>
      <publisher>
        <publisher-name>Издательство</publisher-name>
      </publisher>
    </journal-meta>
    <article-meta>
      <article-id pub-id-type="doi"/>
      <article-id pub-id-type="custom" custom-type="elpub">409</article-id>
      <title-group>
        <article-title xml:lang="ru">ОПТИМИЗАЦИЯ БАЗ ЗНАНИЙ МЕТОДАМИ БУЛЕВОГО ДИФФЕРЕНЦИРОВАНИЯ</article-title>
        <trans-title-group xml:lang="en">
          <trans-title>OPTIMIZATION OF KNOWLEDGE BASES BY BULLETIN DIFFERENTIATION METHODS</trans-title>
        </trans-title-group>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author" corresp="yes">
          <name-alternatives>
            <name name-style="eastern" xml:lang="ru">
              <surname>Лютикова</surname>
              <given-names>Лариса Адольфовна</given-names>
            </name>
            <name name-style="western" xml:lang="en">
              <surname>Лютикова</surname>
              <given-names>Лариса Адольфовна</given-names>
            </name>
          </name-alternatives>
          <email>lylarisa@yandex.ru</email>
          <xref ref-type="aff">aff-1</xref>
        </contrib>
      </contrib-group>
      <aff-alternatives id="aff-1">
        <aff xml:lang="ru">Институт прикладной математики и автоматизации - филиал Федерального государственного бюджетного научного учреждения «Федеральный научный центр «Кабардино-Балкарский научный центр Российской академии наук»</aff>
        <aff xml:lang="en">Budgetary Scientific Establishment "Federal Scientific Center "KabardinBalkar Scientific Center of the Russian Academy of Sciences"</aff>
      </aff-alternatives>
      <pub-date pub-type="epub">
        <day>01</day>
        <month>01</month>
        <year>2026</year>
      </pub-date>
      <volume>1</volume>
      <issue>1</issue>
      <elocation-id>e409</elocation-id>
      <permissions>
        <copyright-statement>Copyright © Авторы, 2026</copyright-statement>
        <copyright-year>2026</copyright-year>
        <license license-type="creative-commons-attribution" xlink:href="https://creativecommons.org/licenses/by/4.0/">
          <license-p>This work is licensed under a Creative Commons Attribution 4.0 International License</license-p>
        </license>
      </permissions>
      <self-uri xlink:href="https://moitvivt.ru/ru/journal/article?id=409"/>
      <abstract xml:lang="ru">
        <p>Объектом исследования данной работы является предметная область, представляющая собой прецедентную зависимость между объектами и их характеристиками используемую при решении задач распознавания образов.&#13;
Интеллектуальный анализ данных является одним из необходимых этапов решения плохо формализованных задач, поэтому во многих случаях от метода построения баз знаний, их анализа и минимизации зависит точность решения поставленной задачи. Разработка общих формальных методов для выявления логических закономерностей в любой заданной предметной области представляется весьма актуальной проблемой, так как предоставляет возможность формирования оптимальных баз знаний, что существенно упрощает решение и улучшает его качество.&#13;
В данной работе для анализа и минимизации баз знаний используется аппарат дифференцирования булевых функций, который являются направлениями современной дискретной математики и находят свое применение в задачах динамического анализа и синтеза дискретных цифровых структур.&#13;
Основными результатами проведенного исследования являются построенная логическая функция, анализирующая зависимость между объектами и характеризующими их признаками, представляющая возможность выявить все закономерности данной предметной области; а также метод минимизации баз знаний, полученных на основе логического анализа данных, выявляющий минимальный набор решающих правил, достаточным для решения поставленной задачи.</p>
      </abstract>
      <trans-abstract xml:lang="en">
        <p>The subject of this study is the subject area, which is a precedent relationship between&#13;
objects and their characteristics used in solving image recognition problems.&#13;
Intellectual analysis of data is one of the necessary stages in the solution of poorly formalized&#13;
problems; therefore, in many cases the accuracy of the solution of the task depends on the&#13;
method of building knowledge bases, analyzing them and minimizing them. The development&#13;
of common formal methods for revealing logical patterns in any given subject area seems to&#13;
be a very pressing problem, as it provides the opportunity to form optimal knowledge bases,&#13;
which greatly simplifies the solution and improves its quality.&#13;
In this paper, we use the apparatus for differentiating Boolean functions to analyze and&#13;
minimize knowledge bases, which are the directions of modern discrete mathematics and find&#13;
their application in problems of dynamic analysis and synthesis of discrete digital structures.&#13;
The main results of the study are a constructed logical function that analyzes the relationship&#13;
between objects and characteristics that characterize them, which is an opportunity to reveal&#13;
all the laws of a given subject area; as well as the method of minimizing knowledge bases&#13;
obtained on the basis of logical data analysis, revealing a minimal set of decision rules,&#13;
sufficient for solving the task.</p>
      </trans-abstract>
      <kwd-group xml:lang="ru">
        <kwd>булева функция</kwd>
        <kwd>логические операции</kwd>
        <kwd>база знаний</kwd>
        <kwd>дифференцирование</kwd>
        <kwd>минимизация</kwd>
        <kwd>логические аксиомы</kwd>
      </kwd-group>
      <kwd-group xml:lang="en">
        <kwd>boolean function</kwd>
        <kwd>logical operations</kwd>
        <kwd>knowledge base</kwd>
        <kwd>differentiation</kwd>
        <kwd>minimization</kwd>
        <kwd>logical axioms</kwd>
      </kwd-group>
      <funding-group>
        <funding-statement xml:lang="ru">Исследование выполнено без спонсорской поддержки.</funding-statement>
        <funding-statement xml:lang="en">The study was performed without external funding.</funding-statement>
      </funding-group>
    </article-meta>
  </front>
  <back>
    <ref-list>
      <title>References</title>
      <ref id="cit1">
        <label>1</label>
        <mixed-citation xml:lang="ru">Лютикова Л. А., Шматова Е. В. Анализ и синтез алгоритмов&#13;
распознавания образов с использованием переменно-значной логики //&#13;
"Информационные технологии". Том 22. №4. 2016. С. 292—297.</mixed-citation>
      </ref>
      <ref id="cit2">
        <label>2</label>
        <mixed-citation xml:lang="ru">Бохманн Д., Станкович Р.С., Тошич Ж., Шмерко В.П., Янушкевич С.Н.&#13;
Логическое дифференциальное исчисление: достижения, тенденции и&#13;
приложения \\ Автоматика и телемеханика, 2000, № 6, С. 156–170;&#13;
Autom. Remote Control, 61:6 (2000), Р. 1033–1047. </mixed-citation>
      </ref>
      <ref id="cit3">
        <label>3</label>
        <mixed-citation xml:lang="ru">Дюкова Е.В., Журавлев Ю.И., Прокофьев П.А. Методы повышения&#13;
эффективности логических корректоров // Машинное обучение и&#13;
анализ данных. 2015. Т. 1. № 11. С. 1555-1583. </mixed-citation>
      </ref>
      <ref id="cit4">
        <label>4</label>
        <mixed-citation xml:lang="ru">Лютикова Л. А. Исследование систем булевых функций логическими&#13;
интегро - дифференциальными методами // Материали за 6&#13;
Международна научна практична конференция «Найновите&#13;
постижения на европейской наука-2011». София. Т. 37. С. 31-38.</mixed-citation>
      </ref>
      <ref id="cit5">
        <label>5</label>
        <mixed-citation xml:lang="ru">Чернов А. В. Развитие аппарата логического дифференциального&#13;
исчисления в применении к задачам проектирования и диагностики&#13;
телекоммуникационных систем // Научно-технические ведомости&#13;
СпБГПУ. 2008. № 2. С. 118-126.&#13;
</mixed-citation>
      </ref>
      <ref id="cit6">
        <label>6</label>
        <mixed-citation xml:lang="ru">Спирина М.С. Логическое дифференциальное и интегральное&#13;
исчисление \\ Информационные системы и технологии: управление и&#13;
безопасность. 2016. №4. С. 187-201.</mixed-citation>
      </ref>
    </ref-list>
    <fn-group>
      <fn fn-type="conflict">
        <p>The authors declare that there are no conflicts of interest present.</p>
      </fn>
    </fn-group>
  </back>
</article>