Girdeji:
- Meseleleri çözmekde emeli intellektiň strategiýa geňeşçisi, çözgüt öndürijisi we çözgüt auditory hökmünde hersiniň töwekgelçilik derejesine laýyk ulanylmagy.
- Çözüwiň her ädimini sanlamak, düzgün gözlemek, arifmetiki barlamak, barlaglar we ähli hadysalary sanamak arkaly yzygiderli barlamak ukyby.
- Netijäni we çözgüdi garaşsyz usullar bilen barlap bilmek, dogry netijäniň dogry ýoly aňlatmaýandygyna düşünmek.
Matematiki meseläniň çözgüdi biri-birine bagly ädimleriň zynjyrydyr; Zynjyryň haýsydyr bir baglanyşygy döwülse, netije nädogry. AI bu zynjyry çalt gurmakda gaty ökde - ýöne zynjyryň berkligine gözegçilik etmek adamlara bagly. Bu bölümde AI-ni meseläni çözýän hyzmatdaş hökmünde ulanmagy we has möhümi, öndürilen her ädimi yzygiderli dolandyrmagy öwrenersiňiz. Maksat AI-iň tizliginden peýdalanmak, ýalňyşlyklary ýitirmezlikdir.
Ilki bilen kesgitleme: stepdimme-ädim barlamak çözgüdiň her aralyk ädiminiň birin-birin dogrudygyny barlamakdyr. Matematikada "Netije dogrymy?" Sorag ýeterlik däl; "Her aralyk ädim dogrymy?" Sorag möhümdir. Sebäbi käwagt nädogry ädimler tötänleýin dogry netijä (durnuksyz çözgüt) eltýär, käwagt dogry strategiýadaky ýekeje arifmetiki ýalňyşlyk netijäni bozýar.
Meseläni çözmekde AI-iň üç dürli roly
AI-ni meseläni çözmekde üç dürli usulda ulanyp bilersiňiz we olaryň hersi başga bir tassyklamany talap edýär:
- Strategiýa boýunça geňeşçi: "Bu meseläni nädip çözmeli?" Bu ýerde AI usuly teklip edýär. Töwekgelçilik pes, sebäbi hasaplamalary özüňiz edýärsiňiz.
- Çözüw generatory: "Bu meseläni çözüň." Töwekgelçilik ýokary, sebäbi strategiýa hem, hasaplama hem AI-den gelýär; Her ädim gözegçilik edilmelidir.
- Çözüw barlaýjy: "Çözüwimi barlaň." Bu orta töwekgelçilikdir; AI kemçilikleri tapyp biler, ýöne ýok bolan ýa-da hakyky ýalňyşlygy sypdyrmaýan kemçilikleri hem düzüp biler.
Iň ygtybarly çemeleşme, adatça 1 we 3-ni birleşdirmekdir: AI-den strategiýany alyň, hasaplamany özüňiz ýa-da SymPy bilen ýerine ýetiriň, soňra AI barlaň we kesiň.
Stepdimme-ädim: çözgüdi nädip barlamaly
1. Her ädimi sanlaň. AI-den sanly ädimlerde çözgüt soramak, soň "3-nji ädimde ýalňyşlyk bar" diýmäge mümkinçilik berýär.
2. Her ädimde "haýsy düzgün?" jenap. AI-den her geçişde haýsy algebraik düzgüniň, teoremanyň ýa-da şahsyýetiň ulanylýandygyny ýazmagyny haýyş ediň. Düzgüniň ady nädogry bolsa, ädim hem şübheli.
3. Arifmetikany aýratyn barlaň. Algebraik logika dogry bolsa-da, san ýalňyşlyklary köp bolýar. Her goşmaçany, köpeltmegi we üýtgeşmäni gözden geçiriň.
4. Çäkleri we kadadan çykmalary synap görüň. Netijäni x = 0, x = 1 ýaly ýönekeý bahalarda barlaň. Formula bu bahalarda manysyz bolsa, ýalňyşlyk bar.
5. Tersine yza gaýdyň. Birleşmäniň, deňlemäniň köküni çalyşmak, faktorlaşdyrmagy yzyna köpeltmek arkaly emele gelen netijäni barlaň.
6. Ölçeg / birlik yzygiderliligini gözläň. Bölümler amaly meselelere goşulmasa (meselem, metr we sekunt goşmak), formula nädogry.
Maslahat: "Ters amal bilen barlamak" matematikanyň iň güýçli barlag guraly we mugt diýen ýaly. Bir deňlemäniň köküni tapsaňyz, ony çalyşyň; Bitewi bir zat alan bolsaň, onuň emele gelenini al; Faktorizasiýa eden bolsaňyz, köpeliň. Bu 30 sekuntlyk barlag birnäçe sagatlap nädogry ugruň öňüni alýar.
Üpjün etmegiň güýji, AI-den garaşsyzlygyndan gelýär. Kök çalşanyňyzda, AI-iň çözgüt prosesinde edýän zatlaryndan düýbünden garaşsyz kesgitleýji kesgitlemäni barlaýarsyňyz: ýa deňleme kanagatlandyrylýar, ýa-da kanagatlandyrylmaýar, arasynda ýok. Şol sebäpli barlamak, "takyk, dogry" diýýän AI-den has gymmatly; sebäbi AI öz çözgüdini tassyklanda şol bir ýalňyşlygy gaýtalap biler, ýöne garaşsyz barlamak bu aýlawyň daşynda. Iki dürli garaşsyz usulda (meselem, çalyşmak we SymPy) möhüm netijäni berip bilseňiz, ynamyňyz çalt artýar.
Rorsalňyşlaryň klassifikasiýasy
Aşakdaky tablisada AI çözgütlerinde köplenç görýän ýalňyşlyklaryňyzyň görnüşleri we hersini tutmagyň usuly jemlenendir.
Roralňyş görnüşi
mysal
tutmak ýoly
gol ýalňyşlygy
Itingazmak - (a - b) = −a - b
Adymy el bilen açmak we barlamak
arifmetiki ýalňyşlyk
7 × 8 = 54
Kalkulýator / SymPy bilen tassyklama
nädogry düzgün
zynjyr düzgünini ýatdan çykar
"Haýsy düzgün?" soramak
Meýdan / kesgitleme ýalňyşlygy
gündeligi al (negatiw)
Domeýni barlamak
Geçirilen ýagdaý
Diskriminasiýa <0
Statushli statuslary sanaň
-Asama teorema
ýok teoremanyň ady
Çeşmeden tassyklama
üç sany kiçi halat
1-nji waka - Dogry netije, nädogry ýol. Bir okuwçy AI-den çäkli sorag berdi. AI netijäni 3 diýip tapdy - bu dogry - ýöne aralyk ädimde ulanyp bolmaýan ýerde (0/0 näbelliligi bolmazdan) L'Hôpital düzgünini ulandy. Talyp "haýsy düzgün ulanylýar we näme üçin?" Diýip soraýar. Soralanda, AI ýalňyşlygy kabul etdi we ýene-de dogry 3-e ýetdi. Netije birmeňzeş boldy, ýöne ýol berk däldi; Syýahat ekzamende hem bal aldy.
2-nji kazyýet - rugsat edilen kazyýet. Inerener, | 2x - 4 | = 6 mutlak baha deňlemesi YZ tarapyndan çözüldi. YZ diňe 2x - 4 = 6 çözdi we x = 5 berdi; 2x - 4 = −6 ýagdaýy (x = −1) geçdi. Inerener "mutlak bahada näçe ştat bar?" Diýip soraýar. Soranymda, ikinji kök peýda boldy. Iki köküň dogrulygy çalyşmak bilen tassyklandy.
3-nji hadysa - 3 ýalňyşlyk tapyldy. Mugallym AI-e 10 basgançakly trigonometrik şahsyýet subutnamasyny berdi. Soň bolsa şol bir subutnamany ädimme-ädim SymPy-yň ýönekeýleşdirmek funksiýasy bilen deňeşdirdi. AI şahsyýetiň 10 ädimden 3-sinde nädogry ulanylandygyny anyklady. Jemi barlag wagty 12 minut; Alnan ynam bahasyna ýetip bolmajak zatdyr.
Göçürip boljak dört şablon
1) Sanly, düzgüne esaslanýan çözgüt:
Bu meseläni çözüň: [mesele]. Çözüwini NUMBERED ädimlerde ýazyň. Her ädimde, gabygyň içinde ulanan düzgüniň / teoremanyň adyny aýdyň. "Elbetde" diýmek bilen haýsydyr bir ädim ätmäň; her geçişi görkez.
2) stateshli ştatlary mejbur etme:
Bu meseläni çözüň: [mesele]. Çözülende Mümkin bolan ähli ýagdaýlary sanaň (meselem, mutlak baha, kwadrat, domen çäklendirmeleri). Haýsydyr bir hadysany taşlamaň; Eger geçseňiz, näme üçin geçendigiňizi esaslandyryň.
3) Düzgünnamany talap etmek:
Tapdyňyz: [netije]. Indi ters amal bilen bu netijäni barlaň: [tapawutlandyryň / çalyşyň / köpeldiň]. Barlagyň netijesini görkeziň we asyl meselä laýyk gelýändigini aýdyň.
4) roralňyşlyga gönükdirilen gözegçilik:
Diňe aşakdaky çözgütde ýalňyşlyklary gözläň. Her ädimi tertipli barlaň; ilkinji ýalňyşlygy tapanyňyzda haýsy ädimiň, haýsy ýalňyşlygyň (belgi / arifmetiki / düzgün) we dogrysynyň nämedigini ýazyň. Täze çözgüt döretmek. Çözgüt: [şu ýerde]
Gowşak haýyş / Güýçli haýyş
Gowşak: "x² çözüň - 5x + 6 = 0."
Netije: "x = 2 we x = 3" - dogry bolup biler, ýöne täsin hadysanyň ýitirilendigini ýa-da faktorlaşdyrmagyň nädogrydygyny duýmarsyňyz.
Güýçli: "x² - 5x + 6 = 0 deňlemäni faktoring we diskriminasiýa formulasy bilen çözüň; iki usulyň birmeňzeş kök berýändigini görkeziň. Soňra her köküni deňlemä çalşyp üpjün ediň."
Netije: Netijäniň takyklygyny üpjün etmek üçin iki sany garaşsyz usul biri-birini barlaýar. Analňyşlyk bar bolsa, iki usul gapma-garşy bolar we derrew görersiňiz.
Adaty ýalňyşlyklar
- Diňe netijä seredýärin. Dogry netije berk ýoly aňlatmaýar. Şeýle hem ýoly barlaň.
- Üpjün etmegi taşlamak. 30 sekunt çalyşmak / arka emele gelen barlag köp ýalňyşlyklary tutýar; Oňa üns bermäň.
- Situationsagdaýlary sanamaýar. Mutlak baha, kwadrat, kök we domen çäklendirmelerinde goýberilýän ýalňyşlyklar iň köp ýaýran ýalňyşlyklardyr.
- AI-e "kemçilik ýok" diýmäge ynanmak. Auditor rolundaky AI hakyky ýalňyşlygy sypdyryp biler; Adamyň gözi möhüm işlerde möhümdir.
- Bir usuldan kanagatlanmak. Mümkin bolsa, iki sany garaşsyz usuly ulanyp çözüň we deňeşdiriň.
Üns beriň: AI çözgüdiňizi barlanda, käwagt ýok "näsazlygy" emele getirip, sizi dogry çözgüdiňizden sowup biler. Şonuň üçin AI ýalňyşlyk görkezse, şol ýalňyşyň hakykatdanam ýalňyşlykdygyny ýa-da ýokdugyny barlaýarsyňyz. Auditor hem ýalňyşyp biler.
Gysgaça
Meseläni çözmekde AI üç rol oýnaýar: strategiýa geňeşçisi, çözgüt generatory, çözgüt auditory. Iň ygtybarly çemeleşme, AI-den strategiýany almak, garaşsyz gurallar bilen hasaplamalary geçirmek we her ädimini yzygiderli barlamakdyr. Sanly ädimler, "haýsy düzgün?" sorag, barlag (ters amal), çäklendirilen ýagdaýlar we ähli hadysalaryň sanawy ýalňyşlyklary tutmagyň esasy gurallarydyr. Dogry netije berk ýoly aňlatmaýar; Netijäni we ýoly barlaň.
Programma meselesi
Kwadratiki deňlemäni ýa-da mutlak baha deňlemesini saýlaň. YZ-ny 1-nji we 2-nji şablonlar bilen çözüň. Soňra: (a) ähli ýagdaýlaryň ýapylandygyny barlaň, (b) her köküni çalyşmak arkaly üpjün ediň, (c) mümkin bolsa ikinji usul bilen çözüň we deňeşdiriň. Erroralňyşlyk tapsaňyz, onuň haýsy görnüşine üns beriň (belgi / arifmetiki / düzgün / atylan ýagdaý).
gözegçilik sanawy
- [] Çözgüdi sanly ädimlerde aldym.
- [] Her ädimde ulanylýan düzgüni tassykladym.
- [] Inghli şertleriň çözülendigini tassykladym.
- [] Netijäni ters operasiýa (barlamak) bilen barladym.
- [] Mümkin bolsa, ony ikinji usul bilen deňeşdirdim.
- [] Şeýle hem, AI-iň görkezen "ýalňyşlyklaryny" özbaşdak barladym.