<?xml version="1.0" encoding="UTF-8"?>
<article article-type="Research Article">
  <front>
    <journal-meta>
      <journal-id journal-id-type="publisher">journal-of-interdisciplinary-mathematics</journal-id>
      <journal-title-group>
        <journal-title>Journal of Interdisciplinary Mathematics</journal-title>
      </journal-title-group>
      <issn publication-format="electronic">2169-012X</issn>
      <issn publication-format="print">0972-0502</issn>
      <publisher>
        <publisher-name>Taru Publications</publisher-name>
      </publisher>
    </journal-meta>
    <article-meta>
      <article-id pub-id-type="doi">10.47974/JIM-2499</article-id>
      <title-group>
        <article-title>Exploring set theory and logic as foundations for explainable AI and knowledge representation</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <name>
            <surname>Gohil</surname>
            <given-names>Deepali Mahesh</given-names>
          </name>
          <aff>Department of Computer Engineering, Akurdi, D Y Patil College of Engineering, Pune, Maharashtra, 411044, India</aff>
        </contrib>
        <contrib contrib-type="author" corresp="yes">
          <name>
            <surname>Puri</surname>
            <given-names>Ganesh Dagadu</given-names>
          </name>
          <aff>Department of Computer Engineering, Amrutvahini College of Engineering, Sangamner, Maharashtra, 422608, India</aff>
        </contrib>
        <contrib contrib-type="author">
          <name>
            <surname>Thanekar</surname>
            <given-names>Sachin Arun</given-names>
          </name>
          <aff>Department of Computer Engineering, Amrutvahini College of Engineering, Sangamner, Maharashtra, 422608, India</aff>
        </contrib>
        <contrib contrib-type="author">
          <name>
            <surname>Ali</surname>
            <given-names>Syed Sumera</given-names>
          </name>
          <aff>Department of Electronics &amp; Communication, CSMSS Chh. Shahu College of Engineering, Aurangabad, Maharashtra, 431001, India</aff>
        </contrib>
        <contrib contrib-type="author">
          <name>
            <surname>Parjane</surname>
            <given-names>Vaibhav Arjunrao</given-names>
          </name>
          <aff>Department of Computer Technology, Sanjivani K.B.P. Polytechnic, Kopargaon, Maharashtra, 423603, India</aff>
        </contrib>
      </contrib-group>
      <volume>29</volume>
      <issue>3</issue>
      <fpage>645</fpage>
      <lpage>653</lpage>
      <pub-date date-type="pub">
        <day>18</day>
        <month>03</month>
        <year>2026</year>
      </pub-date>
      <abstract>
        <p>In this research study, the importance of set theory and logic as the building blocks of artificial intelligence (AI) that can be explained and the representation of knowledge are examined. We render AI more understandable through formalization of knowledge with the help of set-theoretical and logical schemes. The research examines the roles played by the use of the space of vectors, orthogonal sets and sequences in a manner that streamlines knowledge bases in a manner that is mathematically sound. It further demonstrates the importance of logical reasoning methods in making decision-making processes of AI systems transparent, which is significant standards of explainability. By integrating AI models in such a manner, they will be simpler to comprehend, more credible, and will address complex issues more efficiently.  </p>
      </abstract>
      <kwd-group>
        <kwd>Set theory</kwd>
        <kwd>Logic</kwd>
        <kwd>Explainable AI</kwd>
        <kwd>Knowledge representation</kwd>
        <kwd>Logical inference</kwd>
      </kwd-group>
      <custom-meta-group>
        <custom-meta>
          <meta-name>access</meta-name>
          <meta-value>open</meta-value>
        </custom-meta>
        <custom-meta>
          <meta-name>retracted</meta-name>
          <meta-value>no</meta-value>
        </custom-meta>
      </custom-meta-group>
    </article-meta>
  </front>
</article>
