Постановка проблеми. Тривала криза в Україні негативно впливає на всі сфери людської діяльності, в тому числі і на земельні відносини. Аналіз законодавчої бази з урахуванням думок органів державної влади і науковців, які займались цим питанням, показує, що вона має ряд недоліків.По-перше, окремі закони про землю слабо пов'язані між собою. наприклад, згідно закону України «Про особливості здійснення права власності у багатоквартирному будинку» та змін до частини другої статті 42 Земельного кодексу України, передбачено, що земельні ділянки, на яких розташовані багатоквартирні будинки, а також належні до них будівлі, споруди та прибудинкова територія, що перебувають у спільній сумісній власності власників квартир та нежитлових приміщень у будинку об'єднання співвласників мають безоплатно отримати у власність або в постійне користування співвласникам багатоквартирного будинку в порядку, встановленому Кабінетом Міністрів України.Проте, станом на сьогоднішній день об'єднання співвласників багатоквартирного будинку не можуть цього зробити. Унеможливлює дану дію протиріччя, яке виникає через те, що пунктом 1 статті 42 Земельного кодексу визначено, що земельні ділянки, на яких розташовані багатоквартирні будинки, а також належні до них будівлі, споруди та прибудинкові території державної або комунальної власності, надаються в постійне користування підприємствам, установам і організаціям, які здійснюють управління цими будинками, тобто компаніям-управителям [1, с. 1].По-друге, окремі положення, наприклад, словосполучення «та інше», викликає суперечливі трактування закону.По-третє, відсутність комплексного положення, спрямовані на організацію земельних відносин на основі сучасних IT-технологій і насамперед це геоінформаційні технології, які є ключем до планування та управління земельними ресурсами, а також є необхідним інструментом при розробці систем підтримки прийняття рішень в стійкому управлінні земельними ресурсами та розробці політики їх використання [2, с. 607]. Перераховані недоліки законів України про землеустрій обумовлюють хаотичний характер відносин на місцях, між власниками землі. Крім того, існуюча організація земельних відносин породжує бюрократичні зволікання і призводить до корумпованості чиновників.Ці недоліки в організації земельних відносин та існуючої системи земельних відносинах обумовлюють актуальність створення систем підтримки прийняття рішень в сфері землеустрою. Разом з тим, створення таких систем вимагає детального аналізу земельних відносин на різних рівнях державного управління та розробки їх математичного забезпечення [3, с. 63].Через це актуальним є використання методів системного аналізу, серед яких найбільш перспективним, в даному випадку, є метод формалізації Аналіз останніх досліджень і публікацій. На даний момент часу, в сфері землеустрою та права загалом, вчені використовують методи формалізації [4, с. 18; 5, с. 86; 6, с. 42]. Але на жаль вибудувані ними логічні силогізми, зазвичай, представлені на вербальному рівні, що створює певні труднощі при їх формалізації.
