Unità 1 / 12

Introduzzjoni għall-Intelliġenza Artifiċjali fl-Inġinerija tal-Minjieri: Konfini, Validazzjoni, Responsabbiltà u Etika

Qligħ:

  • Kapaċità li tiddistingwi fejn l-AI tiffranka ħin reali fil-fluss tax-xogħol tal-inġinerija tal-minjieri u fejn ir-responsabbiltà kritika għas-sikurezza għandha tibqa’ f’idejn l-inġinier kompetenti, skont il-livell ta’ riskju
  • Kapaċità li timplimenta dixxiplina ta' validazzjoni b'ħafna saffi li tittestja kull output AI kontra kalkolu standard u indipendenti u kejl fuq il-post
  • Kapaċità li anonimizza l-kuntest u takkwista d-drawwa li tagħżel vetturi sikuri biex tipproteġi d-dejta tar-riżerva, l-informazzjoni tal-liċenzja u d-dejta tal-persunal/tal-produzzjoni

Ix-xogħol ta 'inġinier tal-minjieri huwa li jgħolli l-inċertezza taħt l-art bid-deċiżjonijiet fuq l-art. L-istima tal-korp tal-minerali mid-dejta tat-tħaffir, il-kalkolu tar-riżerva, l-ippjanar tal-fossa, il-ġestjoni tal-flotta tat-tagħmir, il-monitoraġġ tal-imġieba tal-inklinazzjoni, l-iżgurar tas-sigurtà fuq il-post tax-xogħol, il-kejl tal-impatt ambjentali u r-rappurtar ta 'dawn kollha skont il-leġiżlazzjoni. Il-karatteristika komuni ta 'dawn l-impjiegi hija li jaħdmu b'numru kbir ta' kejl u dejta, iżda kull deċiżjoni tirriżulta f'ħajjiet umani, miljuni ta 'lira ta' investiment u konsegwenzi ambjentali irriversibbli fil-qasam. L-intelliġenza artifiċjali (AI fil-qosor; sistemi ta' softwer li jaħdmu fuq test, numri u immaġini b'mudelli ta' data kbira u lingwa) hija għajnuna qawwija f'dan il-bażi intensiva fid-dejta iżda kritika għad-deċiżjonijiet. Din l-unità tgħallem fejn tuża b'mod sikur l-AI fil-minjieri, fejn hija perikoluża, u għaliex trid tivvalida kull output tal-AI kontra standards, kejl fuq il-post, u ġudizzju tal-inġinerija.

Il-prinċipju ċentrali li se tuża matul dan il-modulu huwa: AI hija assistent, mhux persuna li tieħu d-deċiżjonijiet. Valur ta 'grad (proporzjon tal-metall fil-mineral), angolu ta' inklinazzjoni, figura ta 'riżerva, limitu ta' sigurtà jew artikolu leġiżlattiv ma jsirux minnu sempliċement għaliex "AI qal hekk"; Hija sempliċement ipoteżi sakemm tiġi vverifikata b'kejl, referenza, u ġudizzju ta' inġinier kompetenti. Din is-sentenza terġa 'tara f'kull unità tal-modulu, għaliex fil-minjieri, numru żbaljat ħafna drabi jfisser il-kollass ta' investiment, il-kollass ta 'inklinazzjoni, jew il-korriment ta' persuna.

X'inhu LLM u x'jagħmel fil-minjieri?

LLM (Large Language Model) huwa softwer li jitgħallem mudelli minn biċċiet kbar ħafna ta 'test u jbassar il-"kelma li jmiss" ibbażata fuq il-probabbiltà. Din hija l-magna ta 'għodod bħal ChatGPT, Claude, Gemini. Il-punt huwa dan: LLM huwa "stimatur tal-lingwa", mhux "bażi ta' għarfien". Jitkellem it-terminoloġija tal-minjieri b'mod fluwenti, iżda ma jkejjelx grad; jipproduċi n-numru li jidher l-aktar probabbli. Għalhekk, hu jew hi jista' jagħti tweġibiet kunfidenti iżda mhux korretti dwar il-grad medju, ir-rata ta' tqaxxir, klawżola regolatorja, jew limitu splussiv. Din tissejjaħ alluċinazzjoni (fabbrikazzjoni). L-alluċinazzjoni mhijiex funzjoni ħażina, iżda karatteristika inerenti ta 'din it-teknoloġija; Għalhekk, il-verifika mhijiex "pass addizzjonali" iżda parti integrali tax-xogħol.

Kompiti fejn l-AI hija b'saħħitha fil-minjieri:

  • Spjegazzjoni u tagħlim tal-kunċett: x'inhu variogram, kif taħdem ir-regola tal-ingranaġġ, kif iseħħ id-drenaġġ tal-minjieri tal-aċidu.
  • Tindif u organizzazzjoni tad-dejta: iddawwar zkuk tal-borehole mferrxa f'tabella koerenti, li tinqabad nuqqas ta 'qbil tal-unità.
  • Ġenerazzjoni ta 'lista ta' ipoteżi: lista sistematika ta 'kawżi possibbli ta' tnaqqis fil-produzzjoni.
  • Kodifikazzjoni: skripts ta' tindif tad-dejta, grafika, ġeostatistika u analiżi ta' anomaliji b'Python.
  • Abbozz ta' test: JSA (analiżi tas-sikurezza tax-xogħol), rapport ta' monitoraġġ ambjentali, abbozz ta' offerta/speċifikazzjoni teknika.
  • Brainstorm: paragun ta’ xenarju, ideat ta’ pjan ta’ esperiment/kejl.

Fejn l-AI hija dgħajfa u riskjuża:

  • Tingħata valur numeriku eżatt (grad, riżerva, angolu tal-inklinazzjoni, valur tal-limitu).
  • Leġislazzjoni attwali u speċifika/artiklu standard u informazzjoni dwar il-verżjoni.
  • Dijanjosi mingħajr data tal-kejl attwali tas-sit tiegħek.
  • Deċiżjoni kritika għas-sigurtà: approvazzjoni tad-disinn tal-blast, deċiżjoni ta 'evakwazzjoni, servizz.

Klassifikazzjoni bbażata fuq ir-riskju: il-filtru qabel ma tuża AI

Mhux kull kompitu huwa fl-istess livell ta 'riskju. Ikklassifika l-kompitu skont il-livell tar-riskju qabel tuża l-AI. It-tabella hawn taħt tipprovdi qafas ta’ deċiżjoni li se tuża matul dan il-modulu.

Livell tar-riskju

kampjun kompitu

Rwol AI

Verifika obbligatorja

baxx

Spjegazzjoni tal-kunċett, abbozz ta' test, skeletru tal-kodiċi

użu ħieles

Ir-reviżjoni hija biżżejjed

medju

Tindif tad-dejta, lista ta 'ipoteżi, setup ta' kalkolu

Abbozz/ko-awtur

Kontroll manwali + konferma tas-sors

għolja

Stima tar-riżerva, limitu tal-fossa, parametru tal-blasting

ġeneratur tal-idea

Standard + kejl fuq il-post + softwer

kritika

Deċiżjoni ta 'evakwazzjoni, sigurtà tal-inklinazzjoni, deċiżjoni ta' servizz/adegwatezza

Abbozz/scan biss

Approvazzjoni ta' inġinier kompetenti + ittestjar akkreditat

Tip: Jekk immarkajt kompitu bħala "kritiku", l-output tal-AI qatt ma jkun id-dokument finali. L-iktar jista' jkun abbozz preliminari jew lista ta' kontroll; L-inġinier kompetenti jieħu l-firma u r-responsabbiltà.

Fluss minn tarf sa tarf: daħħal l-AI fil-fluss tax-xogħol tiegħek

Ċiklu tipiku ta’ soluzzjoni tal-problemi fil-minjieri jmur hekk, bl-AI tidħol f’kull pass iżda ma tagħlaq l-ebda wieħed minnhom waħdu:

  1. Iddefinixxi l-problema: X'għandek tbassar, liema deċiżjoni tieħu, liema restrizzjoni hemm? (AI: tiċċara l-mistoqsija.)
  2. Iġbor u naddaf data: Tħaffir, produzzjoni, monitoraġġ, data tal-laboratorju. (AI: qawwija fit-tindif u l-iċċekkjar tal-inkonsistenza.)
  3. Iġġenera ipoteżijiet/xenarji: Kawżi possibbli, pjanijiet alternattivi. (AI: tipproduċi lista sistematika.)
  4. Analizza: Kalkolu, ġeostatistika, mudell, ipproċessar tal-immaġni. (AI: jiġġenera kodiċi u finzjoni tal-kalkolu.)
  5. Ivverifika: Standard, qasam, kont waħdu, softwer. (L-AI tinsab fuq il-ġenb; il-bnedmin u l-kejl jiddeċiedu.)
  6. Irrapporta u tiddeċiedi: L-inġinier kompetenti jieħu r-responsabbiltà. (AI: kittieb tal-abbozz.)

Żomm f'moħħok dawn is-sitt passi; il-bqija tal-modulu jurik kif tuża l-AI b'kompiti konkreti tal-minjieri, pass pass.

tliet każijiet żgħar

Każ 1 — Grad medju magħmul. Intern jistaqsi lill-għodda taċ-chat AI dwar il-grad medju ta 'proġett tar-ram; AI tgħid "madwar 0.65% Cu." L-intern ipoġġi dan fil-preżentazzjoni tal-investiment. Madankollu, AI ma ratx data waħda ta 'tħaffir ta' dan il-proġett; ipproduċa numru tipiku għall-"proġett tar-ram". Il-valur reali ġej biss mid-dejta tat-tħaffir kompost tal-proġett stess u l-istima ġeostatistika; Il-valur reali f'dan il-proġett huwa 0.38%. Id-differenza hija d-differenza bejn l-investiment li jidher li jagħmel qligħ u li jagħmel telf. L-attitudni korretta hija li qatt "titlob" il-grad għall-AI, iżda tikkalkulaha mid-database tiegħek stess.

Każ 2 — Klawżola ta' regolament ineżistenti. Inġinier jistaqsi lill-AI il-vibrazzjoni massima tal-art (PPV: l-ogħla veloċità tal-partiċelli, mm/s) permessa fl-ibblastjar. L-AI tgħid "10 mm/s skont ir-regolament" u tagħmel numru tal-oġġett. L-inġinier jikteb ir-rapport kif xieraq. Matul l-ispezzjoni, huwa żvelat li n-numru tal-oġġett mhuwiex reali u l-valur tal-limitu jvarja skont id-distanza u t-tip tal-bini. L-attitudni korretta hija li tiftaħ ir-regolament attwali mis-sors uffiċjali u tikkonferma l-valur u s-sustanza. Anke jekk l-AI tkun taf l-isem tar-regolament b'mod korrett, tista 'talluċina n-numru ta' l-artikolu.

Każ 3 — Użu korrett. Ġeologu jissuspetta diskrepanza fil-kolonna tal-grad f'sett ta 'dejta ta' 40 toqba. Jgħid lill-AI biex "elenka r-ringieli f'din it-tabella li jista 'jkollhom inkonsistenzi ta' unità, valuri negattivi, outliers viżibbli, u ċelloli vojta, u ikteb dak li tissuspetta għal kull wieħed; TIKKORREĠIXX, immarka biss." L-AI timmarka ftit linji mħallta b'% mħallta ma 'ppm, żewġ gradi negattivi, u valur ta' kodiċi 999. Il-ġeologu jiċċekkja u jikkoreġi dawn wieħed wieħed miż-zkuk mhux maħduma. Hawnhekk l-AI intużat b'mod korrett: ġibdet l-attenzjoni, il-bniedem ħa d-deċiżjoni u l-korrezzjoni.

Mudelli fil-pront kopjabbli

Tista' tuża l-mudelli hawn taħt billi tadattahom għan-negozju tiegħek stess. F'kull wieħed minnhom, hemm struzzjoni konxja biex "tagħti numru eżatt, indika s-sors, tispjega l-inċertezza".

RWOL U MOLLA TAL-CONFINI "Rwol: Int assistent ta' inġinier tal-minjieri b'esperjenza. Kompitu: [ekteb is-suġġett]. Regoli: Meta tagħti l-valur numeriku eżatt (grad, riżerva, limitu), speċifika s-SORS; jekk m'intix ċert, għid 'għandu jiġi vverifikat'. Jekk tagħti regolament/artiklu standard, agħtih bil-verżjoni tiegħu, iżda fakkar it-tweġiba mill-aħħar, ikteb is-sors uffiċjali tiegħu. 'dak li jeħtieġ li jiġi vverifikat permezz ta' kejl/kalkolu fuq il-post' oġġett b'oġġett."

MUDELL TA' ĠENERAZZJONI TA' IPOTEŻI"Ipproduċi lista sistematika ta' raġunijiet possibbli għas-sitwazzjoni li ġejja: [iddeskrivi s-sitwazzjoni; x'kien osservat, liema dejta hija disponibbli]. Għal kull ipoteżi: (1) liema evidenza tappoġġjaha, (2) liema kejl jew kalkolu għandu jsir biex tikkonferma/jiċħadha. Agħmel dijanjosi definittiva; ipproduċi pjan direzzjonali ta' investigazzjoni."

MUDELL TAL-LISTA TA' VERIFIKA "Elenka KULL valur numeriku u KULL regolament/referenza standard fl-abbozz tar-rapport hawn taħt. Għal kull wieħed, indika minn liema sors (dejta dwar it-tħaffir waħdu, test regolatorju, rapport tal-laboratorju, stħarriġ fuq il-post) għandu jiġi vverifikat. Iġbor dawk ta 'oriġini inċerta taħt 'ma jistgħux jintużaw mingħajr verifika'. Test: [pejst]."

ANONIMIZZAZZJONI MUDELL TA' KONTROLL "Qabel ma nagħti t-test li ġej lil għodda tal-AI, sigriet kummerċjali tal-bandiera jew partijiet sensittivi personali/regolatorji: numri ta' riżerva, numru tal-liċenzja, koordinati attwali, ismijiet tal-klijenti/persunal, dejta tal-kostijiet kunfidenzjali. Issuġġerixxi kif nista' anonimizza dawn. Test: [paste]."

Pront dgħajjef / Pront qawwi

Jekk tistaqsi l-istess mistoqsija b'żewġ modi se tagħti riżultati differenti ħafna.

PROMPT DGĦAJF: "Kemm hija r-riżerva ta 'din il-minjiera?"

PROMPT B'SĦIĦ: "Rwol: Int l-assistent ġeologu tar-riżorsi. Spjega minn liema passi trid tgħaddi stima ta' riżerva/riżorsi (komposizzjoni, variogramma, kriging, klassifikazzjoni, limitu ekonomiku) u liema dejta u l-approvazzjoni ta' liema persuna kompetenti hija meħtieġa f'kull pass. TAGĦTIX numru ta' riżerva EŻATT; enfasizza li din tista' tiġi rrapportata biss bħala dejta proprja minn kodiċi tal-proġett. JORC/UMREK."

Pront dgħajfa jistieden lill-AI biex tpatti; Il-pront qawwi jżommha fix-xogħol it-tajjeb (deskrizzjoni tal-proċess) u jipprevjeni l-alluċinazzjoni diġitali milli sseħħ fl-ewwel lok.

Żbalji komuni

  • "Jitlob" lill-AI għal numri speċifiċi għall-kors bħal grad, riżerva, eċċ. AI ma tafx id-dejta tiegħek; dawn in-numri huma kkalkulati biss mid-database tiegħek stess.
  • L-użu tal-leġiżlazzjoni/klawżola standard mingħajr ma tikkonfermaha. In-numru tal-oġġett u l-valur huma spiss alluċinati.
  • Tibbaża deċiżjoni kritika għas-sikurezza fuq l-output tal-AI. Id-deċiżjonijiet dwar l-evakwazzjoni, l-approvazzjoni tal-blasting u t-tħaddim jittieħdu mill-inġinier kompetenti.
  • Twaħħal data sensittiva fl-għodda tal-cloud mingħajr ma tiġi anonimizzata. Id-dejta tar-riżerva, il-koordinazzjoni u l-ispiża huma sigrieti kummerċjali.
  • Stennija għal mistoqsija waħda u tweġiba waħda. Uża l-AI b'mod iterattiv: iġġenera abbozzi, tikkritika, ivverifika, tikkoreġi.
Attenzjoni: Iktar ma jidher numru preċiż u kunfidenti f'output AI, iktar ikun għoli l-ħtieġa għall-verifika. Il-preċiżjoni mhix garanzija ta 'eżattezza.

Fil-qosor

F'din l-unità rajt li l-AI hija assistent fil-minjieri, mhux persuna li tieħu d-deċiżjonijiet. LLMs huma tbassir tal-lingwa; Hija qawwija fl-ispjegazzjoni tal-kunċett, it-tindif tad-dejta, l-ipoteżi u l-ġenerazzjoni tal-kodiċi, iżda riskjuża fil-produzzjoni ta 'numri u leġiżlazzjoni preċiżi (alluċinazzjoni). Ikklassifika l-kompiti bħala baxxi/medju/għoli/kritiċi u aġġusta l-fond tal-verifika kif xieraq. Ivverifika kull valur numeriku mid-dejta tiegħek jew il-kejl tal-qasam, kull referenza regolatorja mis-sors uffiċjali. Deċiżjonijiet kritiċi għas-sigurtà dejjem jibqgħu f'idejn l-inġinier kompetenti u anonimizzaw data sensittiva qabel l-użu.

Kompitu ta' applikazzjoni

Agħżel ħames kompiti min-negozju tiegħek stess (jew proġett fittizju tal-minjieri): deskrizzjoni tal-kunċett, tindif tad-dejta, lista ta 'ipoteżi, valur ta' riżerva/numeriku, u mistoqsija regolatorja. Poġġi kull wieħed fit-tabella tar-riskju hawn fuq. Imbagħad jesternalizza żewġ kompiti ta' riskju baxx/medju lill-AI bil-mudell "Rwol u limitu" u mmarka kull element numeriku/regolatorju tal-output bil-mudell "Lista ta' kontroll tal-Verifika". Ikteb liema elementi ma jistgħux jintużaw mingħajr verifika.

lista ta' kontroll

  • [ ] Poġġejt il-missjoni f'livell ta' riskju (baxx/medju/għoli/kritiku) qabel ma nużaha.
  • [ ] I kkalkolat numri speċifiċi għall-qasam bħal grad, riżerva, eċċ mir-rendiment tiegħi stess minflok staqsejt lill-AI.
  • [ ] Ivverifikajt kull leġiżlazzjoni/referenza standard mis-sors uffiċjali.
  • [ ] I anonimizzat data sensittiva (riżerva, koordinati, isem, spiża).
  • [ ] Ħallejt id-deċiżjoni kritika għas-sikurezza għall-approvazzjoni ta' inġinier kompetenti, mhux ibbażata fuq l-output tal-AI.
  • [ ] Skennjt kull valur numeriku fl-output AI għal "ma jistax jintuża mingħajr verifika".