Spatial Reasoning and Planning in Sign-Based World Model

The paper discusses the interaction between methods of modeling reasoning and behavior planning in a sign-based world model for the task of synthesizing a hierarchical plan of relocation. Such interaction is represented by the formalism of intelligent rule-based dynamic systems in the form of alternate use of transition functions (planning) and closure functions (reasoning). Particular attention is paid to the ways of information representation of the object spatial relationships on the local map and the methods of organizing pseudo-physical reasoning in a sign-based world model. The paper presents a number of model experiments on the relocation of a cognitive agent in different environments and replenishment of the state description by means of the variants of logical inference.