Awọn anfani:
- Agbara lati lo itetisi atọwọda ni ipinnu iṣoro ni awọn ipa oriṣiriṣi mẹta bi oludamọran ilana, olupilẹṣẹ ojutu ati oluyẹwo ojutu, ti o yẹ si ipele eewu ti ọkọọkan.
- Agbara lati ṣayẹwo ni ọna ṣiṣe ni ọna kọọkan ti ojutu kan nipasẹ nọmba, ibeere ofin, ṣiṣe ayẹwo iṣiro, sọwedowo ati atokọ gbogbo awọn ọran.
- Ni anfani lati rii daju mejeeji abajade ati ojutu pẹlu awọn ọna ominira, agbọye pe abajade to pe ko tumọ si ọna ti o pe.
Ojutu si iṣoro mathematiki jẹ pq awọn igbesẹ ti o ni asopọ; Ti ọna asopọ eyikeyi ninu pq ba bajẹ, abajade jẹ asan. AI dara pupọ ni kikọ pq yii ni kiakia - ṣugbọn o wa si awọn eniyan lati ṣe atẹle agbara pq. Ninu ẹyọ yii, iwọ yoo kọ ẹkọ bii o ṣe le lo AI bi alabaṣepọ ipinnu iṣoro ati, ni pataki, bii o ṣe le ṣakoso ni ọna ṣiṣe ni ilana kọọkan ti iṣelọpọ. Ibi-afẹde ni lati lo anfani iyara ti AI lakoko ti ko padanu awọn aṣiṣe eyikeyi.
Ni akọkọ, itumọ kan: Ijẹrisi-igbesẹ-igbesẹ n ṣayẹwo boya igbesẹ agbedemeji kọọkan ti ojutu kan jẹ deede ni ọkọọkan. Ninu iwe-iṣiro, "Ṣe esi ti o tọ?" Ibeere naa ko to; "Ṣe igbesẹ agbedemeji kọọkan tọ?" Ibeere naa ṣe pataki. Nitori nigbakan awọn igbesẹ ti ko tọ yorisi nipasẹ aye si abajade ti o tọ (ojutu aiduro), nigbakan aṣiṣe iṣiro kan ni ilana ti o pe yoo ba abajade jẹ.
Awọn ipa oriṣiriṣi mẹta ti AI ni ipinnu iṣoro
O le lo AI ni ipinnu iṣoro ni awọn ọna oriṣiriṣi mẹta, ati pe ọkọọkan nilo ijẹrisi ti o yatọ:
- Oludamoran ilana: "Bawo ni MO ṣe yanju iṣoro yii?" Nibi, AI ni imọran ọna kan. Ewu naa kere nitori pe o ṣe awọn iṣiro funrararẹ.
- Olupilẹṣẹ ojutu: "Yanu iṣoro yii." Ewu naa ga nitori pe ilana mejeeji ati iṣiro wa lati AI; Gbogbo igbese gbọdọ wa ni abojuto.
- Oluyẹwo ojutu: "Ṣayẹwo ojutu mi." O jẹ ewu alabọde; AI le wa awọn idun, ṣugbọn o tun le ṣe awọn idun ti ko si tabi padanu kokoro gidi.
Ọna ti o ni aabo julọ nigbagbogbo lati darapo 1 ati 3: gba ilana lati AI, ṣe iṣiro funrararẹ tabi pẹlu SymPy, lẹhinna ṣe ayẹwo AI ati ṣayẹwo-agbelebu.
Igbesẹ nipa igbese: bii o ṣe le ṣayẹwo ojutu kan
1. Nọmba kọọkan igbese. Beere AI fun ojutu ni awọn igbesẹ nọmba gba ọ laaye lati sọ pe, “Aṣiṣe kan wa ni igbesẹ 3.”
2. Ni igbesẹ kọọkan "ofin wo?" sir. Jẹ ki AI kọ iru ofin algebra, imọ-jinlẹ, tabi idanimọ ti a lo ni iwe-iwọle kọọkan. Ti orukọ ofin ba jẹ aṣiṣe, igbesẹ naa tun jẹ ibeere.
3. Ṣayẹwo isiro lọtọ. Paapa ti imọran algebra ba tọ, awọn aṣiṣe nọmba jẹ wọpọ. Ṣe atunyẹwo afikun kọọkan, isodipupo, ati iyipada ami.
4. Gbiyanju awọn aala ati awọn imukuro. Ṣe idanwo abajade ni awọn iye ti o rọrun bi x=0, x=1. Ti agbekalẹ ba jẹ asan ni awọn iye wọnyi, aṣiṣe kan wa.
5. Lọ pada ni idakeji. Ṣayẹwo abajade itọsẹ nipasẹ sisọpọ, rọpo gbongbo idogba, isodipupo isọdi-pada sẹhin.
6. Wa fun iwọn / aitasera kuro. Ti awọn sipo ko ba ṣafikun ni awọn iṣoro ti a lo (fun apẹẹrẹ fifi awọn mita ati iṣẹju-aaya), agbekalẹ naa ko tọ.
Imọran: "Ijeri nipasẹ iṣẹ yiyipada" jẹ ohun elo ijẹrisi ti o lagbara julọ ni mathematiki ati pe o fẹrẹ jẹ ọfẹ. Ti o ba ri gbongbo idogba, rọpo rẹ; Ti o ba mu ohun je, ya awọn oniwe-itọsẹ; Ti o ba ṣe isọdi-ara kan, ṣe isodipupo pada. Ayẹwo iṣẹju-aaya 30 yii ṣe idilọwọ awọn wakati ti itọsọna aṣiṣe.
Agbara ipese wa lati ominira rẹ lati AI. Nigbati o ba rọpo gbongbo, o ṣe ayẹwo ipinnu ipinnu ti o jẹ ominira patapata ti ohun ti AI ṣe ninu ilana ojutu: boya idogba naa ni itẹlọrun tabi kii ṣe, ko si laarin. Ti o ni idi ti ijerisi jẹ diẹ niyelori diẹ sii ju AI sọ “daju, ọtun”; nitori AI le tun aṣiṣe kanna ṣe nigbati o ba fọwọsi ojutu tirẹ, ṣugbọn ijẹrisi ominira wa ni ita lupu yii. Nigbati o ba le ṣafihan abajade to ṣe pataki ni awọn ọna ominira meji ti o yatọ (fun apẹẹrẹ mejeeji fidipo ati SymPy), igbẹkẹle rẹ pọ si ni afikun.
A classification ti awọn aṣiṣe
Tabili ti o wa ni isalẹ ṣe akopọ awọn oriṣi awọn aṣiṣe ti o rii julọ ni awọn solusan AI ati ọna lati yẹ ọkọọkan.
Iru aṣiṣe
apẹẹrẹ
gba ona
aṣiṣe ami
Kikọ -(a-b) = -a-b
Ṣii ati ṣayẹwo orukọ mi pẹlu ọwọ
aṣiṣe isiro
7×8 = 54
Ìmúdájú pẹlu isiro/SymPy
ti ko tọ ofin
gbagbe pq ofin
"Ofin wo?" lati beere
Aṣiṣe aaye / asọye
gba log (odi)
Ṣiṣayẹwo agbegbe naa
Ipo ti o fo
Aibikita iyasoto <0
Ṣe atokọ gbogbo awọn ipo
Akori ti a ṣe
ti kii-existent theorem orukọ
Ìmúdájú lati orisun
mẹta mini igba
Ọran 1 - Abajade ti o tọ, ọna ti ko tọ. Ọmọ ile-iwe beere ibeere AI kan. AI rii abajade lati jẹ 3 - eyiti o tọ - ṣugbọn ni agbedemeji agbedemeji o lo ofin L'Hôpital nibiti ko le lo (laisi aidaniloju 0/0). Ọmọ ile-iwe beere "ofin wo ati kilode?" Nigbati o beere, AI gba aṣiṣe naa o si de 3 lẹẹkansi ni ọna ti o pe. Abajade jẹ kanna, ṣugbọn ọna naa ko lagbara; Irin-ajo naa tun gba wọle ninu idanwo naa.
Ọran 2 - Omitted irú. Onimọ-ẹrọ, |2x - 4| = 6 idogba iye pipe ni a yanju nipasẹ YZ. YZ nikan yanju 2x - 4 = 6 o si fun x = 5; O fo ipo 2x - 4 = -6 (x = -1). Ẹlẹrọ naa beere "awọn ipinlẹ melo ni o wa ni iye pipe?" Nigbati mo beere, awọn keji root han. Atunse ti awọn gbongbo mejeeji ni a fi idi rẹ mulẹ nipasẹ iyipada.
Irú 3 - Agbelebu-ṣayẹwo ri awọn aṣiṣe 3. Olukọni kan ni AI ṣe ẹri idanimọ trigonometric-igbesẹ 10 kan. Lẹhinna o ṣe afiwe igbesẹ ẹri kanna nipasẹ igbese pẹlu iṣẹ irọrun SymPy. O rii pe AI lo idanimọ ti ko tọ ni 3 ninu awọn igbesẹ 10. Lapapọ akoko ayẹwo 12 iṣẹju; Igbẹkẹle ti a gba ko ni idiyele.
Mẹrin daakọ awọn awoṣe
1) Nọmba, ojutu ti o da lori ofin:
Yanju iṣoro yii: [iṣoro]. Kọ ojutu naa ni awọn igbesẹ NUMBERED. Ni igbesẹ kọọkan, sọ orukọ ofin/ero ti o lo ninu akomo. Maṣe foju eyikeyi igbesẹ nipa sisọ “o han gbangba”; fihan kọọkan orilede.
2) Maṣe fi agbara mu gbogbo awọn ipinlẹ:
Yanju iṣoro yii: [iṣoro]. Ṣe atokọ GBOGBO awọn ọran ti o ṣeeṣe nigbati o ba yanju (fun apẹẹrẹ iye pipe, kuadiratiki, awọn ihamọ agbegbe). Maṣe foju eyikeyi awọn ọran; Ti o ba fo, da idi ti o fi fo o.
3) Ipese ti o beere:
O ri: [esi]. Ni bayi ṢẸJỌ abajade yii nipasẹ iṣẹ onidakeji:[differentiate / aropo / isodipupo pada]. Ṣe afihan abajade ti checksum ki o sọ boya o ni ibamu pẹlu iṣoro atilẹba.
4) Iṣakoso-aṣiṣe:
O kan wa awọn aṣiṣe ni ojutu ni isalẹ. Ṣayẹwo kọọkan igbese ni ibere; nigbati o ba ri aṣiṣe akọkọ, kọ igbesẹ wo, iru aṣiṣe wo (ami / iṣiro / ofin) ati kini eyi ti o tọ. Ṣiṣẹda ojutu titun kan.Ojutu: [nibi]
Ailagbara kiakia / Alagbara kiakia
Ailera: "Yanu x² - 5x + 6 = 0."
Esi: "x = 2 ati x = 3" - le jẹ otitọ, ṣugbọn iwọ kii yoo ṣe akiyesi ti o ba padanu ọran ti ko dara tabi isọdi ko tọ.
Alagbara: "Yanu idogba x² - 5x + 6 = 0 nipasẹ awọn ifosiwewe mejeeji ati agbekalẹ iyasoto; fihan pe awọn ọna meji fun awọn gbongbo kanna. Lẹhinna pese gbongbo kọọkan nipa fifidipo rẹ sinu idogba."
Esi: Awọn ọna ominira meji jẹri ara wọn, ni idaniloju pe abajade jẹ deede. Ti aṣiṣe kan ba wa, awọn ọna meji yoo koju ati pe iwọ yoo rii lẹsẹkẹsẹ.
Awọn aṣiṣe ti o wọpọ
- O kan wo abajade. Abajade ti o tọ ko tumọ si ọna ti o lagbara. Tun ṣayẹwo ni opopona.
- Nfi ipese. Ayẹwo 30-keji / ayẹwo itọsẹ ẹhin mu ọpọlọpọ awọn aṣiṣe; Maṣe gbagbe rẹ.
- Ko ṣe atokọ awọn ipo. Awọn imukuro ni iye pipe, kuadiratiki, root ati awọn ihamọ agbegbe jẹ awọn aṣiṣe ti o wọpọ julọ.
- Ni igbẹkẹle AI lati sọ “ko si awọn idun”. AI ni ipa ti ẹniti nṣe ayẹwo iwe-owo le padanu aṣiṣe gidi; Oju eniyan ṣe pataki ni iṣẹ pataki.
- Ni itẹlọrun pẹlu ọna kan. Ti o ba ṣeeṣe, yanju ati ṣe afiwe pẹlu awọn ọna ominira meji.
Išọra: Nigbati o ba ni AI ṣayẹwo ojutu rẹ, o le ma ṣe “kokoro” ti ko si tẹlẹ ki o mu ọ ni iyanju lati ojutu ti o pe. Nitorinaa nigbati AI ṣe afihan aṣiṣe kan, o tun ṣayẹwo boya aṣiṣe yẹn jẹ aṣiṣe gaan. Oluyẹwo tun le jẹ aṣiṣe.
Ni akojọpọ
Ni ipinnu iṣoro, AI ṣe awọn ipa mẹta: onimọran imọran, olupilẹṣẹ ojutu, oluyẹwo ojutu. Ọna ti o ni aabo julọ ni lati mu ilana naa lati AI, ṣe awọn iṣiro pẹlu awọn irinṣẹ ominira, ati ṣayẹwo ni ọna ṣiṣe ni igbesẹ kọọkan. Awọn igbesẹ nọmba, "ofin wo?" ibeere, checksum (iṣiṣẹ onidakeji), opin awọn ọran, ati atokọ ti gbogbo awọn ọran jẹ awọn irinṣẹ ipilẹ fun mimu awọn aṣiṣe. Abajade ti o tọ ko tumọ si ọna ti o lagbara; Ṣayẹwo mejeeji abajade ati ọna naa.
Ohun elo iṣẹ-ṣiṣe
Yan idogba kuadiratiki tabi idogba iye pipe. Yanju YZ pẹlu awọn awoṣe 1 ati 2. Lẹhinna: (a) ṣayẹwo pe gbogbo awọn ọran ti bo, (b) rii daju pe gbongbo kọọkan nipasẹ aropo, (c) yanju ati ṣe afiwe lẹẹkansi nipasẹ ọna keji, ti o ba ṣeeṣe. Ti o ba rii aṣiṣe kan, ṣe akiyesi iru iru ti o jẹ (ami / iṣiro / ofin / ipo ti o fo).
akojọ ayẹwo
- [] Mo mu ojutu ni awọn igbesẹ nọmba.
- [] Mo jẹrisi ofin ti a lo ni igbesẹ kọọkan.
- [] Mo ti rii daju pe gbogbo awọn airotẹlẹ ti koju.
- [] Mo ṣayẹwo abajade nipasẹ iṣẹ onidakeji (ṣayẹwo).
- [] Ti o ba ṣeeṣe, Mo ṣe afiwe rẹ pẹlu ọna keji.
- [] Mo tun jẹrisi ni ominira awọn “awọn aṣiṣe” ti AI fihan.