The main problem in robotics is strengthening of robot artificial intelligence (I_A) system. Its solution will facilitate cooperation of man with robot. Authors suggest advanced technology for I_A development. It borrows method of universal (deep) tutoring (T_U) relying on semantic axiomatic method (AM). By method T_U knowledge understanding is achieved by rational consciousness formation. It uses the utmost mathematical abstractions expressed on language of categories (L_C). Being functional one L_C is destined for intellectual processes (P_IR) description due to its universal constructions. Following T_U robot educational space (S_ER) is class of categories. Its I_A sophistication occurs through new categories inclusion as required in robot I_A multilevel hierarchical orientated network (N_C) of concepts. Universal laws of robot functioning are embodied as operations of algebraic structures being objects of N_C. It creates integrated environment of applications (IE_A). Robot intercourse with man and its interaction with working space (S_WR) make active P_IR happening in N_C. Processes of assignments execution (P_ER) begin just when satisfaction to a set of relations in S_WR and in robot space of notions is a success. Possibility of P_IR to climb up the highest levels of N_C and down the lowest ones endows robot with capability to generate P_ER making decisions in unfamiliar S_WR.

Keywords: neurophenomenology, universal tutoring, artificial intelligence, language of categories, functor, free algebra, algebraic system, abstract type of data, intellectual process, execution process, context

I_A, artificial intelligence; T_U, universal tutoring; AM, axiomatic method; A_F, free algebras; S_A, algebraic system; S_ER, robot educational space; P_IR, robot intellectual processes; In Lib, inter subject library; P_EdSpSs, personal educational semantic space.

Authors’ purpose is to clarify how one can train robot I_A to higher levels of complexity. Intellectual technical units imitate anthropogenesis (Figure 1). So principles of human rational consciousness development can be applied to robot I_A creation¹ Table 1. Research carried out before discovered universal laws of human mind functioning. It was proved that in human rational consciousness creation the most important role plays universal ideas of mathematics expressed on language of categories,² Figure 1b. Meanings of the whole theories can be described on L_C in the form of categories. Method of T_U is proposed as basis of advanced technology of intellect perfection. It realizes projective method of teaching. The approach allows constructing multilevel net of robot notions N_C as base of I_A, see Figure 1b. It differs from inductive approach used in robotics to designing of clever specialized machines.³. Usually separate robot functions in it are gradually extended up to the partial intellectual capabilities. By our opinion with the help of general P_IR complex behavior in the form of P_ER can be obtained from simple robot actions. It becomes significant to create media for universal P_IR phenomenology.

Figure 1 Functional Model – a) Natural Intellect I_N; b) Multilevel Robot I_A System

Universal tutoring of I_A

Scientific means of system-informational culture are clarified due to mathematics.^1,2 Generalization serves for comprehension. So technology of T_U is grounded on semantic knowledge presentation. Cognitive and functional degrees of I_A complexity can be given in the form of its multilevel system organization, see Figure 1b. The most general I_A concepts are uplifted and disposed on the highest levels of N_C. Algebraic structures are objects of corresponding categories. Use of morphism allows comparing the objects in order to understand their semantics.

Definition: Context is a set of relations among objects of some categories

Robot is able to execute assignments described by quasi-functor ${f^{\prime }}_i:{K^{\prime }}_i\to {L^{\prime }}_i,i=1,2,\mathrm{...},n,$  which make transformations of contexts. Then robot is capable to fulfill task $f^{\prime }:K^{\prime }\to L^{\prime }$  where $K^{\prime }={K^{\prime }}_1\cup \mathrm{...}\cup {K^{\prime }}_n$  and $L^{\prime }={L^{\prime }}_1\cup \mathrm{...}\cup {L^{\prime }}_n$  are co-products in the category SET.⁴ If new problem is put to obtain context $L$  then robot tutoring consists in acquiring of knowledge about quasi-functor $\phi :L\to L^{\prime }$ .Cartesian square⁴

defines inverse image $f:K\to L$ of morphism $f^{\prime },\phi$ . Task $L$  execution corresponds to arrow $f$  application. It worth mentioning that context $K$  of SWR is unfamiliar to robot.

Example: Let I_A be taught to recognize hand written letters using map $f^{\prime }$ . The problem of robot training for texts recognition is to be solved. For the purpose robot must attain experience of quasi-functor $\phi =(0,BTW)$ with operation $0$  marking up startof text $L$ . RelationBTW allows picking out text fragment lying between $0L$  and any other letter $l$  of the text. Uplifting $f^{\prime }$  along $\phi$  equips I_A with the idea of linear order - arrow $f$ .

Free algebras (A_F) of N_C become foundation of abstract types of data (ATD) interconnected by N_C. Robot specialization is achieved by interpretation scheme of assignments fulfillment which takes in consideration working context. It is a matter of relations between I_A notions in N_C and states of S_WR. Knowledge description on L_C corresponds to object oriented approach in programming. It also contributes to I_A creation. Carriers of free algebras become definite by means of S_WR and given task. It specializes ATD in IE_A (Figure 1b). The utmost laws of I_A functioning supplemented by S_WR allow using context for P_ER starting. In this manner I_A creative functions act.¹ Besides that availability of P_IR simplifies robot control system.

Proper to human mind neurophenomenology of I_A is result of P_IR interaction. Suggested advanced technology ensures growth of N_C levels in accordance with I_A sophistication. It will amplify intellectual fields of robot adaptation.

No conflict of interest.