FAQ
Logotyp Polskiej Akademii Umiejętności

A formal notation of legal rules applicable in the local space

Data publikacji: 19.12.2024

Geoinformatica Polonica, 2024, Vol. 23 (2024), s. 101 - 112

https://doi.org/10.4467/21995923GP.24.008.20900

Autorzy

,
Anna M. Barańska
Wydział Górnictwa i Geoinżynierii, Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
https://orcid.org/0000-0002-6426-4115 Orcid
Wszystkie publikacje autora →
Konrad Eckes
Państwowa Akademia Nauk Stosowanych im. ks. Bronisława Markiewicza w Jarosławiu
, Polska
https://orcid.org/0000-0002-0220-2277 Orcid
Wszystkie publikacje autora →

Tytuły

A formal notation of legal rules applicable in the local space

Abstrakt

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.

Bibliografia

Pobierz bibliografię

1. Aho, A.V., Hopcroft, J.E., Ullman, J.D. Algorytmy i struktury danych (Algorithms and data structures). Wydawnictwo Helion, Poland, 2003.

2. Banachowski, L., Diks, K., Rytter, W. Algorytmy i struktury danych (Algorithms and data structures). Wydawnictwo Naukowe PWN, Poland, 2023.

3. Cormen, T.H., Leiserson, Ch. E., Rivest, R.L., Clifford, S. Wprowadzenie do algorytmów (Introduction to algorithms). Wydawnictwa Naukowo-Techniczne WNT, Warszawa, Poland, 2001.

4. Ząbek, Ś. Podstawy algorytmizacji i programowania (Fundamentals of algorithmics and programming). Wydawnictwo Uniwersytetu Marii Curie-Skłodowskiej, Lublin, Poland, 2012.

5. Eckes, K. Relacje przestrzenne prawa i ich zapis w postaci formalnej (Spatial relationships of the law and their recording in formal form). Roczniki Geomatyki (Annals of Geomatics), Polskie Towarzystwo Informacji Przestrzennej, 2014; tome 12, notebook. 1, pp. 41–50.

6. Chauvin, T., Stawecki, T., Winczorek, P. Wstęp do prawoznawstwa (Introduction to Jurisprudence). Wyd. C.H. Beck, Poland, 2009.

7. Morawski, L. Wstęp do prawoznawstwa (Introduction to Jurisprudence). Wyd. XVII, Towarzystwo Naukowe Organizacji i Kierownictwa „Dom Organizatora”, Toruń, Poland, 2016.

8. Blikle, A. Automaty i gramatyki. Wstęp do lingwistyki matematycznej (Automata and grammars. Introduction to mathematical linguistics). PWN, Warszawa, Poland, 1971.

9. Cyrul, W., Duda, J., Opiła, J., Pełech-Pilichowski, T. Informatyzacja tekstu prawa. Perspektywy zastosowania języków znacznikowych (Computerisation of legal text. Perspectives on the application of markup languages). Wydawnictwo Wolters Kluwer Polska, 2014.

10. Hadlak, S., Tominski, C., Schulz, H.J., Schumann, H. Visualization of Hierarchies in Space and Time, Conference: Workshop GeoVA(t) – Geospatial Visual Analytics: Focus on Time At: Guimarães, Portugal (https://vca.informatik.uni-rostock.de/~ct/publications/Hadlak10SpaceTimeHierarchies.pdf), 2010.

11. Hinckfuss, I. Time, Space, and Space—Time, 1975.

12. Dobraja, I., Kraak, M. J. Principles of dashboard adaptability to get insights into origin-destination data. Journal of Location Based Services (https://doi.org/10.1080/17489725.2020.1738577), 2020; volume 14(1), pp. 28-48.

Informacje

Informacje: Geoinformatica Polonica, 2024, Vol. 23 (2024), s. 101 - 112

Typ artykułu: Oryginalny artykuł naukowy

Tytuły:

Angielski: A formal notation of legal rules applicable in the local space
Polski: Formalny zapis reguł prawnych obowiązujących w przestrzeni lokalnej

Autorzy

https://orcid.org/0000-0002-6426-4115

Anna M. Barańska
Wydział Górnictwa i Geoinżynierii, Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
https://orcid.org/0000-0002-6426-4115 Orcid
Wszystkie publikacje autora →

Wydział Górnictwa i Geoinżynierii, Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie

https://orcid.org/0000-0002-0220-2277

Konrad Eckes
Państwowa Akademia Nauk Stosowanych im. ks. Bronisława Markiewicza w Jarosławiu
, Polska
https://orcid.org/0000-0002-0220-2277 Orcid
Wszystkie publikacje autora →

Państwowa Akademia Nauk Stosowanych im. ks. Bronisława Markiewicza w Jarosławiu
Polska

Publikacja: 19.12.2024

Status artykułu: Otwarte __T_UNLOCK

Licencja: CC BY  ikona licencji

Udział procentowy autorów:

Anna M. Barańska (Autor) - 50%
Konrad Eckes (Autor) - 50%

Korekty artykułu:

-

Języki publikacji:

Angielski