Proces planowania przestrzennego i przestrzeganie zawartych w Miejscowym Planie Zagospodarowania Przestrzennego (MPZP) warunków jest ważny ze względu na aktualnie dynamiczny rozwój gmin wiejskich i miejskich. Weryfikacja dokumentacji projektowej pod względem zachowania stałych i obowiązujących w całym kraju norm, aktów prawnych i przepisów prawa miejscowego jest oparta na pewnych standardach. W celu usprawnienia procesu weryfikacji dokonywanej przez odpowiednie organy administracji publicznej konieczne jest zbudowanie algorytmów formalnych, które zautomatyzują dotychczasowy sposób kontroli dokumentacji architektoniczno-budowlanej. Przedmiotem niniejszej pracy jest algorytmizacja procesu weryfikacji dokumentacji projektowej dla usprawnienia i w dalszej kolejności automatyzacji tego procesu.
