## 3 Results: AGA Logic Variables for Scene Description and Dialog Communications
### Communication Module and the Dialog Protocol
The reason is that according to basic definitions of AGA [70], any notation like \(F\big{(}x_{i},x_{j}\big{)}=F(0,0,\ldots,0)\ *\ X_{i}(a_{i},b_{i})*X_{j}(a_{j},b_{j})\) always can be extended to the function expression \(F\big{(}x_{i},x_{j},x_{k}\big{)}=F(0,0,\ldots,0)\ *\ X_{i}(a_{i},b_{i})*X_{j} \big{(}a_{j},b_{j}\big{)}*X_{k}(0,K-1)\), where the band from \(0\) up to \(K-1\) will exceed the ranks of earlier used model. The reverse equivalent representation from truth-level codes, \(w^{K}_{v,m}\), back into natural numbers ones, \(w^{N}_{v,m}\), can help to receive more visual and convenient groups of parameters, and logic diagrams taken with various limitations are expected to be useful for more complicated data analysis during the debugging of mobile agents. Namely the natural numbers coding of words can help to form convenient groups of data for further planned verification procedures. Figure 13 shows the idea of such logic point group images, obtained for 2D logic diagrams taken from Table 10 with restriction \(C_{k}=\{5,6\}\), which correspond to some vocabularies \(V^{K}_{v,m}\). For visual checks by human experts, it can be useful to connect additional points of the logic diagram by lines. Even the simplest 1D functions \(F(x_{i})=F(0,0,\ldots,0)\ *\ X_{i}(a_{i},b_{i})\), \(i\in[0,1,\ldots,\ k-1]\) also corresponds to the given above definition of FMF and may describe numbers of agents and their licenses, obtained parameters, or passed distances. \begin{table}
\begin{tabular}{c c c c c} \hline \hline \multicolumn{2}{c}{**Input Variables**} & \multicolumn{4}{c}{**Output Variable**} \\ \hline  & \(x_{3}\) & \(x_{4}\) & \(x_{5}\) & \(F(x_{1},\ldots,x_{n})\) \\ \hline  & 1 & 1 & 5 \\  & 1 & 3 & 6 \\  & 1 & 8 & 5 \\  & 1 & 4 & 6 \\  & 2 & 3 & 5 \\  & 2 & 4 & 6 \\  & 2 & 5 & 5 \\  & \(\ldots\) & 7 & 3 & 6 \\ \hline \hline \end{tabular}
\end{table} 
Table 10: Example of FMF \(F(x_{3},x_{4})\), formed by striking out unnecessary variables in the holistic truth table. Mapping function is \(F(x_{1},\ldots,x_{5})\), mapped one is \(F(x_{3},x_{4})\), and restriction is \(C_{k}=\{5,6\}\). The Defs. (\(5\div 7\)) given above describe FMF via truth tables, but based on AGA template matching [75] and distributed linked list schemes [68], one can directly use equivalent representations of the truth table by logic expressions given in Section 2. For AGA logic diagram truth levels always have fixed values and only the number of involved logic constants and their relative location in the diagram may differ. Consequently, AGA-based logic diagrams are the simpler case of check images in contrast to, e.g., contours in stars navigation systems [88]. Thus, FMF scheme enlarges the spectrum of possibilities for human verification of data, taken from AGA functions including small-scale local memory storages. Due to the fact that LL is AGA function, it can be used not only as a holistic data structure, but also as a data source for FMF dubbed in a local distributed memory storage. However, all these variants need to discuss hardware requirements. Here, the goal is to demonstrate the possibility to realize proposed methods by means of the simplest 8-bit platform, corresponding to IoT level. ## 6 Results: Communication Module and Microassembler Software for the Verification

The possibility to process the proposed vocabulary structure and the adapted LL scheme is demonstrated by means of the microassembler code and 8-bit circuit board, which was already used in [68,69]. Such choice is determined by three factors, and the first of them is the desire to test new AI procedures for IoT level devices, where one does not use special commercial software shells, neural networks, and expensive microprocessors. The second reason is the actuality of the smart communication module, which is capable of unloading the decision-making module in agent. The third reason is that smart communication module of agent is a potential additional tool to protect the system from illegal data modifications.