Abstract:
The paper describes the authors approach to the construction of informatics knowledge system in human-automaton environment. This system is investigated as means of formalized representation of scientific results. The bases of conception of the construction and application methodology of this system are described. This methodology is studied as scientific foundation for automation of research, design, and education.
Keywords:informatics; symbol; symbol model; human-automaton environment; knowledge system; symbol modeling in human-automaton environment.