Enhed 1 / 11

Introduktion til kunstig intelligens og verifikationsdisciplin i geologisk teknik

Gevinster:

  • Evne til at skelne, hvor AI sparer realtid i den geologiske ingeniørarbejdsgang, og hvilke beslutninger der bør forblive ingeniørens ansvar
  • Evne til at anvende en disciplin, der krydsvaliderer hvert AI-output med størrelsesorden, geologisk plausibilitet og feltevidens
  • Anerkend risikoen for tvetydighed, hallucinationer og databeskyttelse, og udvikle vanen med at oprette sikre prompter ved at anonymisere konteksten.

Geologisk teknik er et erhverv, hvor vi aldrig helt kan se sandheden under jorden. Et borehul prøver kun et centimeterstykke af mange kilometer land; et geofysisk udsnit er en indirekte skygge; Et kort er en fortolkning af hullerne mellem observationer. Derfor er geologi en disciplin, der i sagens natur arbejder med usikkerhed. Kunstig intelligens (AI; ​​softwaresystemer, der lærer af big data-mønstre og producerer tekst/billeder/tal) er et stærkt værktøj til at håndtere denne usikkerhed, men det er også et værktøj, der farligt kan skjule den samme usikkerhed. Denne enhed lægger de to fundamenter, som hele modulet skal bygges på: hvor i geologi-workflowet producerer AI reel værdi, og hvordan validerer vi hvert output.

Lad os være klare fra begyndelsen: ingen teknik, du lærer i løbet af dette modul, vil erstatte signaturen, feltobservationen og ingeniørbedømmelsen fra en kompetent geologisk ingeniør. Kunstig intelligens er en assistent; Læser hurtigt, skriver hurtigt, fanger mønstre. Men hvis en skråning svigter, et dæmningsfundament kollapser, eller en mineralreserve rapporteres at være større, end den er, ligger ansvaret ikke hos softwaren, men hos ingeniøren, der underskrev den. Du vil se denne sætning igen i forskellige former i hver enhed af modulet, fordi dette er den eneste sandhed inden for sikkerhedskritisk teknik.

Hvor skaber kunstig intelligens værdi i geologisk arbejdsgang?

En geologisk ingeniøruge er groft opdelt i tre typer arbejde: dataforberedelse (logdigitalisering, redigering af feltnoter, tabeloprydning), fortolkning og analyse (litologisk klassificering, korrelation, ressourcevurdering, farevurdering) og kommunikation (rapport, kort, præsentation, korrespondance). AI berører alle tre områder, men dens bidrag og risiko er forskellige i hvert.

Dataforberedelse er det sikreste og mest profitable område inden for kunstig intelligens. Oversættelse af fritekstkernebeskrivelser til en struktureret tabel, standardisering af inkonsistente enheder, markering af outliers i tusindvis af linjer med laboratorieoutput – disse er gentagne, regelbaserede opgaver, der er nemme at verificere. Selvom der er en fejl her, vil det tage minutter at gå tilbage til kilden (rå log) og kontrollere den.

Fortolknings- og analyseområdet har den højeste værdi og den højeste risiko. AI kan foreslå en mulig fejlgeometri fra en boresektion; Dette kan afsløre et mønster, som selv et erfarent øje kan gå glip af. Men den samme model kan med sikkerhed passe til en ikke-eksisterende stratigrafisk enhed (dette fænomen kaldes hallucination: modellen producerer information, der faktisk ikke eksisterer, som om den var ægte). På dette felt er AI en hypotesegenerator, ikke en beslutningstager.

Inden for kommunikation er kunstig intelligens en trækaccelerator. Udarbejder metodeafsnittet i en geoteknisk rapport, et litteraturresumé eller en e-mail på få minutter. Risikoen her er, at opdigtede kilder og forkerte tal kan glide ind i signaturen ubemærket i en flydende tekst.

Validering Disciplin: Tre anker-reglen

Hjertet i dette modul er en enkelt vane: ikke at inkorporere noget AI-output i en ingeniørbeslutning uden at validere den. Vi baserer validering på tre uafhængige ankre.

Første anker — størrelsesorden. Er resultatet nogenlunde inden for den forventede styrke på 10-området? Den hydrauliske ledningsevne af en sand-akvifer er typisk i størrelsesordenen meter pr. dag; Hvis modellen giver kilometer/dag, er der en enheds- eller redigeringsfejl, og den kan forstås uden at gå i detaljer. Den enaksede trykstyrke af en kalksten er i området 30-200 MPa; 3000 MPa er latterligt. Denne kontrol tager sekunder og fanger de fleste fejl.

Andet anker — Geologisk plausibilitet. Er output i overensstemmelse med feltets geologiske historie? Hvis modellen har placeret et ungt alluvium under en marin kalksten, er der enten en omvendt fejl (og dette skal bevises separat), eller også er modellen noget lort. Stratigrafisk sekvens, tektonisk ramme og aflejringsmiljø er plausibilitetsfilteret, som enhver fortolkning skal passere igennem.

Tredje anker — Feltbevis. Dette er det stærkeste anker. Kerneprøve, observation af fremspring, markverifikation. En log-baseret litologifortolkning sammenlignes med kerne taget fra samme dybde. En ændringszone kortlagt ved fjernmåling testes med prøver på flere punkter i marken. Grundsandheden vinder altid.

Tre minietuier: Efter numrene

Case 1 — Tidsbesparelser i log-digitalisering. En ingeniør digitaliserede manuelt 42 scannede (papir) borehulslogfiler fra 1980'erne; Gennemsnitligt 35 minutter pr. log, cirka 24 timer i alt. Med en AI-drevet diagramarbejdsgang reducerede han det første udkast til 6 minutter og brugte den resterende tid til visuel verifikation. Samlet tid faldt til omkring 8 timer; Det kritiske var, at den vundne tid blev brugt på kontrol.

Tilfælde 2 - Fanget hallucination. Da en praktikant fik AI til at opsummere stratigrafien af ​​et felt, indeholdt teksten sætningen "Tuzla Formation fordamper almindeligt i regionen." Der var ingen fordampning på stedet; modellen havde forvekslet oplysninger fra et andet bassin. Det geologiske plausibilitetsfilter (regionens tektoniske ramme var ikke egnet til fordampningsaflejring) fangede fejlen, før rapporten blev underskrevet.

Tilfælde 3 — Enhedsfejl. I en kildeberegning pustede modellen tonnageydelsen op med en faktor på 1000 ved at forveksle massefylden med 2,7 t/m³ i stedet for 2,7 g/cm³ (faktisk er de to ens, men modellens mellemtrin var forkert og pustede resultatet op med en faktor på 1000). Størrelseskontrollen - "denne blok kan ikke være 5 millioner tons, men 5 milliarder tons" - afslørede straks fejlen.

Svag prompt / stærk prompt

Svag prompt:

Opsummer geologien af dette felt og vurder dets mineralpotentiale.[data]

Kraftig prompt:

Din rolle: En senior udforskningsgeolog. Fortolk nedenstående boreoversigt KUN baseret på de angivne data. - Tilføj ikke formationer, mineraler eller aldre, der ikke er i dataene. - Vis den datalinje, du er baseret på, med parentes ud for hver kommentar. - Skriv "data utilstrækkelig", hvor du ikke er sikker, lav ikke et gæt. - Til sidst: lav en separat liste over 3 antagelser, der skal verificeres. Data: [boreoversigt]

Den stærke prompt pålægger modellen tre ting: at holde sig til kilden, indrømme usikkerhed og markere ting, der skal verificeres. Dette afslutter ikke hallucinationen helt, men det gør den synlig.

Fire kopierbare skabeloner

1) Etablering af anonymiseret kontekst:

Jeg har brug for hjælp til en geologisk ingeniøropgave. Feltnavn, koordinater og virksomhedsoplysninger er FORTROLIGE; Jeg vil give dem med repræsentative udtryk som "Felt-A", "X-koordinat". Quest: [quest]. Stol bare på de tekniske data, jeg giver.

2) Tre anmodninger om ankerbekræftelse:

Foretag tre kontroller for følgende output: 1) Størrelsesorden: er hvert tal inden for det forventede interval? Hvis ikke, markér.2) Geologisk plausibilitet: er der en stratigrafisk/tektonisk inkonsistent påstand?3) Verifikationsliste: elementer, der skal bekræftes i felten/laboratoriet.Output: [tekst]

3) Håndhævelse af tvetydighed:

Giv din fortolkning på tre niveauer af tillid: - Høj tillid (direkte understøttet af data) - Medium tillid (rimelig slutning) - Spekulativ (yderligere data påkrævet) Opgave: [opgave]. Data: [data]

4) Beslutning/støtte sondring:

Del følgende opgave op i to:A) Data/udkast til arbejde, som AI'en kan udføre med tillid B) Beslutningspunkter, for hvilke der kræves autoriseret ingeniørgodkendelse Opgavebeskrivelse: [definition]

AIs rolle: Risiko efter missionstype

Opgavetype

AI-bidrag

Risikoniveau

Verifikationstæthed

Log/tabel digitalisering

høj

lav

stikprøvekontrol

Litologi foreløbig klassifikation

høj

medium

Kerne + rimelighed

Ressource/tonnage beregning

medium

høj

Håndkonto + uafhængig

Sikkerhedsbeslutning om hældning/base

begrænset

meget høj

Fuld ingeniørgodkendelse

Beretning/litteraturudkast

høj

medium

kildebekræftelse

Risiko-/katastrofevurdering

begrænset

meget høj

Felt + standard + godkendelse

Tip: For at bestemme risikoniveauet for en opgave, stil et spørgsmål: "Hvad er det værste, der kan ske, hvis dette output er forkert?" Hvis svaret er 'Jeg mister et par minutter', skal du kontrollere let; Hvis "nogen kan komme til skade", skal du behandle outputtet som en hypotese og gennemgå den fulde konstruktionsproces.
Opmærksomhed: Den farligste egenskab ved kunstig intelligens er ikke, at den laver fejl, men at den laver selvsikkert fejl. En flydende, teknisk og pæn tekst betyder ikke, at den er korrekt. Stol på beviser, ikke stil.

Almindelige fejl

  • Forkert flydende for nøjagtighed. Uanset hvor professionel teksten fremstår, bør faktuelle påstande (alder, dannelse, antal, kilde) verificeres uafhængigt.
  • Risikoen skaleres ikke efter opgavetype. Ser på en liquefaction review på samme måde som en e-mail-kladde. Valideringsskalaer med potentiel skade.
  • Indtastning af fortrolige feltdata uden at tænke. Koordinerings-, klassificerings- og reserveoplysninger er kommercielt og juridisk følsomme; anonymisere, før du går ind i det ukontrollerede køretøj.
  • Ignorerer usikkerhed. Bare fordi modellen ser "sikker" ud, betyder det ikke, at usikkerheden forsvinder; Spørg efter rækkevidde og konfidensniveau i stedet for et enkelt pointestimat.
  • Forveksler AI med hensyn til beslutningstagning. Modellen genererer hypoteser; Den ansvarlige ingeniør træffer beslutningen.

Sammenfattende

  • Geologi fungerer i sagens natur med usikkerhed; AI kan både håndtere og farligt skjule denne usikkerhed.
  • Kunstig intelligens er den sikreste og mest rentable i dataforberedelse, den mest værdifulde, men mest risikable i fortolkning/analyse, og acceleratoren i kommunikation.
  • Hvert output valideres mod tre ankre: størrelsesorden, geologisk plausibilitet, feltbevis.
  • Risikoen for et udfald er lig med den skade, det vil forårsage, hvis det er forkert; valideringsskalaer i overensstemmelse hermed.
  • I sikkerhedskritisk teknik er AI-output aldrig en erstatning for autoriseret ingeniørgodkendelse.

Ansøgningsopgave

Angiv fem geologiopgaver, du udfører på en uge fra dit eget job (f.eks. logredigering, korrelation, rapportafsnit, karaktertjek, farenotation). Placer hver på risikoniveau i henhold til tabellen i denne enhed og spørg "hvad er det værste, der ville ske, hvis det var forkert?" Besvar spørgsmålet i én sætning. Skriv derefter en stærk anonymiseret prompt til opgaven med lavest risiko, og prøv den; Kontroller outputtet med tre ankre og bemærk, hvilket anker der har fanget et problem.

tjekliste

  • [ ] Jeg kan skelne, hvor kunstig intelligens producerer sikker og hvor risikabel værdi i geologisk arbejdsgang.
  • [ ] Jeg fik refleksen til at verificere hvert output med størrelsesorden, geologisk plausibilitet og feltbevis.
  • [ ] Risikoniveauet for en opgave ved at spørge "hvad er det værste, der kan ske, hvis det går galt?" Jeg kan afgøre med spørgsmålet.
  • [ ] Jeg ved, hvad hallucinationer og usikkerhed er, og hvordan man gør dem synlige.
  • [ ] Jeg overtog vanen med at oprette en sikker prompt ved at anonymisere fortrolige feltdata.