THE SUBSTANTIATION OF MATHEMATICAL LOGIC FORMAL SYSTEMS FOR SOLVING TASKS OF AUTOMATIC ELECTRONIC DOCUMENT MANAGEMENT

Formal systems of mathematical logic are reviewed, and inter alia, the system of finite predicates algebra, with regard to  solution of problems of electronic document flow management systems (EDMS). The substantiation of selection of the mathematical apparatus for description and study of automatic processes of formalized documents processing in EDMS  is given taking into account specific features of human intellectual activities. The description of the reviewed formal  systems is presented in comparison table. Conclusion is made to the effect that it is necessary to describe processes in  EDMS in the language of mathematics logics theories enabling researches to take account not only the content but also  the structure of a formalized electronic document. The total procedure of the process of automatic classification of  documents with application of the finite predicates algebra is demonstrated. Fundamental conclusions have been made:  application logical models in description of automatic classification of documents in electronic document flow makes it  possible to cut costs for computing capacities and to reduce the machine time for processing documents. The most  adequate approach for describing automatic processes in EDMS is to apply the finite predicates algebra to be used to  obtain the most accurate and complete description of formalized electronic documents, their properties and relations  between them, and the system for users’ access rights differentiation in EDMS. It is also possible to obtain a mathematical  description and research of automatic processes for processing formal documents in EDMS.