Qligħ:
- Kapaċità li tuża l-intelliġenza artifiċjali biex issib l-idea u l-metodu ta 'prova (diretta, kontradizzjoni, induttiva, kontrapożittiva) u tiċċekkja l-validità ta' kull pass loġiku.
- Kapaċità li tidentifika lakuni evidenzjarji, suppożizzjonijiet impliċiti u qabżiet mhux ġustifikati wara espressjonijiet bħal "b'mod ċar", "mingħajr preġudizzju għall-ġeneralità"
- Kapaċità li tiddistingwi bejn il-ħeffa u l-validità billi tfittex kontroeżempji qabel ma tistrieħ fuq il-prova mingħajr ma tkun ċert mill-verità ta’ talba.
Prova matematika hija d-derivazzjoni preċiża ta 'pretensjoni f'passi loġiċi minn axioms aċċettati u teoremi ppruvati qabel. Il-prova hija l-aktar prodott rigoruż tal-matematika: tranżizzjoni loġika waħda invalida, ommissjoni jew suppożizzjoni impliċita li nsejħu "vojt", tirrifjuta l-prova kollha. L-intelliġenza artifiċjali hija ħila ħafna biex tipproduċi test li jidher konvinċenti għall-prova — u huwa eżattament għaliex hija perikoluża. Test li jidher konvinċenti mhuwiex prova valida. F'din l-unità inti titgħallem kif tuża l-AI bħala sieħeb tal-abbozzar tal-provi u kif tispezzjona kull pass loġiku.
L-ewwel żewġ definizzjonijiet. Skeċċ ta 'prova huwa sommarju li jagħti l-idea prinċipali u l-iskeletru ta' prova, iżda ma jimlax kull dettall. Lakuna fil-provi hija qabża li fiha l-prova tgħid "hawn isegwi" iżda fil-fatt ma tiġġustifikahiex. L-akbar riskju meta taħdem bl-AI huma l-lakuni koperti minn sentenzi persważivi: it-test huwa fluwidu, mimli b'konġunzjonijiet bħal "għalhekk" u "ovvjament", iżda b'qabżiet bejniethom li mhumiex fil-fatt ippruvati.
Qawwiet u dgħufijiet tal-AI fil-prova
AI tagħmel żewġ affarijiet tajjeb fil-prova: (1) tevoka l-idea standard ta 'prova ta' teorema magħrufa, (2) tissuġġerixxi liema metodu (induzzjoni, kontradizzjoni, dirett, kontrapożittiv) jista 'jkun xieraq għal prova. Id-dgħufija tagħha hija din: li tiżgura li kull pass ta 'prova oriġinali jew sottili huwa fil-fatt validu. L-AI tista 'tipproduċi "provi fallacious" li jidhru veri iżda fil-fatt huma foloz - pereżempju, tista' taqbeż il-każ bażiku fi pass ta 'induzzjoni, jew tista' tgħid "mingħajr ma tikser il-ġeneralità" iżda tagħmel suppożizzjoni li fil-fatt tkisser il-ġeneralità.
Allura r-regola tad-deheb fil-prova: uża l-AI biex issib u tiddeskrivi l-idea tal-prova; Iċċekkja l-validità ta 'kull pass loġiku lilek innifsek. Qabel "taċċetta" prova, kun żgur li kull "għalhekk" hija fil-fatt valida.
Pass pass: verifika ta' prova
1. Iċċara t-talba u s-suppożizzjonijiet. X'qed jiġi ppruvat? Taħt liema suppożizzjonijiet? Jekk dawn huma vagi, il-prova hija wkoll vaga.
2. Kun af il-metodu tal-prova. Direttament, b'kontradizzjoni, b'mod induttiv, b'mod kontrapożittiv? Kun af ir-rekwiżiti strutturali tal-metodu (eż., fl-induzzjoni, każ bażi + pass ta 'induzzjoni huwa essenzjali).
3. Mistoqsija kull "għalhekk". F'kull tranżizzjoni loġika, "dan verament isegwi mill-passi preċedenti?" staqsi. L-iktar lakuni insidjużi jinħbew wara l-espressjonijiet "ovvjament", "faċilment jidher", "mingħajr ma titlef il-ġeneralità".
4. Fittex għal suppożizzjonijiet impliċiti. Il-prova tistrieħ fuq suppożizzjoni mhux mitkellma? Per eżempju, jista 'jiġi aċċettat fis-skiet li numru huwa pożittiv jew funzjoni hija kontinwa.
5. Ipprova kontroeżempju. Jekk it-talba tkun falza, kontroeżempju jwaqqagħha. Qabel ma taċċetta l-prova, ittestja li t-talba hija fil-fatt vera f'każijiet speċjali sempliċi.
6. Ikkonsulta awtorità tal-akkwist. Qabbel il-prova standard għal teoremi magħrufa ma' sors affidabbli (ktieb tat-test, sors rivedut mill-pari).
Ħjiel: Il-frażi "mingħajr telf ta 'ġeneralità" fil-prova hija xabla b'żewġ truf. Xi drabi huwa fil-fatt validu (jekk ikun hemm simetrija), kultant huwa żball moħbi. L-AI tuża ħafna din l-espressjoni. Iġġustifika lilek innifsek kull darba li "l-ġeneralità mhix verament miksura"; Tieħux il-kelma tal-AI għaliha.
Metodi ta' prova u żvantaġġi
metodu ta' prova
Struttura
L-aktar nassa AI komuni
dirett
Assunzjoni → ... → Konklużjoni
taqbeż pass bejniethom
kontradizzjoni
Assumi l-oppost → sib kontradizzjoni
Il-kontradizzjoni mhix reali
induzzjoni
Każ bażi + pass
Tinsa s-sitwazzjoni bażika
kontrapożittiv
¬Konklużjoni → ¬Assunta
ċaħda falza
Kontroeżempju (konfutazzjoni)
kontroeżempju wieħed
Il-kontroeżempju huwa invalidu
tliet każijiet żgħar
Każ 1 — Każ bażi inkomplet. Għalliem kellu l-AI jipprova l-formula "1 + 2 + ... + n = n(n+1)/2" bl-induzzjoni. L-AI kitbet il-pass tal-induzzjoni b'mod korrett iżda qatt ma ċċekkja l-każ bażi (n=1). L-għalliem jistaqsi "fejn huwa l-każ bażi?" staqsa; AI miżjuda. Mingħajr l-istat fundamentali, l-induzzjoni hija invalida; Kontroll ta’ 30 sekonda salva l-prova.
Każ 2 — Diviżjoni sigrieta b'żero. Student wieħed ra "prova" redikola bħal "a = b għal kull a, b" u staqsa lill-AI "fejn hu l-iżball hawn?" staqsa. YZ wera b'mod korrett li l-prova taqsam bi (a - b) fi stadju wieħed, u taħt is-suppożizzjoni a = b, din hija diviżjoni b'żero. Hawnhekk l-AI kellha suċċess bħala awditur; iżda l-istudent xorta ivverifika dan il-pass b'idu.
Każ 3 — Evidenza falza konvinċenti. Student tal-inġinerija kellu AI jipprova inugwaljanza. It-test kien fluwenti u konvinċenti, iżda meta ħa għeruq kwadri f'pass wieħed, injora l-possibbiltà ta 'għeruq kemm pożittivi kif ukoll negattivi u ħa biss dak pożittiv. L-istudent sab dan il-vojt meta staqsa kull pass. Il-prova saret valida meta kundizzjoni addizzjonali (il-pożittività tal-varjabbli) ġiet miżjuda.
Erba' mudelli li jistgħu jiġu kkupjati
1) Li titlob abbozz ta' prova (idea):
Liema METODU jkun xieraq biex tiġi ppruvata t-talba li ġejja (diretta, kontradizzjoni, induttiva, kontrapożittiva)? Agħti biss l-IDEA PRINĊIPALI u l-iskeletru tal-prova, tiktebx il-prova sħiħa. Talba: [hawn]
2) Pass pass, prova motivata:
Ipprova t-talba li ġejja bi [metodu]: [talba]. Ikteb fuq liema assioma/teorema/definizzjoni tistrieħ għal kull pass. TUŻAX espressjonijiet bħal "ċar" jew "faċli"; Iġġustifika bis-sħiħ kull tranżizzjoni. Jekk induzzjoni, uri l-każ bażi u l-pass ta 'induzzjoni separatament.
3) Kaċċa tal-loophole tal-prova:
Iċċekkja l-prova hawn taħt. BISS tfittex lakuni loġiċi, suppożizzjonijiet impliċiti, u qabżiet mhux ġustifikati. Iċċekkja jekk kull "għalhekk" fil-fatt isegwix mill-passi preċedenti. Ikteb kull vojt li ssib b'liema pass tinsab. Prova: [hawn]
4) Fittex għal kontroeżempju:
Irrid nittestja jekk it-talba li ġejja hijiex VERU: [talba].Ittestjah f'każijiet speċjali sempliċi l-ewwel; ipprova sib KONTROEŻEMPJU. Jekk issib kontroeżempju, urih; Jekk ma tistax issibha, elenka s-sitwazzjonijiet li ppruvajt (iżda din mhix prova, tfittex biss evidenza).
Pront dgħajjef / Pront qawwi
Dgħajjef: "Prova li √2 huwa irrazzjonali."
Riżultat: Il-prova standard tiġi, iżda pass (eż. "imbagħad p huwa ugwali") jista' jkun inqabeż mingħajr ġustifikazzjoni u ma tindunax.
Qawwija: "Pprova B'KUNTRADIZZJONI li √2 huwa irrazzjonali. Ikteb liema suppożizzjoni użajt f'kull pass; iġġustifika wkoll talbiet intermedji bħal "Jekk p² huwa ugwali, allura p huwa ugwali". Fl-aħħar nett, uri b'mod ċar fejn tqum eżatt il-kontradizzjoni."
Riżultat: Kull talba intermedja hija ġġustifikata, is-sors tal-kontradizzjoni huwa ċar, ma jitħalla l-ebda vojt.
Żbalji komuni
- Li tħawwad il-ħeffa mal-validità. Test persważiv mhuwiex prova valida; Kull pass għandu jkun sorveljat.
- Taqbeż l-istat bażiku fl-induzzjoni. AI spiss tinsa l-każ bażi; Il-pass ta 'induzzjoni waħdu mhuwiex biżżejjed.
- Li taċċetta "mingħajr ma titlef il-ġeneralità" mingħajr dubju. Din id-dikjarazzjoni tista' tkun żball moħbi; Iġġustifikaha kull darba.
- Mhux qed naraw suppożizzjonijiet impliċiti. Suppożizzjonijiet bħall-pożittività, il-kontinwità, mhux żero, eċċ jistgħu jnixxu fis-skiet fil-prova.
- Nafda l-prova mingħajr ma tipprova kontroeżempju. Jekk it-talba hija falza, il-prova hija wkoll falza; Ittestja l-verità tat-talba f'każijiet sempliċi l-ewwel.
Attenzjoni: L-AI tista 'tipproduċi "prova" anke għal talba li fil-fatt hija falza - peress li tipproduċi test, ma tiggarantixxix validità loġika. Jekk m'intix ċert dwar l-eżattezza ta' talba, l-ewwel fittex kontroeżempju. Il-"prova" ta' talba falza neċessarjament fiha lakuna; Ix-xogħol tiegħek hu li ssib dak il-vojt.
Fil-qosor
Il-prova hija l-aktar prodott rigoruż tal-matematika, u l-AI tista 'tipproduċi "provi" konvinċenti iżda invalidi. Uża l-AI biex issib l-idea u l-metodu tal-prova; Iċċekkja l-validità ta 'kull pass loġiku lilek innifsek. Fittex każijiet ewlenin, suppożizzjonijiet impliċiti, u lakuni wara frażijiet bħal "b'mod ċar" u "mingħajr preġudizzju." Jekk m'intix ċert dwar il-verità ta' talba, ipprova kontroeżempju qabel tafda l-prova. Il-ħeffa mhix validità.
Kompitu ta' applikazzjoni
Agħżel teorema standard (eż. "is-somma ta' żewġ numri ugwali hija pari" jew "√2 hija irrazzjonali"). Ħalli l-AI tipprovaha pass pass bit-tieni mudell. Imbagħad erġa' agħti l-istess prova bħat-tielet mudell għall-kaċċa tal-vojt - ħallih jiċċekkja l-prova tiegħu stess. Imbagħad mistoqsija manwalment kull "għalhekk": hemm każ bażi, hemm suppożizzjoni impliċita, kull tranżizzjoni hija ġġustifikata? Sib u nnota mill-inqas vojt potenzjali wieħed jew punt ta' titjib.
lista ta' kontroll
- [ ] Ikjarifikajt it-talba u s-suppożizzjonijiet.
- [ ] Sirt naf il-metodu tal-prova u r-rekwiżiti strutturali tiegħu.
- [ ] Ivverifikajt li kull "għalhekk" isegwi mill-passi preċedenti.
- [ ] Għamilt verifika ta' każ bażi/assunzjoni impliċita.
- [ ] Ittestjajt it-talba f'każijiet sempliċi u fittixt kontroeżempji.
- [ ] Qabbilt il-prova standard għal teoremi magħrufa mas-sors affidabbli.