Algebraic Model For Describing And Analyzing Spatial Situations

The word “algebra” refers not only to a section of mathematics, but also to one of the specific objects studied in this section. “Algebra” in the narrow sense of the word is not considered here, and therefore for brevity and to avoid misunderstandings, the word “algebra” in this paper will be used as a generic concept to refer to a variety of algebraic structures. To formalize the subject area using spatial relations between objects it is possible to define algebraic model. When solving the problem of positioning, using universal algebras, it is possible to create terms that describe the surrounding environment. The universal algebra introduced in the way described in the paper allows us to formally describe any objects, including fragments of search queries and information areas. Using the results of formalization of information objects based on spatial logic and unification theory, an alternative solution to the problem of searching for information in the environment of weakly structured data is possible.