INTELLIGENT DATA ANALYSIS
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.
MODELING AND CONTROL
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.