Logic Abstraction Operations and their Algorithmic Implementation



Document title: Logic Abstraction Operations and their Algorithmic Implementation
Journal: Computación y sistemas
Database:
System number: 000560810
ISSN: 1405-5546
Authors: 1
Institutions: 1Kazan Federal University, Research Laboratory of Text Analytics, Kazan. Rusia
Year:
Season: Jul-Sep
Volumen: 27
Number: 3
Pages: 779-789
Country: México
Language: Inglés
English 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 “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.
Keyword: Logic programming,
Language analysis,
Isolation,
Identification,
Generalization,
Set,
Notion,
Category
Full text: Texto completo (Ver HTML) Texto completo (Ver PDF)