Formalny zapis reguł prawnych obowiązujących w przestrzeni lokalnej
cytuj
pobierz pliki
RIS BIB ENDNOTEWybierz format
RIS BIB ENDNOTEData publikacji: 19.12.2024
Geoinformatica Polonica, 2024, Vol. 23 (2024), s. 101 - 112
https://doi.org/10.4467/21995923GP.24.008.20900Autorzy
A formal notation of legal rules applicable in the local space
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.
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: Geoinformatica Polonica, 2024, Vol. 23 (2024), s. 101 - 112
Typ artykułu: Oryginalny artykuł naukowy
Tytuły:
Wydział Górnictwa i Geoinżynierii,
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
Państwowa Akademia Nauk Stosowanych im. ks. Bronisława Markiewicza w Jarosławiu
Polska
Publikacja: 19.12.2024
Status artykułu: Otwarte
Licencja: CC BY
Udział procentowy autorów:
Korekty artykułu:
-Języki publikacji:
AngielskiLiczba wyświetleń: 11
Liczba pobrań: 6