The development of cadastral systems in various countries, including Ukraine, has gone through creating information systems that serve users (stakeholders) in one of the subject areas, such as land administration, real estate construction, water resources, and others. Modern cadastral systems have no capacity to solve complex problems, and, at the same time, their structure does not contain specialised mathematical support in the form of models capable of simulating complex processes. Intelligent cadastres will be able to solve complex problems. Along with the existing types of cadastre support, intelligent cadastres should have well-structured mathematical and heuristic support. It should allow for solving private computing and service tasks, as well as loosely structured ones with a high degree of uncertainty, and provide good visualisation and detailing of objects, processes, and phenomena based on cloud and other modern information technologies. We propose introducing an intelligent cadastral system, presented as a geoinformation system with components of both a decision support system and a system for manipulating thematic layers. The decision support system should contain typical models used during the formalisation of one or another subject area or as a variant of the formal model of the subject areas’ description. The thematic layers manipulation system should allow the integration of attributive data belonging to different subject areas. In this case, ensuring prompt and fruitful work of cognitologists with experts is essential. The shortage of time and the variety of problems to be solved require the development of technology for formalising the knowledge of experts or specific subject areas. Implementing this technology and ensuring its implementation will require the creation of banks of typical knowledge models, which should store standardised procedures for formal representations. The bank of formal representations of heuristic knowledge includes procedures for forming production rules, building semantic and other networks, building frame representations and genetic algorithms, and so on. The bank of formal logical procedures contains procedures for creating logical rules based on the logic of statements, rules of logical inference based on the predicate logic, procedures of other modal logics, in particular, the presence logic, and procedures for building logical constructions based on the theory of categories and functors.
Keywords: cadastral system, geoinformation system, decision support system, thematic layer manipulation system, formalisation.