Fitimet:
- Aftësia për të përdorur inteligjencën artificiale në zgjidhjen e problemeve në tre role të ndryshme si konsulent strategjie, prodhues zgjidhjesh dhe auditor zgjidhjesh, të përshtatshme për nivelin e rrezikut të secilit.
- Aftësia për të kontrolluar sistematikisht çdo hap të një zgjidhjeje duke numëruar, pyetur rregulla, kontroll aritmetik, shuma kontrolluese dhe renditur të gjitha rastet.
- Të jesh në gjendje të verifikosh si rezultatin ashtu edhe zgjidhjen me metoda të pavarura, duke kuptuar se rezultati i saktë nuk nënkupton rrugën e duhur.
Zgjidhja e një problemi matematikor është një zinxhir hapash të ndërlidhur; Nëse ndonjë lidhje në zinxhir prishet, rezultati është i pavlefshëm. Inteligjenca artificiale është shumë e mirë në ndërtimin e shpejtë të këtij zinxhiri – por u takon njerëzve të monitorojnë forcën e zinxhirit. Në këtë njësi, do të mësoni se si të përdorni AI si një partner për zgjidhjen e problemeve dhe, më e rëndësishmja, si të kontrolloni sistematikisht çdo hap të prodhuar. Qëllimi është të përfitoni nga shpejtësia e AI duke mos humbur asnjë gabim.
Së pari, një përkufizim: Verifikimi hap pas hapi është kontrollimi nëse çdo hap i ndërmjetëm i një zgjidhjeje është i saktë një nga një. Në matematikë, "A është rezultati i saktë?" Pyetja nuk mjafton; "A është i saktë çdo hap i ndërmjetëm?" Pyetja është thelbësore. Për shkak se ndonjëherë hapat e gabuar çojnë rastësisht në rezultatin e duhur (një zgjidhje e paqëndrueshme), ndonjëherë një gabim i vetëm aritmetik në një strategji të saktë e prish rezultatin.
Tre role të ndryshme të AI në zgjidhjen e problemeve
Ju mund të përdorni AI në zgjidhjen e problemeve në tre mënyra të ndryshme, dhe secila kërkon një vërtetim të ndryshëm:
- Konsulenti i strategjisë: "Si ta zgjidh këtë problem?" Këtu, AI sugjeron një metodë. Rreziku është i ulët sepse llogaritjet i bëni vetë.
- Gjeneratori i zgjidhjes: "Zgjidhni këtë problem." Rreziku është i lartë sepse edhe strategjia edhe llogaritja vijnë nga AI; Çdo hap duhet të mbikëqyret.
- Kontrolluesi i zgjidhjes: "Kontrollo zgjidhjen time." Është me rrezik mesatar; Inteligjenca artificiale mund të gjejë defekte, por gjithashtu mund të krijojë gabime që nuk ekzistojnë ose të humbasë gabimin e vërtetë.
Qasja më e sigurt zakonisht është të kombinoni 1 dhe 3: merrni strategjinë nga AI, bëni llogaritjen vetë ose me SymPy, më pas bëni kontrollin dhe kontrollin e kryqëzimit të AI.
Hap pas hapi: si të kontrolloni një zgjidhje
1. Numëroni çdo hap. Kërkimi i AI-së për zgjidhjen me hapa të numëruar ju lejon të thoni më pas, "Ka një gabim në hapin 3".
2. Në çdo hap "cili rregull?" zotëri. Lëreni AI të shkruajë se cila rregull, teoremë ose identitet algjebrik përdoret në çdo kalim. Nëse emri i rregullit është i gabuar, hapi është gjithashtu i diskutueshëm.
3. Kontrolloni veçmas aritmetikën. Edhe nëse logjika algjebrike është e saktë, gabimet në numra janë të zakonshme. Rishikoni çdo ndryshim, shumëzim dhe shenjë.
4. Provoni kufijtë dhe përjashtimet. Testoni rezultatin me vlera të thjeshta si x=0, x=1. Nëse formula është e pakuptimtë në këto vlera, ka një gabim.
5. Kthehu mbrapa në të kundërt. Kontrolloni rezultatin e derivatit duke integruar, zëvendësuar rrënjën e ekuacionit, duke shumëzuar faktorizimin përsëri.
6. Kërkoni konsistencën e madhësisë/njësisë. Nëse njësitë nuk mblidhen në problemet e aplikuara (p.sh. shtimi i metrave dhe sekondave), formula është e pasaktë.
Këshillë: "Verifikimi me veprim të kundërt" është mjeti më i fuqishëm i verifikimit në matematikë dhe është pothuajse falas. Nëse keni gjetur rrënjën e një ekuacioni, zëvendësojeni atë; Nëse keni marrë një integral, merrni derivatin e tij; Nëse keni bërë një faktorizim, shumëzoni përsëri. Ky kontroll prej 30 sekondash parandalon orë të tëra drejtimi të gabuar.
Fuqia e sigurimit vjen nga pavarësia e tij nga AI. Kur zëvendësoni një rrënjë, ju bëni një kontroll përcaktues që është plotësisht i pavarur nga ajo që bën AI në procesin e zgjidhjes: ose ekuacioni është i kënaqur ose jo, nuk ka asnjë në mes. Kjo është arsyeja pse verifikimi është shumë më i vlefshëm sesa AI që thotë "sigurisht, e drejtë"; sepse AI mund të përsërisë të njëjtin gabim kur vërteton zgjidhjen e vet, por verifikimi i pavarur është jashtë këtij cikli. Kur mund të jepni një rezultat kritik në dy mënyra të ndryshme të pavarura (p.sh. zëvendësimi dhe SymPy), besimi juaj rritet në mënyrë eksponenciale.
Një klasifikim i gabimeve
Tabela më poshtë përmbledh llojet e gabimeve që shihni më shpesh në zgjidhjet e AI dhe mënyrën për të kapur secilin prej tyre.
Lloji i gabimit
shembull
rrugën e kapjes
gabim i shenjës
Shkrimi −(a−b) = −a−b
Hapja dhe kontrollimi i emrit tim me dorë
gabim aritmetik
7×8 = 54
Konfirmimi me kalkulator/SymPy
rregull i gabuar
harroni rregullin e zinxhirit
"Cili rregull?" për të pyetur
Gabim në terren/përkufizim
merr log (negativ)
Kontrollimi i domenit
Statusi i anashkaluar
Injorimi i diskriminuesit < 0
Listoni të gjitha statuset
Teorema e krijuar
emër i teoremës joekzistente
Konfirmim nga burimi
tre mini kuti
Rasti 1 - Rezultati i duhur, rruga e gabuar. Një student i bëri AI një pyetje limit. AI zbuloi se rezultati ishte 3 - që ishte e saktë - por në hapin e ndërmjetëm përdori rregullin e L'Hôpital ku nuk mund të zbatohej (pa pasigurinë 0/0). Nxënësi pyet "cili rregull zbatohet dhe pse?" Kur u pyet, AI e pranoi gabimin dhe arriti përsëri 3 në mënyrën e duhur. Rezultati ishte i njëjtë, por rruga nuk ishte e qëndrueshme; Udhëtimi u shënua edhe në provim.
Rasti 2 - Rasti i lënë pas dore. Një inxhinier, |2x − 4| = 6 ekuacioni me vlerë absolute u zgjidh me YZ. YZ zgjidhi vetëm 2x − 4 = 6 dhe dha x = 5; Ai anashkaloi gjendjen 2x − 4 = −6 (x = −1). Inxhinieri pyet "sa gjendje ka në vlerë absolute?" Kur pyeta, u shfaq rrënja e dytë. Korrektësia e të dy rrënjëve u konfirmua me zëvendësim.
Rasti 3 — Kontrolli i kryqëzuar gjeti 3 gabime. Një mësues i kërkoi AI të bënte një provë identiteti trigonometrik me 10 hapa. Pastaj ai krahasoi të njëjtën provë hap pas hapi me funksionin e thjeshtimit të SymPy. Ai zbuloi se AI ka aplikuar gabimisht identitetin në 3 nga 10 hapat. Koha totale e kontrollit 12 minuta; Besimi i fituar është i paçmuar.
Katër shabllone të kopjueshëm
1) Zgjidhje e numëruar, e bazuar në rregulla:
Zgjidheni këtë problem: [problem]. Shkruani zgjidhjen me hapa ME NUMËR. Në çdo hap, tregoni emrin e rregullës/teoremës që keni përdorur në kllapa. Mos anashkaloni asnjë hap duke thënë "qartësisht"; tregojnë çdo tranzicion.
2) Mos i detyroni të gjitha gjendjet:
Zgjidheni këtë problem: [problem]. Listoni TË GJITHA rastet e mundshme gjatë zgjidhjes (p.sh. vlera absolute, kuadratike, kufizimet e domenit). Mos anashkaloni asnjë rast; Nëse e kapërceni, arsyetoni pse e kapërceni.
3) Dispozita kërkuese:
Ju gjetët: [rezultati]. Tani VERIFIKOHET këtë rezultat me operacionin e anasjelltë: [diferenco / zëvendëso / shumëzo përsëri]. Tregoni rezultatin e shumës së kontrollit dhe tregoni nëse është në përputhje me problemin origjinal.
4) Kontrolli i orientuar drejt gabimeve:
THJESHT shikoni për gabime në zgjidhjen e mëposhtme. Kontrolloni çdo hap me radhë; kur të gjeni gabimin e parë, shkruani cili hap, çfarë lloj gabimi (shenjë/aritmetike/rregull) dhe cili është i sakti. Krijimi i një zgjidhjeje të re. Zgjidhja: [këtu]
Prompt i dobët / Prompt i fortë
E dobët: "Zgjidh x² − 5x + 6 = 0."
Rezultati: "x = 2 dhe x = 3" - mund të jetë e vërtetë, por nuk do të vini re nëse rasti tek humbet ose faktorizimi është i gabuar.
E fortë: "Zgjidhni ekuacionin x² − 5x + 6 = 0 me faktorizimin dhe formulën diskriminuese; tregoni se të dy metodat japin të njëjtat rrënjë. Më pas jepni secilën rrënjë duke e zëvendësuar në ekuacion."
Rezultati: Dy metoda të pavarura verifikojnë njëra-tjetrën, duke siguruar që rezultati të jetë i saktë. Nëse ka një gabim, të dy metodat do të bien ndesh dhe do ta shihni menjëherë.
Gabimet e zakonshme
- Vetëm duke parë rezultatin. Rezultati i duhur nuk do të thotë një rrugë solide. Kontrolloni gjithashtu rrugën.
- Duke anashkaluar sigurimin. Një zëvendësim/kontroll i derivatit mbrapa 30 sekonda kap shumicën e gabimeve; Mos e neglizhoni.
- Mos listimi i situatave. Lëshimet në vlerë absolute, kufizimet kuadratike, rrënjësore dhe të domenit janë gabimet më të zakonshme.
- Duke i besuar AI për të thënë "pa gabime". UA në rolin e auditorit mund të humbasë gabimin e vërtetë; Syri i njeriut është thelbësor në punën kritike.
- Të jesh i kënaqur me një metodë. Nëse është e mundur, zgjidhni dhe krahasoni duke përdorur dy metoda të pavarura.
Kujdes: Kur inteligjenca artificiale kontrollon zgjidhjen tuaj, ndonjëherë mund të krijojë një "bug" joekzistent dhe t'ju largojë nga zgjidhja juaj e saktë. Pra, kur AI tregon një gabim, ju gjithashtu kontrolloni nëse ai gabim është me të vërtetë një gabim. Auditori gjithashtu mund të jetë i gabuar.
Në përmbledhje
Në zgjidhjen e problemeve, AI luan tre role: këshilltari i strategjisë, gjeneruesi i zgjidhjeve, audituesi i zgjidhjeve. Qasja më e sigurt është të marrësh strategjinë nga AI, të bësh llogaritjet me mjete të pavarura dhe të auditosh sistematikisht çdo hap. Hapat e numëruar, "cili rregull?" pyetja, shuma e kontrollit (operacioni i kundërt), rastet kufitare dhe renditja e të gjitha rasteve janë mjetet bazë për kapjen e gabimeve. Rezultati i duhur nuk do të thotë një rrugë solide; Kontrolloni si rezultatin ashtu edhe rrugën.
Detyra e aplikimit
Zgjidhni një ekuacion kuadratik ose një ekuacion me vlerë absolute. Zgjidheni YZ me shabllonet 1 dhe 2. Më pas: (a) kontrolloni që të gjitha rastet janë mbuluar, (b) siguroni secilën rrënjë duke zëvendësuar, (c) zgjidhni dhe krahasoni përsëri me një metodë të dytë, nëse është e mundur. Nëse gjeni një gabim, vini re se çfarë lloji është (shenjë/aritmetikë/rregull/kusht i anashkaluar).
listë kontrolli
- [ ] E mora zgjidhjen me hapa të numëruar.
- [ ] Unë konfirmova rregullin e përdorur në çdo hap.
- [ ] Unë kam verifikuar që të gjitha rastet e paparashikuara janë adresuar.
- [ ] Unë kontrollova rezultatin me veprim të kundërt (kontroll).
- [ ] Nëse është e mundur, e krahasova me një metodë të dytë.
- [ ] Unë gjithashtu verifikova në mënyrë të pavarur "gabimet" që tregoi AI.