Yksikkö 2 / 11

Ongelmanratkaisutuki ja vaiheittainen ohjaus

Voitot:

  • Kyky käyttää tekoälyä ongelmanratkaisussa kolmessa eri roolissa strategiakonsulttina, ratkaisutuottajana ja ratkaisuauditoijana kunkin riskitason mukaisesti.
  • Kyky systemaattisesti tarkistaa ratkaisun jokainen vaihe numeroimalla, sääntökyselyllä, aritmeettisella tarkistuksella, tarkistussummalla ja listaamalla kaikki tapaukset.
  • Kyky todentaa sekä tulos että ratkaisu itsenäisillä menetelmillä, ymmärtäen, että oikea tulos ei tarkoita oikeaa polkua.

Matemaattisen ongelman ratkaisu on toisiinsa liittyvien vaiheiden ketju; Jos jokin ketjun lenkki katkeaa, tulos on virheellinen. Tekoäly on erittäin hyvä rakentamaan tämän ketjun nopeasti – mutta ihmisten on valvottava ketjun vahvuutta. Tässä osiossa opit käyttämään tekoälyä ongelmanratkaisukumppanina ja mikä tärkeintä, kuinka ohjata järjestelmällisesti jokaista tuotettua vaihetta. Tavoitteena on hyödyntää tekoälyn nopeutta ilman, että virheitä jää huomaamatta.

Ensin määritelmä: Askel-askeleelta varmennus on sen tarkistaminen, onko ratkaisun jokainen välivaihe oikein yksitellen. Matematiikassa "Onko tulos oikea?" Kysymys ei riitä; "Onko jokainen välivaihe oikein?" Kysymys on olennainen. Koska joskus väärät askeleet johtavat sattumalta oikeaan lopputulokseen (epävakaan ratkaisu), joskus yksikin aritmeettinen virhe oikeassa strategiassa pilaa tuloksen.

Tekoälyn kolme eri roolia ongelmanratkaisussa

Voit käyttää tekoälyä ongelmanratkaisussa kolmella eri tavalla, ja jokainen vaatii erilaisen validoinnin:

  1. Strategiakonsultti: "Kuinka ratkaisen tämän ongelman?" Tässä tekoäly ehdottaa menetelmää. Riski on pieni, koska teet laskelmat itse.
  2. Ratkaisugeneraattori: "Ratkaise tämä ongelma." Riski on suuri, koska sekä strategia että laskelma tulevat tekoälystä; Jokaista vaihetta on valvottava.
  3. Ratkaisutarkistus: "Tarkista ratkaisuni." Se on keskimääräinen riski; Tekoäly voi löytää vikoja, mutta se voi myös keksiä bugeja, joita ei ole olemassa, tai jotka huomaavat todellisen vian.

Turvallisin tapa on yleensä yhdistää 1 ja 3: hanki strategia tekoälystä, tee laskelma itse tai SymPyllä ja tee sitten tekoälyn tarkistus ja ristiintarkastus.

Askel askeleelta: kuinka tarkistaa ratkaisu

1. Numeroi jokainen vaihe. Kun pyydät tekoälyltä ratkaisua numeroiduissa vaiheissa, voit sanoa: "Vaiheessa 3 on virhe."

2. Jokaisessa vaiheessa "mikä sääntö?" sir. Pyydä tekoälyä kirjoittamaan muistiin, mitä algebrallista sääntöä, lausetta tai identiteettiä käytetään kussakin passissa. Jos säännön nimi on väärä, vaihe on myös kyseenalainen.

3. Tarkista aritmetiikka erikseen. Vaikka algebrallinen logiikka olisi oikea, numerovirheet ovat yleisiä. Tarkista jokainen yhteenlasku-, kertolasku- ja etumerkkimuutos.

4. Kokeile rajoja ja poikkeuksia. Testaa tulos yksinkertaisilla arvoilla, kuten x=0, x=1. Jos kaava on järjetön näillä arvoilla, on virhe.

5. Palaa taaksepäin. Tarkasta derivaatan tulos integroimalla, korvaamalla yhtälön juuri, kertomalla tekijöiden jakaminen takaisin.

6. Etsi koon/yksikön johdonmukaisuutta. Jos yksiköt eivät täsmää sovelletuissa ongelmissa (esim. metrejä ja sekunteja lisäämällä), kaava on virheellinen.

Vinkki: "Varmennus käänteisellä toiminnolla" on matematiikan tehokkain varmennustyökalu ja se on lähes ilmainen. Jos löysit yhtälön juuren, korvaa se; Jos otit integraalin, ota sen derivaatta; Jos teit tekijöiden laskemisen, kerro takaisin. Tämä 30 sekunnin tarkistus estää tunteja väärään suuntaan.

Provisioinnin teho perustuu sen riippumattomuuteen tekoälystä. Kun korvaat juuren, teet deterministisen tarkistuksen, joka on täysin riippumaton siitä, mitä tekoäly tekee ratkaisuprosessissa: joko yhtälö täyttyy tai ei, väliä ei ole. Siksi todentaminen on paljon arvokkaampaa kuin tekoäly, jossa sanotaan "selvä, oikein"; koska tekoäly voi toistaa saman virheen vahvistaessaan omaa ratkaisuaan, mutta riippumaton varmennus on tämän silmukan ulkopuolella. Kun pystyt toimittamaan kriittisen tuloksen kahdella eri itsenäisellä tavalla (esim. sekä substituutiolla että SymPyllä), itseluottamuksesi kasvaa eksponentiaalisesti.

Virheiden luokitus

Alla olevassa taulukossa on yhteenveto AI-ratkaisuissa yleisimmin näkemäsi virhetyypeistä ja niiden havaitsemisesta.

Virhetyyppi

esimerkki

talteenottopolku

allekirjoitusvirhe

Kirjoittaminen −(a−b) = −a−b

Nimeni avaaminen ja tarkistaminen manuaalisesti

aritmeettinen virhe

7 × 8 = 54

Vahvistus laskimella/SymPyllä

väärä sääntö

unohda ketjusääntö

"Mikä sääntö?" kysyä

Kenttä/määrittelyvirhe

hanki loki (negatiivinen)

Tarkistetaan verkkotunnusta

Ohitettu tila

Ohitetaan syrjivä < 0

Listaa kaikki tilat

Tehty teoreema

olematon lauseen nimi

Vahvistus lähteestä

kolme minilaukkua

Tapaus 1 – Oikea tulos, väärä polku. Opiskelija kysyi tekoälyltä rajakysymyksen. Tekoäly löysi tuloksen 3 - mikä oli oikein - mutta välivaiheessa se käytti L'Hôpitalin sääntöä, jossa sitä ei voitu soveltaa (ilman 0/0-epävarmuutta). Opiskelija kysyy "mikä sääntö pätee ja miksi?" Kysyttäessä tekoäly hyväksyi virheen ja saavutti jälleen 3:n oikealla tavalla. Tulos oli sama, mutta polku ei ollut kiinteä; Matka arvostettiin myös kokeessa.

Tapaus 2 – Tapaus jätetty pois. Insinööri, |2x − 4| = 6 itseisarvoyhtälö ratkaistiin YZ:llä. YZ ratkaisi vain 2x − 4 = 6 ja antoi x = 5; Se ohitti tilan 2x − 4 = −6 (x = −1). Insinööri kysyy "kuinka monta tilaa on absoluuttisena arvona?" Kun kysyin, toinen juuri ilmestyi. Molempien juurien oikeellisuus vahvistettiin korvauksella.

Tapaus 3 – Ristitarkastuksessa löytyi 3 virhettä. Opettaja teki tekoälyllä 10-vaiheisen trigonometrisen henkilöllisyystodistuksen. Sitten hän vertasi samaa todistetta askel askeleelta SymPyn yksinkertaistamistoimintoon. Hän havaitsi, että tekoäly sovelsi identiteettiä väärin kolmessa vaiheessa 10:stä. Tarkastusaika yhteensä 12 minuuttia; Saavutettu luottamus on korvaamaton.

Neljä kopioitavaa mallia

1) Numeroitu, sääntöpohjainen ratkaisu:

Ratkaise tämä ongelma: [ongelma]. Kirjoita ratkaisu NUMBERED vaiheessa. Ilmoita jokaisessa vaiheessa käyttämäsi säännön/lauseen nimi suluissa. Älä ohita mitään vaihetta sanomalla "ilmeisesti"; näytä jokainen siirtymä.

2) Älä pakota kaikkia tiloja:

Ratkaise tämä ongelma: [ongelma]. Luettele KAIKKI MAHDOLLISET tapaukset ratkaisemisen yhteydessä (esim. absoluuttinen arvo, neliö, verkkotunnuksen rajoitukset). Älä ohita tapauksia; Jos ohitat sen, perustele, miksi ohitit sen.

3) Tarjouksen pyytäminen:

Löysit: [tulos]. VAHVISTA nyt tämä tulos käänteisoperaatiolla:[erottele / korvaa / kerro takaisin]. Näytä tarkistussumman tulos ja kerro, vastaako se alkuperäistä ongelmaa.

4) Virhelähtöinen ohjaus:

Etsi vain virheitä alla olevasta ratkaisusta. Tarkista jokainen vaihe järjestyksessä; kun löydät ensimmäisen virheen, kirjoita ylös mikä vaihe, minkä tyyppinen virhe (merkki/aritmetiikka/sääntö) ja mikä on oikea. Uuden ratkaisun luominen. Ratkaisu: [täällä]

Heikko kehote / Vahva kehote

Heikko: "Ratkaise x² − 5x + 6 = 0."
Tulos: "x = 2 ja x = 3" — voi olla totta, mutta et huomaa, jos pariton tapaus jätetään huomiotta tai tekijöiden jako on väärä.
Strong: "Ratkaise yhtälö x² − 5x + 6 = 0 sekä factoring- että erotuskaavalla; osoita, että molemmat menetelmät antavat samat juuret. Anna sitten kukin juuri korvaamalla se yhtälössä."
Tulos: Kaksi riippumatonta menetelmää varmistavat toisensa varmistaen, että tulos on tarkka. Jos tapahtuu virhe, nämä kaksi menetelmää ovat ristiriidassa ja näet sen välittömästi.

Yleisiä virheitä

  • Vain katsomalla tulosta. Oikea tulos ei tarkoita vakaata polkua. Tarkista myös tie.
  • Ohitetaan provisiointi. 30 sekunnin vaihto-/takaisinjohdannaisen tarkistus havaitsee useimmat virheet; Älä laiminlyö sitä.
  • Ei luetella tilanteita. Absoluuttisen arvon, toisen asteen, juuri- ja verkkotunnuksen rajoitusten puutteet ovat yleisimpiä virheitä.
  • Tekoälyn luottaminen sanomaan "ei vikoja". Tarkastajan roolissa oleva tekoäly saattaa missata todellisen virheen; Ihmissilmä on tärkeä kriittisessä työssä.
  • Tyytyväinen yhteen menetelmään. Jos mahdollista, ratkaise ja vertaa kahta itsenäistä menetelmää.
Varoitus: Kun tekoäly tarkistaa ratkaisusi, se voi joskus muodostaa olemattoman "bugin" ja saada sinut luopumaan oikeasta ratkaisustasi. Joten kun tekoäly näyttää virheen, tarkistat myös, onko virhe todella virhe. Myös tilintarkastaja voi olla väärässä.

Yhteenvetona

Tekoälyllä on ongelmanratkaisussa kolme roolia: strategianeuvoja, ratkaisugeneraattori, ratkaisun tarkastaja. Turvallisin tapa on ottaa strategia tekoälystä, tehdä laskelmat riippumattomilla työkaluilla ja auditoida järjestelmällisesti jokainen vaihe. Numeroidut vaiheet, "mikä sääntö?" kysymys, tarkistussumma (käänteinen operaatio), rajatapaukset ja kaikkien tapausten listaus ovat perustyökaluja virheiden havaitsemiseen. Oikea tulos ei tarkoita vakaata polkua; Tarkista sekä tulos että polku.

Sovellustehtävä

Valitse toisen asteen yhtälö tai itseisarvoyhtälö. Ratkaise YZ mallien 1 ja 2 avulla. Sitten: (a) tarkista, että kaikki tapaukset on käsitelty, (b) varmista jokainen juuri korvaamalla, (c) ratkaise ja vertaa uudelleen toisella menetelmällä, jos mahdollista. Jos löydät virheen, merkitse muistiin, minkä tyyppinen se on (merkki/aritmetiikka/sääntö/ohitettu ehto).

tarkistuslista

  • [ ] Tein ratkaisun numeroiduissa vaiheissa.
  • [ ] Vahvistin jokaisessa vaiheessa käytetyn säännön.
  • [ ] Olen varmistanut, että kaikki odottamattomat asiat on käsitelty.
  • [ ] Tarkastin tuloksen käänteisoperaatiolla (tarkistamalla).
  • [ ] Jos mahdollista, vertasin sitä toiseen menetelmään.
  • [ ] Tarkastin myös itsenäisesti tekoälyn osoittamat "virheet".