Planning and Coordination in Hierarchies of Intelligent Dynamic Systems

On the basis of the known principle of interactions prediction (Mesarovic), our earlier proposed incremental coordination principle is extended over hierarchical collectives of intelligent dynamic systems (IDSs) after Gennady Osipov. Such systems admit arbitrary types of variables in their state vector and thereby allow investigating more general dynamic systems than “classical” ones defined in numerical state spaces. Using the concept of effective N-attainability (Osipov), a straightforward procedure of planning for hierarchical collectives of IDS is developed. As soon as a plan for reaching a goal state from the current one is found, effective implementation of this plan requires for coordination of IDSs taking their parts in the collective. We consider both aspects of coordination (coordinability with respect to the coordinator’s task and coordinability in relation to the global task) and infer necessary conditions of the coordinability for a locally organized hierarchy of IDSs

Algebraic Approach to Logical Inference Implementation

The paper examines the usage potential of n-tuple algebra (NTA) developed by the authors as a theoretical generalization of structures and methods applied in intelligence systems. NTA supports formalization of a wide set of logical problems (abductive and modified conclusions, modelling of graphs, semantic networks, expert rules, etc.). This article mostly describes implementation of logical inference by means of NTA. Logical inference procedures in NTA can include, besides the known logical calculus methods, new algebraic methods for checking correctness of a consequence or for finding corollaries to a given axiom system. Inference methods consider (above feasibility of certain substitutions) inner structure of knowledge to be processed, thus providing faster solving of standard logical analysis tasks. Matrix properties of NTA objects allow to decrease laboriousness of intellectual procedures as well as to efficiently parallel logical inference algorithms. In NTA, we discovered new structural and statistical classes of conjunctive normal forms whose satisfiability can be detected for polynomial time. Consequently, many algorithms whose complexity evaluation is theoretically high, e.g. exponential, can in practice be solved in polynomial time, on the average. As for making databases more intelligent, NTA can be considered an extension of relational algebra to knowledge processing. In the authors' opinion, NTA can become a methodological basis for creating knowledge processing languages

Plasma Medicine

Recent demonstrations of plasma technology in the treatment of living cells, tissues, and organs are creating a newfield at the intersection of plasma science and technology with biology and medicine - Plasma Medicine

Economic Science and Economic Education in Russia: The Problem of Integration

We analyze the state of both economic science and economic education in Russia. The proposed approach to their integration implies transforming academic institutes into organizations, which conduct both research and educational activities.economic research institutes; economic education; Russia

Inductive Generalization in Logical Inference and Techniques to Estimate It

The paper presents a novel approach to problems of deductive reasoning in frames of n-tuple algebra (NTA) earlier developed by the authors. Investigations of such problems let us determine the minimal consequence in logical inference and develop techniques to find it. Besides, we have proved that many formally correct consequences are inductive generalizations of this minimal consequence. An NTA-based method is proposed to obtain a numerical estimation for the degree of such an inductive generalization. In particular, it becomes possible to predict the number of consequences for a given system of premises and the share of a minimal consequence in a universe

Экономическая наука и экономическое образование в России: проблема интеграции

We analyze the state of both economic science and economic education in Russia. The proposed approach to their integration implies transforming academic institutes into organizations, which conduct both research and educational activities