ISSN 2071-8594

Russian academy of sciences


Gennady Osipov



M. B. Vinkov,  I.B. Fominyhk.  Reasonings on knowledge and the logical omniscience problem. Part I: Modal approach.

In clause the review epistemic modal logics, formalizing reasonings on knowledge is lead. The special attention is given to the problem connected to them so-called logical omniscience and to attempts of its overcoming within the framework of the modal approach. The analysis has shown, that on a way of the decision of the given problem these attempts form two directions. One of them is based on artificial easing of deductive opportunities of the agent, other direction has in the basis introduction in logic language of the special modal operators treated as reasoning actions, necessary for receiving  some knowledge expressed as logic formulae. 

Keywords: epistemic logics, omniscience problem, modal approach, resource bounded reasoning, multi-agent systems.

G.D. Volkova, O.G. Grigoriev. Data Model on Hyperdomain: foundation,  formal presentation

In this report   the characteristic and specifications of data models - relation data model, postrelation data model, object-oriented data model, multidimensional data model - and data model on hyperdomain and formal presentation of this model are presented.

Keywords: relation data model, postrelation data model, object-oriented data model, multidimensional data model, data model on hyperdomain, foundation for data model on hyperdomain, formal presentation of data model on hyperdomain.

G.V. Rybina, A.O. Deineko. An approach to unification production rules obtained from various sources of knowledge

Discusses the problem of merging of production rules derived from different sources of knowledge (experts, problem-oriented texts, electronic media as databases), to construct a complete and consistent knowledge bases in integrated expert systems. Described the features of distributed knowledge acquisition within the task-oriented methodology for the integrated expert systems and created on its basis of automated technology, including a new generation of tools - software complex AT-TECHNOLOGY. Described the features of application of the theory of multisets to combine production rules derived from sources of different typology.

Keywords: integrated expert systems, distributed knowledge acquisition, knowledge base, the union of sets of production rules, production rules, the theory of multisets.


V.L. Stefanuk. Generalized Markovian Chaines

This paper demonstrates that after some generalization the Markovian Chains besides traditional probabilistic processes (classic) would allow a description of analogical processes of deterministic nature. This observation allows to essentially increase the area of application of Markovian tools and leads to generalization of the concept of Markovian tools covering both stochastic (classic) and deterministic Markovian chains (new). A Lemma and a Theorem are proved to be valid for the Ergodic Deterministic Markovian Chains introduced in the paper. The theoretical results obtained are to justify the introduction of such class of chains and to prove the possibility of their application to practical problems.

Keywords: Markovian Chains, Balance of Flows, Generalized Markovian Chains, Stochastic Markovian Chains, Deterministic Markovian Chains.

A.A. Alekseev, N.V. Loukachevitch. News cluster structure as a basis of automatic entity detection

In this paper we consider a method for extraction of alternative names of concepts mentioned in a news cluster. The method is based on the structural organization of news clusters and exploits comparison of various contexts of words. Groups of near-synonyms with highlighted main synonym are obtained at the end of cluster processing.

Keywords: Entity Detection, Lexical Cohesion, News Clusters.

A. S. Pankratov. Integration technology of heterogeneous databases exampled by consolidation of electronic medical cards

The problem of integration of the information contained in the electronic maps of medical clinics and other medical institutions is considered. Purpose - to build complete clinical vision of disease of patients. As integration technology is proposed to use a mediator with the auxiliary data warehouse. This approach is described by a concrete example.

Keywords: database, integration of the information, multidatabase systems, mediator, data warehouse.


S.V. Emelyanov, D.A. Makarov. Stabilization of helicopter pitch angle on various flight modes using coordinate-to-operator and operator feedbacks.

Possibility of helicopter autopilot construction based on the theory of coordinate-to-operator and operator feedback types is considered. Conclusions about stability of synthesized system under parametric uncertainty were made. Numerical simulation of various flight modes was made.

Keywords: automatic control theory, helicopter control, nonlinear regulators, coordinate-to-operator feedback, operator feedback, control under uncertainty.

N.P. Kirillov. Conceptual models and properties of technical systems with operated conditions (the review and the analysis)

Modeling of managerial processes and functioning of technical systems (TS) is connected with necessity of the decision of problems of engineering of knowledge. Their decision can be simplified at the expense of use of models-prototypes in which quality it is offered to apply conceptual models of TS. The review and the analysis of known conceptual models in which the properties of technical systems chosen from different sources are systematized is for this purpose made. The knowledge of set of these properties is necessary for working out of the conceptual models intended for the decision of problems of engineering of knowledge in given subject domain. Problems on the further detailed elaboration and a concrete definition of the general properties of TS for construction of such models-prototypes are defined.

Keywords: technical systems, models and modelling of technical systems, properties of technical systems, engineering of knowledge, model-based systems engineering.

A.A. Levkov. Building effective ontologies in large systems of enterprise management

New description logic dialect is proposed. It defines inheritance operator and allows concept typing for evolution-stable taxonomies creating. Concept constraints for new dialect roles allow to rise efficiency of parsing RBox-queries.

Keywords: ontology, description logic, taxonomy, concept typing, integrity constraints, parsing query efficiency.

A.V. Savchenko. Automatic image recognition three-threshold system

The possibility of increasing pattern recognition quality by usage of statistical approach and three decision rules (to reject unreliable decision, prevent exhaustive search and choice decision most different from others) is investigated. The experimental results have been produced in a problem of automatic half-tone image recognition using several widespread face databases.

Keywords: automatic image recognition, statistical approach in pattern recognition, minimum discrimination information principle.