Logic Abstraction Operations and their Algorithmic Implementation



Título del documento: Logic Abstraction Operations and their Algorithmic Implementation
Revista: Computación y sistemas
Base de datos:
Número de sistema: 000560810
ISSN: 1405-5546
Autores: 1
Instituciones: 1Kazan Federal University, Research Laboratory of Text Analytics, Kazan. Rusia
Año:
Periodo: Jul-Sep
Volumen: 27
Número: 3
Paginación: 779-789
País: México
Idioma: Inglés
Resumen en inglés 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
Texto completo: Texto completo (Ver HTML) Texto completo (Ver PDF)