Konrad Eckes

In addition to the commonly known stable legal relationships between persons or institutions and fragments of the Earth's surface (real estate), there are widely applied ad hoc relationships to real space, with significantly varying durations. They are a function of acquired rights and remain valid for a strictly defined period of time. They are common in everyday life and take on diverse forms, the basic attribute of which is a reference to a broadly understood fragment of geographical space. Emerging technological achievements, such as digitisation of payments, algorithmisation of procedures, identification of documents and people, autonomous traffic and artificial intelligence - pose a challenge to provide ad hoc relationships to space with formalised notation. The problem of formal notation of legal rules applicable in local space will be presented on the example of the right of entry to the university campus, together with local traffic and parking rules. The space is divided into zones and then into smaller units – parking spaces, according to the hierarchical structure. Social groups that have relationships with these zones are also formed into hierarchical sets. Individual groups have different rights to space – hierarchically – at the zone level. The established hierarchy is the first factor considered. The second factor is variability over time. Relationships to local space change over time, most often in a cyclical form. It can therefore be concluded that in this case the law is a function of time. Parking spaces, as objects in spatial sets, are occupied randomly and subsequent users must start the procedure of searching the remaining objects belonging to the set. This procedure has been written in the form of a flowchart and graph. Objects removed from the set (as they are occupied) may randomly return, so for the purposes of effective searching, this process is presented as repeatable – as a whole or locally (cascading search). The third aspect considered are differences in the way users move around the local road network and in elementary spatial fields. The network structure is represented by intersections, which are noted as node matrices. In order to define how to behave in the local space, a list of rules was prepared and standardised. From a practical point of view, a form of prohibition is advantageous because it can be logically linked to a list (set) of consequences. Following these assumptions, the general form of the behavioural test algorithm was formulated. The presented issues demonstrate complex relationships to space and its integrating rule in relation to legal rules. This approach to law allows for space management using IT methods. The notation of the spatial structure and of legal relationships related to time enable the definition of rules of conduct for diverse groups of local societies. Dissimilarity from equality of law for all and stability over time, occurs in local environments and raises the relationships between community, space and time to a higher level of generality.