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 themathematical 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.


    Access

    Download


    Export, share and cite



    Title :

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


    Contributors:


    Publication date :

    2018




    Type of media :

    Article (Journal)


    Type of material :

    Electronic Resource


    Language :

    Unknown




    THEORETICAL SUBSTANTIATION OF FINANCIAL MANAGEMENT

    N. V. Myroshnyk | DOAJ | 2009

    Free access

    Forward Body Substantiation Test

    S. B. Hendrickson | NTIS | 1959



    A36 Wing Temporary Repair Substantiation

    Gruszkeiwicz, D. / Stepura, S. / Berkowitz, O. et al. | British Library Conference Proceedings | 2010