<?xml version="1.0" encoding="ISO-8859-1"?><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
<front>
<journal-meta>
<journal-id>1405-5546</journal-id>
<journal-title><![CDATA[Computación y Sistemas]]></journal-title>
<abbrev-journal-title><![CDATA[Comp. y Sist.]]></abbrev-journal-title>
<issn>1405-5546</issn>
<publisher>
<publisher-name><![CDATA[Instituto Politécnico Nacional, Centro de Investigación en Computación]]></publisher-name>
</publisher>
</journal-meta>
<article-meta>
<article-id>S1405-55462023000300779</article-id>
<article-id pub-id-type="doi">10.13053/cys-27-3-4411</article-id>
<title-group>
<article-title xml:lang="en"><![CDATA[Logic Abstraction Operations and their Algorithmic Implementation]]></article-title>
</title-group>
<contrib-group>
<contrib contrib-type="author">
<name>
<surname><![CDATA[Zheltov]]></surname>
<given-names><![CDATA[Pavel]]></given-names>
</name>
<xref ref-type="aff" rid="Aff"/>
</contrib>
</contrib-group>
<aff id="Af1">
<institution><![CDATA[,Kazan Federal University Research Laboratory of Text Analytics ]]></institution>
<addr-line><![CDATA[Kazan ]]></addr-line>
<country>Russia</country>
</aff>
<pub-date pub-type="pub">
<day>00</day>
<month>09</month>
<year>2023</year>
</pub-date>
<pub-date pub-type="epub">
<day>00</day>
<month>09</month>
<year>2023</year>
</pub-date>
<volume>27</volume>
<numero>3</numero>
<fpage>779</fpage>
<lpage>789</lpage>
<copyright-statement/>
<copyright-year/>
<self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_arttext&amp;pid=S1405-55462023000300779&amp;lng=en&amp;nrm=iso"></self-uri><self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_abstract&amp;pid=S1405-55462023000300779&amp;lng=en&amp;nrm=iso"></self-uri><self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_pdf&amp;pid=S1405-55462023000300779&amp;lng=en&amp;nrm=iso"></self-uri><abstract abstract-type="short" xml:lang="en"><p><![CDATA[Abstract: The article deals with logic abstraction operations, such as isolation, identification and generalization and their algorithmic implementation using the meta-programming language Sympl, which is being developed by the author. As part of the implemented logic operations, new data types such as &#8220;identification set", "concept", &#8220;notion&#8221; and "category" were implemented. The data type &#8220;identification set&#8221; represents sets, the elements of which all have either common properties or relations and are the result of the application of identification operation to logical objects. The data type &#8220;concept&#8221; is used for representation of concepts that are results of application of identification and generalization operations and is represented by two daughter data types (subtypes): &#8220;notion&#8221; and &#8220;category&#8221;. The &#8220;notion&#8221; data type represents the result of application of abstraction of generalization to an identification set. The application of abstraction of generalization two (or more times) results in a &#8220;category&#8221; data type - an extremely broad notion. The developed algorithms can be applied in text analysis when words are presented as logical objects: for finding synonyms, functionally similar personages or objects by their description and activities and so on.]]></p></abstract>
<kwd-group>
<kwd lng="en"><![CDATA[Logic programming]]></kwd>
<kwd lng="en"><![CDATA[language analysis]]></kwd>
<kwd lng="en"><![CDATA[isolation]]></kwd>
<kwd lng="en"><![CDATA[identification]]></kwd>
<kwd lng="en"><![CDATA[generalization]]></kwd>
<kwd lng="en"><![CDATA[set]]></kwd>
<kwd lng="en"><![CDATA[notion]]></kwd>
<kwd lng="en"><![CDATA[category]]></kwd>
</kwd-group>
</article-meta>
</front><back>
<ref-list>
<ref id="B1">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Welling]]></surname>
<given-names><![CDATA[H.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Four mental operations in creative cognition: The importance of abstraction]]></article-title>
<source><![CDATA[Creativity Research Journal]]></source>
<year>2007</year>
<volume>19</volume>
<numero>2-3</numero>
<issue>2-3</issue>
<page-range>163-77</page-range></nlm-citation>
</ref>
<ref id="B2">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Gorskiy]]></surname>
<given-names><![CDATA[D. P.]]></given-names>
</name>
<name>
<surname><![CDATA[Ivin]]></surname>
<given-names><![CDATA[A. A.]]></given-names>
</name>
<name>
<surname><![CDATA[Nikiforov]]></surname>
<given-names><![CDATA[A. L.]]></given-names>
</name>
</person-group>
<source><![CDATA[Kratkiy slovar' po logike]]></source>
<year>1991</year>
<publisher-loc><![CDATA[Moskva ]]></publisher-loc>
<publisher-name><![CDATA[Prosveshchenie]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B3">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Tennant]]></surname>
<given-names><![CDATA[N.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[A general theory of abstraction operators]]></article-title>
<source><![CDATA[The Philosophical Quarterly]]></source>
<year>2004</year>
<volume>54</volume>
<numero>214</numero>
<issue>214</issue>
<page-range>105-33</page-range></nlm-citation>
</ref>
<ref id="B4">
<nlm-citation citation-type="confpro">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Silbermann]]></surname>
<given-names><![CDATA[F. S. K.]]></given-names>
</name>
<name>
<surname><![CDATA[Jayaraman]]></surname>
<given-names><![CDATA[B.]]></given-names>
</name>
</person-group>
<source><![CDATA[Set abstraction in functional and logic programming]]></source>
<year>1989</year>
<conf-name><![CDATA[ Fourth International Conference on Functional Programming Languages and Computer Architecture]]></conf-name>
<conf-loc> </conf-loc>
<page-range>313-26</page-range></nlm-citation>
</ref>
<ref id="B5">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Yokomori]]></surname>
<given-names><![CDATA[T.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Set abstraction-an extension of all solutions predicate in logic programming language]]></article-title>
<source><![CDATA[New Generation Computing]]></source>
<year>1987</year>
<volume>5</volume>
<page-range>227-48</page-range></nlm-citation>
</ref>
</ref-list>
</back>
</article>
