Preverjanja, ki pokažejo svoje razloge.
Bayesian Logic trditve v dokumentu preveri ob normah in dokazih, ki zanje veljajo. Pokaže vsak korak: določbo, evidenco, pogoj, odločen za ta primer, in vse, kar je moral predpostaviti.
Kaj počne Bayesian Logic
Bayesian Logic prebere besedilo, na primer dokumentacijo za gradbeno dovoljenje, in ga razčleni na trditve, ki jih je mogoče preveriti. Za vsako trditev poišče norme in dokaze, ki se nanjo nanašajo, v stanju na relevantni dan. Za konkretni primer odloči, ali so pogoji posamezne norme izpolnjeni, in iz tega sestavi izid. Vsak izid ima zapisano izpeljavo: določbe in evidence, na katerih temelji, pogoje, ki jih je izločil, in zakaj, ter kaj je privzel. Vrednost, ki jo kdo zgolj navede, ostane prikazana kot navedba, dokler je ne potrdi meritev ali evidenca. Vsaka sprememba znanja, na katerem izid temelji, je zabeležena skupaj s tem, kdo jo je naredil.
S pomočjo umetne inteligence: kjer je treba prebrati določbo ali projektno besedilo, ga prebere jezikovni model. Mehanizem to zabeleži, branje modela pa upošteva z manjšo težo kot pregledano pravilo ali uradno evidenco.
Kako presoja
Predpisi, kot so veljali
Določbe so prebrane v različici, ki je veljala na dan vložitve ali na dan, ki ga navede preverjanje. Vsak izid navede ta dan in njegovo podlago.
Pogoji, odločeni za ta primer
Norma šteje le, kjer njeni pogoji za ta projekt držijo. Vsak pogoj je odločen z navedeno podlago: dejstva projekta, kraj ali običajni primer.
Privzetki so označeni
Kjer dokumentacija molči, je privzet običajni primer. Privzetek je označen kot tak, skupaj s tem, kaj bi odločilo drugače.
Navedba ni meritev
Vrednost, ki jo navede vlagatelj, je prikazana kot navedena. Odloči jo geodetski posnetek, meritev ali uradna evidenca.
Odloči specifičnejša norma
Kjer si norme nasprotujejo, odloči specifičnejša. Druge so prikazane, vsaka z razlogom, zakaj je bila izločena.
Vsaka sprememba je zabeležena
Vsaka sprememba znanja je zabeležena s tem, kdo jo je naredil in zakaj, in jo je mogoče z razlogom popraviti. Nobena verjetnost ni nikoli 1: ugotovljeno dejstvo je prikazano kot preverjeno in ostaja odprto za popravek.
Eno preverjanje, korak za korakom
To je trditev iz dokumentacije za novo enostanovanjsko hišo, preverjena ob občinskem prostorskem načrtu. Stavek je napisan za ta primer. Načrt, lokacija in pravila načrta so iz resničnega projekta. Spodnje sklepanje je izpis mehanizma z dne 28. oktobra 2026. Parcela, naslov in imena so izpuščeni.
Mehanizem izpeljave izpisuje v angleščini. Spodaj je naš prevod, vrstica za vrstico; besedila načrta so izvirna.
»Načrtovana je novogradnja enostanovanjske stavbe etažnosti P (pritličje).«
- Norma
- 84. člen Odloka o občinskem prostorskem načrtu občine Juršinci (Uradni vestnik Občine Juršinci, št. 3/14): »v dolinskih naseljih do največ (K) + P + (1N) s kolenčnim zidom do 0,2 m«
- Izid
- Izpolnjuje normo
- Prikazano kot
- Premalo dokazov, 0,57: etažnost je vlagateljeva navedba
- Na dan
- 31. decembra 2022, datum dokumentacije. Datum vložitve ni bil znan, zato je to predpostavka, navedena ob izidu.
- Pravilo načrta
- Iz določbe ga je prebral model, planer ga še ni pregledal, zato šteje z zanesljivostjo 0,7
Izpeljava, kot jo izpiše mehanizem (prevod)
#1 “Načrtovana je novogradnja enostanovanjske stavbe etažnosti P (pritličje).”
site:example storeys:p: premalo dokazov, 0,57 [predpis]
predpis: Odlok o občinskem prostorskem načrtu občine Juršinci (Uradni vestnik Občine Juršinci, št. 3/14), 52. člen <stran načrta v PIS> (2026-10-26)
predpis: Odlok o občinskem prostorskem načrtu občine Juršinci (Uradni vestnik Občine Juršinci, št. 3/14), 84. člen <stran načrta v PIS> (2026-10-28)
predpis: Odlok o občinskem prostorskem načrtu občine Juršinci (Uradni vestnik Občine Juršinci, št. 3/14), 84. člen <stran načrta v PIS> (2021-08-23)
site:example pogoj “dolinska naselja” (dejstvo): drži [posredovano]
posredovano: vrstica kraja 8 “zone:M:EUP1 is_classified_as:valley_settlement”; Parcela leži v celoti v enoti EUP1, ki jo načrt uvršča med dolinska naselja.
site:example pogoj “slemenska naselja” (dejstvo): ne drži: 'norm:r1|land_use:M:SK' ni primer tega projekta [posredovano]
posredovano: vrstica kraja 8 “zone:M:EUP1 is_classified_as:valley_settlement”; Načrt uvršča enoto EUP1 med dolinska naselja, ne med slemenska. Primer slemenskih naselij zato ne velja.
site:example pogoj “na ravninskem terenu, če predstavlja značilne naselbinske poudarke in ni porušen višinski videz naselja” (dejstvo): ne drži: 'norm:r2|act:opn' ni primer tega projekta [predpostavka]
predpostavka: Izjema zahteva, da je stavba značilen naselbinski poudarek na ravninskem terenu. Običajna pritlična (P) enostanovanjska hiša ni tak poudarek, razen če jo tako predstavi njena dokumentacija, predložena dokumentacija pa tega ne stori. Pogoja zato skupaj ne držita ne glede na teren. Potrebuje: ali DGD stavbo predstavi kot značilni naselbinski poudarek, ali je teren raven in ali višinski videz naselja ostane neokrnjen.
site:example pogoj “teren ali tla ne omogočajo podkletitve” (dejstvo): ne drži: 'norm:r3|act:opn' ni primer tega projekta [predpostavka]
predpostavka: Nič od predloženega ne pravi, da teren ali tla izključujejo klet. Običajno je klet mogoča, razen če geotehnična ugotovitev pokaže drugače. Projekt je zgolj P in te izjeme ne uveljavlja. Potrebuje: geotehnično ali geomehansko poročilo ali navedbo v DGD o tem, ali teren oziroma tla na parceli omogočajo klet.
podlage: 3; presoje: nobene; odprto: nič
privzeto ali predpostavljeno (velja, dokler se ne pokaže drugače): site:example pogoj “na ravninskem terenu, če predstavlja značilne naselbinske poudarke in ni porušen višinski videz naselja”, site:example pogoj “teren ali tla ne omogočajo podkletitve”
- Na čem izid temelji: določba načrta z datumom zapisa ali navedena vrednost.
- Pogoj norme, ki za ta projekt drži.
- Pogoj, ki ne drži, zato norma ni primer tega projekta in je izločena.
[posredovano]odločeno na podlagi posredovanih dejstev projekta ali kraja.[predpostavka]odločeno na podlagi običajnega primera, s tem, kaj bi odločilo drugače (»Potrebuje«).
Na kaj biti pozoren
- Tri vrstice 84. člena za ta projekt ne veljajo in vsaka je izločena s svojo podlago. Vrstica za slemenska naselja je izločena, ker načrt enoto urejanja prostora uvršča med dolinska naselja. Izjemi sta izločeni na podlagi običajnega primera, vsaka s tem, kaj bi jo odločilo.
- Norma je izpolnjena, a izid se glasi »premalo dokazov«. Etažnost je vlagateljeva navedba in Bayesian navedbo prikaže kot navedbo. Odločila bi jo izmerjena vrednost ali evidenca.
- Dan je del izida: načrt je uporabljen v različici, ki je veljala na ta dan.
Druga trditev: faktor zazidanosti (FZ)
»Faktor zazidanosti gradbene parcele je 0,19.«
- Norma
- 84. člen istega načrta: »pri stanovanjskih in drugih stavbah do vrednosti 0,4«
- Izid
- 0,19 ≤ 0,4: izpolnjuje normo
- Prikazano kot
- Premalo dokazov, 0,70: vrednost je navedel vlagatelj
- Upoštevano tudi
- Povečanje do 0,6 je dopustno le, če so zagotovljeni pogoji o odmikih, legi in varnosti dostopa. Ti pogoji niso odločeni, zato odloči strožja meja. Vrstici za kmetije sta izločeni na podlagi običajnega primera, vrstica za dozidavo pa na podlagi dejstev projekta.
#2 “Faktor zazidanosti gradbene parcele je 0,19.”
site:example fz:0.19: premalo dokazov, 0,70 [navedeno]
navedel vlagatelj: 0,19
predpis: Odlok o občinskem prostorskem načrtu občine Juršinci (Uradni vestnik Občine Juršinci, št. 3/14), 84. člen <stran načrta v PIS> (2021-08-23)
site:example pogoj “stanovanjske in druge stavbe” (dejstvo): drži [posredovano]
posredovano: dejstvo projekta 0 “Načrtovana je novogradnja enostanovanjske stavbe etažnosti P (pritličje).”; Projekt je enostanovanjska hiša, torej stanovanjska stavba. Pogoj norme ≤ 0,4 je zato izpolnjen.
site:example pogoj “kmetije” (dejstvo): ne drži: 'norm:r8|land_use:M:SK' ni primer tega projekta [predpostavka]
predpostavka: Dokumentacija opisuje novo enostanovanjsko hišo in o kmetiji ne pove ničesar. Enostanovanjska hiša ni kmetija, razen če dokumentacija tako navaja. Potrebuje: ali DGD navaja, da je hiša del kmetije, npr. kmečka hiša z gospodarskimi poslopji.
site:example pogoj “kmetije, če so zagotovljeni pogoji o odmikih, legi, varnosti dostopa” (dejstvo): ne drži: 'norm:r9|land_use:M:SK' ni primer tega projekta [predpostavka]
predpostavka: dejstvo projekta 0 “Načrtovana je novogradnja enostanovanjske stavbe etažnosti P (pritličje).”; Ta norma velja le za kmetije. Dokumentacija projekt opisuje kot novo enostanovanjsko hišo in ne pove, da je kmetija ali del nje, zato velja običajni primer, da ni kmetija. Ker pogoj kmetije ne drži, pogoji o odmikih, legi in varnosti dostopa tu niso pomembni. Potrebuje: navedbo v dokumentaciji, ali je hiša kmetijska stavba ali del kmetije.
site:example pogoj “dozidava” (dejstvo): ne drži: 'norm:r10|act:opn' ni primer tega projekta [posredovano]
posredovano: dejstvo projekta 0 “Načrtovana je novogradnja enostanovanjske stavbe”; Dokumentacija projekt opisuje kot novogradnjo, ne kot dozidavo obstoječe stavbe. Pogoj dozidave iz 52. člena zato za ta projekt ne velja.
podlage: 3; presoje: nobene; odprto: nič
privzeto ali predpostavljeno (velja, dokler se ne pokaže drugače): site:example pogoj “kmetije”, site:example pogoj “kmetije, če so zagotovljeni pogoji o odmikih, legi, varnosti dostopa”
Ista dva preverjanja, kot ju vrne API: storeys.json, fz.json.
Regulativne predhodne ocene z Luma Intelligence
Luma Intelligence, GEATEH-ova storitev za presojo lokacij in gradbenih projektov s pomočjo umetne inteligence, pilotno uporablja Bayesian Logic kot mehanizem za presojo pravil v svojih regulativnih predhodnih ocenah. Luma priskrbi projektno dokumentacijo, pravila občinskega prostorskega akta z lokacijsko kartico in besedila državnih predpisov v različici, ki je veljala na dan vložitve. Bayesian ugotovi, katere norme veljajo za projekt, ali je vsaka izpolnjena in na kakšni podlagi, pri čemer je vsak korak sledljiv do določbe, na kateri temelji. Lumino poročilo izid razloži v razumljivem jeziku: gre za predhodno oceno s človeško potrditvijo, nikoli za odločbo o dovoljenju.
V pilotu je bila dokumentacija resničnega projekta za pridobitev gradbenega dovoljenja v celoti preverjena ob občinskem prostorskem načrtu in državnih predpisih; izidi so se ujemali z neodvisnim pregledom. Preverjanje traja nekaj minut, ne ur.
Neodvisnost
Oglasov ni in noben sponzor ne izbira, kaj se preverja. Izida ni mogoče kupiti: kdo naroči preverjanje, ne spremeni tega, kar preverjanje ugotovi, in ob izidu je vedno prikazana celotna veriga razlogov.
API
Bayesian deluje kot storitev s HTTP API. Klicatelj preverjanje zažene kot opravilo in priskrbi lastna dejstva: dokumente, pravila načrta s stanjem njihovega pregleda in besedila določb. Odgovori na vprašanja, ki jih preverjanje odpre, in vsak izid prebere z izpeljavo, dnem, na katerega je bil presojen, in različico znanja, ki jo je uporabil.
Dostop do API je na voljo partnerjem na zahtevo.