ISSN 2071-8594

Russian academy of sciences


Gennady Osipov



V.N. Vagin, K.Yu. Khotimchuk. Abduction in problems of job planning in complex objects

The description of assumption-based truth maintenance systems (ATMS) and basic concepts for dealing with ATMS are given. The abductive inference algorithm AAA is developed. The heuristic method for that algorithm is proposed The results of experiments held for an example of designing schedules for energy storage plants have confirmed the efficiency of the Assumption-based Truth Maintenance System-based Abduction Algorithm.

Keywords: abduction, intelligent systems, decision making, assumption-based truth maintenance systems, minimal abductive explanation.


A.P. Eremeev, I.E. Kurilenko. The branching-time temporal logiс and its application  to   intelligent decision support systems

Methods of producing temporal reasoning in intelligent decision support systems of real time are considered. The main attention is given to the branching-time temporal logic and its   
application to  intelligent decision support systems.

Keywords: artificial intelligent.

V. Gribova, A. Kleschev, D. Krylov, Ph. Moskalenko, S. Smagin, V. Timchenko, M. Tyutyunnik, E. Shalfeeva. Project IACPaaS. Complex for intelligent software based on cloud computing

The article presents main ideas, goals and a conceptual framework of the information and software complex for development, control and usage of intelligent software. An analysis of platforms based on the cloud computer technology is given. Urgency of development a new complex intended for intelligent software is argued.

Keywords: intelligent software, cloud computing, web-services, tools, Internet- technology.


L.B. Sheremetov, A.V. Smirnov. Models of coalition formation between cooperative agents: current state of research and future trends

The paper analyses the main approaches to coalition formation among rational cooperative agents. Taxonomy of research in this promptly developing area of interdisciplinary studies is developed. Different approaches from this taxonomy are compared and discussed based on the authors’ experience in developing real-life applications. Special attention is focused on the models developed within the theory of cooperative games.

Keywords: coalition formation, cooperative agents, game theory.

V.A. Nepomnyashchikh, V.G. Red’ko. Method of formation of searching behavior

Biologically inspired method of formation of searching behavior is proposed. The method uses the concept of motivation that regulates switching between tactics of searching behavior. Dynamics of motivation includes inertial, stochastic and directed variations of motivation. Possibility of using the proposed method for function minimization is demonstrated. The method can be used for a formation of searching behavior of autonomous systems, such as mobile robots.

Keywords: searching behavior, function minimization, motivation, autonomous systems.


V.N. Kuchuganov. Verbalization of Reality and Virtuality. Associative semantic

One of the possible technologies for system analysis, structuring and partial formalization of the descriptions of entities and problematic situations is considered as an attempt to reduce the influence of subjectivity in the design of decision support systems. It is proposed to differentiate the concepts of semantic networks and associative networks. The description of operations with the situation patterns for the search of analogies is given. A conceptual scheme of associative text recognition is proposed.

Keywords: verbalization, knowledge engineering, virtuality relationships, semantic network, associative semantic.


A.O. Zaharov. The Pareto set reduction using compound information of closed type

The Pareto set reduction axiomatic approach is used in this paper to solve multicriteria choice problem. An aim is to construct an upper estimate for unknown set of selected alternatives. It is settled how to reduce the set of compromise alternatives using compound closed information on the preference relation of the decision maker. An illustrative example is given.

Keywords: axiomatic approach, multicriteria choice, multicriteria problem, the Pareto set reduction, compromise set.