Труды КНЦ вып.3 (ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ вып.1 3/2010(3))

ABS TRACTS UDC 001.123, 001.57 Putilov V.A., Shishaev M.G., Popova L.P. Phenomenology of Modern Informatization: Major Studying Aspects and Approaches // Scientific articles of KSC RAS. Information Technologies. - Apatity, 2010. - Iss. 1. - Р. 6-17. The paper analyzes technological and social aspects of informatization in modern society. Basic interrelations between informatization effects are singled out. System approach is stated as essential in studying of the effects. Possible approaches to system analysis of technological and social effects of informatization are considered. Fig. - 4, Table - 4, Ref. - 25. UDC 004.9, 004.65 Zujenko A.A., Fridman A.Ya., Kulik B.A. Automated Control of Modelling Process Correctness within the Framework of Algebraic Approach // Scientific articles of KSC RAS. Information Technologies. - Apatity, 2010. - Iss. 1. - Р. 18-22. The paper introduces algebra of conditional n-tuples extending abilities of the formerly developed n-tuple algebra in processing of contextual restrictions and queries expressed by logical formulas containing elementary two-place predicates. The proposed context-oriented approach to forming restrictions for a subject domain model allows for consideration and prompt analysis of both general limitations for all admissible models and domain-specific limitations. Ref. - 6. UDC 004.9, 004.65 Zujenko А.А., Fridman A.Ya. Semantic Data Processing in Modern Factographic Systems // Scientific articles of KSC RAS. Information Technologies. - Apatity, 2010. - Iss. 1. - Р. 23-28. The article examines the problem of developing intelligent databases in modern factographic systems. Merits and demerits of relational database management systems are analyzed, and new basic trends are studied as well. The analysis reveals that integration of databases and knowledge bases within relational algebra is essentially impossible, and new mathematical system is needed to solve the stated problem. Therefore the authors propose n-tuple algebra that serves to represent data and knowledge as a system of multiplace relations, as well as to realize logical inference procedures. Ref. - 14. UDC 004.94 Dikovitsky V.V., Shishaev M.G. Processing of Human Language Texts in Search Systems Models // Scientific articles of KSC RAS. Information Technologies. - Apatity, 2010.- Iss. 1. - Р. 29-34. The paper gives a short review of methods for human language texts processing and their application to search models. Basic models for information search and existing systems of semantic search are considered. Fig. - 3, Ref. - 18. 153