Logic Abstraction Operations and their Algorithmic Implementation

Authors

  • Pavel Zheltov Kazan Federal University

DOI:

https://doi.org/10.13053/cys-27-3-4411

Keywords:

Logic programming, language analysis, isolation, identification, generalization, set, notion, category

Abstract

The article deals with logic abstraction operations, such as isolation, identification and generalization and their algorithmic implementation using the meta-programming language Sympl that is being developed by the author. As part of the implemented logic operations, new data types such as “identification set", "concept", “notion” and "category" were implemented. The data type “identification set” 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 “concept” 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): “notion” and “category”. The “notion” 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 “category” 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.

Author Biography

Pavel Zheltov, Kazan Federal University

Research Laboratory of Text Analytics, Senior Researcher

Downloads

Published

2023-09-26

Issue

Vol. 27 No. 3 (2023): 27(3) 2023

Section

Articles

License 

Hereby I transfer exclusively to the Journal "Computación y 
Sistemas", published by the Computing Research Center (CIC-IPN),
the Copyright of the aforementioned paper. I also accept that these 
rights will not be transferred to any other publication, in any other 
format, language or other existing means of developing.
I certify that the paper has not been previously disclosed or simultaneo
usly submitted to any other publication, and that it does not contain 
material whose publication would violate the Copyright or other 
proprietary rights of any person, company or institution. I certify that 
I have the permission from the institution or company where I work or 
study to publish this work.
The representative author accepts the responsibility for the publication
of this paper on behalf of each and every one of the authors. 
This transfer is subject to the following conditions:
  • The authors retain all ownership rights (such as patent rights) of this work, except for the publishing rights transferred to the CIC, through this document.
  • Authors retain the right to publish the work in whole or in part in any book they are the authors or publishers. They can also make use of this work in conferences, courses, personal web pages, and so on.
  • Authors may include working as part of his thesis, for non-profit distribution only.