Начиная с начала 2000 года осуществляется внедрение GHIS в здравоохранении, в рамках принятого проекта о реформирование информ Mathematical Problems of Computer Science 49, 79--91, 2018. On the Way to Dominating Cognition Edward M. Pogossian Institute for Informatics and Automation Problems of NASRA e-mail:epogossi@aua.am Abstract Humans become powered enough to question the further types of their being in the universe but have not answers yet whether the solutions are in the corrections of their genomes , discovering of new types of organizations of humans or in transition to a new type of descends, humanoid machines or others. Assuming that scenarios with dominating cognition are the most promising to resolve the challenges of evolvement of humans and are the most expected for the next stage of their being, while the kernel of effective cognition is universal for all types of further being of humans, we present constructive models of the kernel, question the completeness of representations and ways of its further study. Keywords: Mental systems, Adequate, Constructive modeling, Cognition,Negentropics. 1. Introduction 1.1. 1. Following the cosmological views [33], the vast majority of realities we classify as entropics while interpreting Schrodinger [6] we classify as negentropics or negs, an island of not entropic realities r that can gain energy from others to preserve in space and time certain roots, i.e., realities, say, constituents or doings of r, determining the identity of r. Roots of negs, as it succeeds from definitions, have to include, at least, means to gain energy and ones to preserve those means that, in turn, require means to represent and affect realities, i.e., sensors and effectors, then, means to classify utilities, damagers and uncertains, i.e., classifiers of favorable, damaging or uncertain yet with respect to (wrt) the roots realities, as well as controllers ofthe doings. 1.2.1. We classify cellular realities, cellulars, as a type of negentropics that include alive cells in the roots able to reproduce and compose themselves into the organism while classifying humans as a type of cellulars. 1.2.1. Mental doings of humans are backing the root and induced goals. They are either genomic or cognized in the life time while cognized mainly by acquisition from the cultures of communities. 79 On The Way to Dominating Cognition 80 Mental doings are represented by mental doers, mdoers, while mental classifying by mdoers or systems of mdoers, msystems (mss). Mdoers and mss, have, we assume, at least, IDs and can be processed consciously, particularly, for explaining and understanding doings/doers in communications. 1.2.2. Mdoers include algorithms and are based, we assume, on and do over IDs of sensors, elaborate instructions for the effectors and are governed by the controllers. Mss induce systemic classifiers, say, Factories, Computers, Chess Positions. Mss, particularly, represent the goals, classify coexistence of nominated utilities/goals, i.e., represent relationships between them, can be processed to learn new utilities, to enhance effectiveness of mss or communicate them. 1.2.3. Acquisition and accumulation of mss, as well as revelation of mss, particularly, by learning new utilities or by enhancement of effectiveness of ad hoc mss, comprise the balk of doings of a type of mss, cognizers. Processing of mss is governed, we assume, by controllers. For example, controllers explain mss “Humans” of the author by resolving it into this, ongoing text, namely, by corresponding English words to IDs of constituents of the mss. That resolution, in general, could be started from any constituents of target mss, selected constituents, thus their IDs could be chained in a variety of modes and details depending, particularly, on the intensions of the author. 1.2.4. A mighty way of enhancement of effectiveness of mss, and thus, cognizers, is the regularization of classifiers induced by mdoers and mss [47]. Namely, classifiers Cl of members x of communities C are regularized in C if accompanied by ontological in C methods, instructions allowing x regularly provide positive samples of inputs of Cl, as well as let the members of C do the same by communicating with x. In constructive regularization, those samples can be provided deterministically and without any involvement of cellulars while, otherwise, they can be grown up from a priory given prototypes like cells or crystals, be the products of services to humans or machines. 1.3. Accelerated mental power approaches humans to “Homo Deus” [34] with a chance of reliable preservation of cellular roots while, in parallel, to entire crashing of cellulars on the earth. The kernel of that strength is in the effectiveness of organizations of humans while the weakness is caused by the imperfectness of those organizations and their genomic heritage. Humans become powered enough to question the further types of their negentropic being in the universe but have not answers yet whether the solutions are in the corrections of their genomes, discovering of new types of organizations of humans or in transition to a new type of descends, humanoid machines or others. It is worth reminding that nowadays autonomous agents, a type of constructed negentropics, are challenging the cellular being of humans at all, as well as recall that following the Buddhist and Indian sources, humans being lemuroids or Atlantis in the far past could have not only cellular types of negentropicity [35]. 1.4. 1. In what follows, first, we present the modified specification of the models of mss, mentals, introduced in [47], refine systemic classifiers and constructive regularization of classifiers. We continue questioning the ways of proving that mentals can be adequate constructive models of mss. In addition to the approach in [47], based on examining performances of particular mss with the corresponded them mentals, we analyze the ways to achieve consistency of performances of structural models of connectivity neuron nets, for example, artificial neuron nets, with purely functional models of mss, mentals. Assuming that the kernel of effective cognition is universal for all types of negs, thescenarios with dominating cognition are the most promising to resolve the challenges of evolvement of E. Pogossian 81 humans and are the most expected for the next stage of their being, finally, we question the completeness of representation of the kernel and ways of its further study. 1.5. Our models are based on and try to fuse findings of many outstanding researchers. We refer to some of their publications [1-35] to study them in depth, as well as refer to some works [36]-[42], which can add to understanding of our ideas and their approbations [43]-[48]. 2.Constructed Mental Systems 2.1.1. Doers, in general, are, we assume, realities having in- out- put parts and for available inrealities, i.e., realities at the input parts, either elaborate certain output realities or stay passive. In- out- realities comprise their in- out- domains, or in- out-doms. Indoms wrt outputs are split into classes of equality, particularly, class of uncertainty (?) if inrealities don’t cause outputs. 2.1.2. Doers are do-classifiersCl if indoms are split into two classes +Cl and ?Cl; otherwise they are corresponders, cors. Apparently, identifiers of do-classifiers Cl by themselves are sufficient to indicate their classes of equality, i.e., the positives +Cl, while classes of cors can be indicated by pairing those identifiers with corresponding outputs. 2.1.3. Doers of type of classifiers are sensors if inrealities are not necessarily pre-classified, of type of cors are effectors if inrealities are necessarily classified while are controllers if both in- out- realities are necessarily classified. 2.2.1.Realities I{i} are identifiers, IDs, of realities R{r} and Z{z} wrt Z if - to any r,z unique IDs i(r), i(z) are corresponded - to any r,z certain classifiers are linked allowing by IDs i to recall the corresponding r or z - any r can address any z to recall any r, z. Identified realities of given R, Z paired with their IDs are named nominals wrt Z. Z and R can coincide for, say, R presenting members of communities or their mdoers. Controllers Cns, are assumed, can assign IDs to given mdoers aimed to control their processing and in- out- interactions with realities. Realities of Z can be interpreted as sets of Cns controlling in certain ways realities of R analogically to servers of “star” types controlling networks of computers or, seemingly, analogically to unicellular controllers. 2.2.2. Nominals wrt Cns where realities of R are outputs of doers, particularly, sensors, controllers or effectors, are named otids while sets of otids of doers d are the alphabets of d. And sets of otids comprised from only some representatives of alphabets A1,A2, …,An of doers d1,d2,…, dn are words in A1,A2, …,An. 2.2.3. Classifiers of n-tuples of nominals are n-place relationships named rels for n=2. Rels (a,b) can be depended or not on the orders of their arguments. 2.3.1. Systems H over nominals Nls containing rels Rls, i.e., Rls