Logo des Repositoriums

Auflistung nach Autor:in "Doroshenko, Anatoly"

1 - 3 von 3
  • Konferenzbeitrag
    Evidential paradigm and intelligent mathematical text processing
    (Information systems technology and its applications, 3rd international conference ISTA'2004, 2004) Lyaletski, Alexander; Doroshenko, Anatoly; Paskevich, Andrei; Verchinine, Konstantin
    This paper presents the evidential paradigm of computer-supported mathematical assistance in "doing" mathematics and in reasoning activity. At present, the evidential paradigm is implemented in the form of System for Automated Deduction (SAD). The system is based on the methods of automated theorem proving and is intended for intelligent mathematical text processing. It proves mathematical theorems, verifies validity of self-contained mathematical texts and can be used for inference search in first-order sequent-based logic as well. For human-like representation of mathematical knowledge, SAD exploits an original formal language close to natural languages of scientific publications. Since the problem of automated text verification is of great importance for industrial applications (checking specifications, proving safety properties of network protocols, etc), the paper illustrates some principles and peculiarities of the evidential paradigm by means of exemplifying the verification of a part of a non-trivial mathematical text.
  • Konferenzbeitrag
    Managing business logic with symbolic computation
    (2003) Schevchenko, Ruslan; Doroshenko, Anatoly
    A new approach of building enterprise distributed applications for layer of business rules as standard part of architecture is proposed in this paper. The approach uses symbolic transformation system based on rewriting techniques and embedded in Java language and provides analysis and engineering distributed applications at source code level. The benefit of the system is extreme flexibility of the approach and light-weightedness of formal methods and their separate application to program features that does not need to know full semantic model of application programs. The system is implemented and its usage is illustrated with an application example of engineering CORBA middleware application.
  • Konferenzbeitrag
    Tools for generation of natural inflected language processors
    (2003) Mishchenko, Nadiya; Doroshenko, Anatoly
    Supporting multiple languages and natural language processing are of high importance in information systems. This paper discusses software tools for the generation of languages processors (LPs) for the natural inflected languages. The tools are implemented in the LP generator DUAL, which allows for formal specification and reusability of developed components. The declarative language Dual is used to specify words, idioms, and their processing. The paper describes the automatic generation of dictionaries from their specifications in the Dual language and the reusability of software components, which facilitates fast construction of user-oriented software systems for processing of natural inflected languages. The LPs generated are intended for word-for-word translation of domain-specific texts in inflected languages and the generation of frequency lists of words and phrases used in statistical analysis of texts in inflected and analytical languages using Cyrillic or Latin alphabets.