ஆதார வரைவு உருவாக்கம் மற்றும் சான்று சரிபார்ப்பு

ஆதாயங்கள்:

• செயற்கை நுண்ணறிவைப் பயன்படுத்தி ஆதாரத்தின் யோசனை மற்றும் முறை (நேரடி, முரண்பாடு, தூண்டல், முரண்பாடான) மற்றும் ஒவ்வொரு தர்க்கரீதியான படிகளின் செல்லுபடியை சுய-சரிபார்க்கும் திறன்
• 'தெளிவாக', 'பொதுத்தன்மைக்கு பாரபட்சமின்றி' போன்ற வெளிப்பாடுகளுக்குப் பின்னால் ஆதார இடைவெளிகள், மறைமுகமான அனுமானங்கள் மற்றும் நியாயமற்ற பாய்ச்சல்களை அடையாளம் காணும் திறன்
• ஒரு கூற்றின் உண்மைத்தன்மையை உறுதி செய்யாமல் ஆதாரத்தை நம்புவதற்கு முன் எதிர் உதாரணங்களைத் தேடுவதன் மூலம் சரளத்திற்கும் செல்லுபடிக்கும் இடையே வேறுபடுத்தி அறியும் திறன்.

கணித ஆதாரம் என்பது ஏற்றுக்கொள்ளப்பட்ட கோட்பாடுகள் மற்றும் முன்னர் நிரூபிக்கப்பட்ட கோட்பாடுகளிலிருந்து தர்க்கரீதியான படிகளில் ஒரு கூற்றின் துல்லியமான வழித்தோன்றலாகும். ப்ரூஃப் என்பது கணிதத்தின் மிகக் கடுமையான விளைபொருளாகும்: ஒரு தவறான தருக்க மாற்றம், ஒரு "இடைவெளி" என்று நாம் அழைக்கும் ஒரு புறக்கணிப்பு அல்லது மறைமுகமான அனுமானம், முழு ஆதாரத்தையும் மறுக்கிறது. செயற்கை நுண்ணறிவு ஆதாரத்திற்காக உறுதியான தோற்றமுடைய உரையை தயாரிப்பதில் மிகவும் திறமையானது - அதனால்தான் அது ஆபத்தானது. உறுதியானதாகத் தோன்றும் உரை சரியான ஆதாரம் அல்ல. இந்த யூனிட்டில் நீங்கள் AI ஐ ஒரு ஆதார வரைவு கூட்டாளராக எவ்வாறு பயன்படுத்துவது மற்றும் ஒவ்வொரு தர்க்கரீதியான படியையும் எவ்வாறு ஆய்வு செய்வது என்பதை அறிந்து கொள்வீர்கள்.

முதல் இரண்டு வரையறைகள். ஆதார ஓவியம் என்பது ஒரு ஆதாரத்தின் முக்கிய யோசனை மற்றும் எலும்புக்கூட்டை வழங்கும் சுருக்கமாகும், ஆனால் ஒவ்வொரு விவரத்தையும் நிரப்பாது. ஆதார இடைவெளி என்பது ஒரு பாய்ச்சலாகும், இதில் ஆதாரம் "இதோ அது பின்வருமாறு" என்று கூறுகிறது, ஆனால் உண்மையில் அதை நியாயப்படுத்தாது. AI உடன் பணிபுரியும் போது ஏற்படும் மிகப்பெரிய ஆபத்து, வற்புறுத்தும் வாக்கியங்களால் மூடப்பட்ட இடைவெளிகளாகும்: உரை திரவமானது, "எனவே" மற்றும் "வெளிப்படையாக" போன்ற இணைப்புகள் நிறைந்தது, ஆனால் இடையில் பாய்ச்சல்கள் உண்மையில் நிரூபிக்கப்படவில்லை.

ஆதாரத்தில் AI இன் பலம் மற்றும் பலவீனங்கள்

நிரூபணமாக AI இரண்டு விஷயங்களைச் சிறப்பாகச் செய்கிறது: (1) அறியப்பட்ட தேற்றத்தின் நிரூபணத்தின் நிலையான யோசனையைத் தூண்டுகிறது, (2) ஒரு நிரூபணத்திற்கு எந்த முறை (தூண்டல், முரண்பாடு, நேரடி, முரண்பாடானது) பொருத்தமானதாக இருக்கும் என்பதைப் பரிந்துரைக்கவும். அதன் பலவீனம் இதுதான்: அசல் அல்லது நுட்பமான ஆதாரத்தின் ஒவ்வொரு அடியும் உண்மையில் செல்லுபடியாகும் என்பதை உறுதி செய்தல். AI ஆனது உண்மையாகத் தோன்றும் ஆனால் உண்மையில் பொய்யான "தவறான சான்றுகளை" உருவாக்க முடியும் - எடுத்துக்காட்டாக, இது ஒரு தூண்டல் கட்டத்தில் அடிப்படை வழக்கைத் தவிர்க்கலாம் அல்லது "பொதுமையை உடைக்காமல்" என்று கூறலாம், ஆனால் உண்மையில் பொதுவான தன்மையை உடைக்கும் ஒரு அனுமானத்தை உருவாக்கலாம்.

எனவே ஆதாரத்தில் தங்க விதி: ஆதாரத்தின் யோசனையைக் கண்டுபிடித்து கோடிட்டுக் காட்ட AI ஐப் பயன்படுத்தவும்; ஒவ்வொரு தர்க்கரீதியான படியின் செல்லுபடியை நீங்களே சரிபார்க்கவும். ஒரு ஆதாரத்தை "ஏற்றுக்கொள்வதற்கு" முன், ஒவ்வொரு "எனவே" உண்மையில் செல்லுபடியாகும் என்பதை உறுதிப்படுத்தவும்.

படிப்படியாக: ஆதாரத்தை சரிபார்த்தல்

1. கூற்று மற்றும் அனுமானங்களை தெளிவுபடுத்துங்கள். எது நிரூபிக்கப்படுகிறது? எந்த அனுமானங்களின் கீழ்? இவை தெளிவற்றதாக இருந்தால், ஆதாரமும் தெளிவற்றதாக இருக்கும்.

2. ஆதாரம் முறையை அறிந்து கொள்ளுங்கள். நேரடியாக, முரண்பாட்டால், தூண்டுதலாக, முரண்பாடாக? முறையின் கட்டமைப்புத் தேவைகளை அறிந்து கொள்ளுங்கள் (எ.கா., தூண்டலில், அடிப்படை வழக்கு + தூண்டல் படி அவசியம்).

3. ஒவ்வொரு "எனவே" கேள்வி. ஒவ்வொரு தருக்க மாற்றத்திலும், "இது உண்மையில் முந்தைய படிகளில் இருந்து பின்பற்றுகிறதா?" கேட்க. மிகவும் நயவஞ்சகமான இடைவெளிகள் "வெளிப்படையாக", "அது எளிதாகக் காணக்கூடியது", "பொதுத்தன்மையை இழக்காமல்" போன்ற வெளிப்பாடுகளுக்குப் பின்னால் ஒளிந்து கொள்கிறது.

4. மறைமுகமான அனுமானங்களைத் தேடுங்கள். ஆதாரம் சொல்லப்படாத அனுமானத்தை நம்பியிருக்கிறதா? எடுத்துக்காட்டாக, ஒரு எண் நேர்மறை அல்லது ஒரு செயல்பாடு தொடர்ச்சியானது என்பதை அமைதியாக ஏற்றுக்கொள்ளலாம்.

5. எதிர் உதாரணத்தை முயற்சிக்கவும். உரிமைகோரல் தவறானது எனில், ஒரு எதிர் உதாரணம் அதை இடிக்கும். ஆதாரத்தை ஏற்றுக்கொள்வதற்கு முன், எளிய சிறப்பு நிகழ்வுகளில் உரிமைகோரல் உண்மையா என்பதைச் சரிபார்க்கவும்.

6. கொள்முதல் ஆணையத்தை அணுகவும். அறியப்பட்ட கோட்பாடுகளுக்கான நிலையான ஆதாரத்தை நம்பகமான ஆதாரத்துடன் ஒப்பிடுக (பாடப்புத்தகம், சக மதிப்பாய்வு செய்யப்பட்ட ஆதாரம்).

குறிப்பு: சான்றில் உள்ள "பொதுமை இழக்காமல்" என்ற சொற்றொடர் இரட்டை முனைகள் கொண்ட வாள். சில நேரங்களில் அது உண்மையில் செல்லுபடியாகும் (சமச்சீர் இருந்தால்), சில நேரங்களில் அது ஒரு மறைக்கப்பட்ட பிழை. AI இந்த வெளிப்பாட்டை அதிகம் பயன்படுத்துகிறது. "பொதுமை உண்மையில் உடைக்கப்படவில்லை" என்று ஒவ்வொரு முறையும் உங்களை நியாயப்படுத்துங்கள்; அதற்கு AI இன் வார்த்தையை எடுத்துக் கொள்ள வேண்டாம்.

ஆதாரம் முறைகள் மற்றும் ஆபத்துகள்

ஆதாரம் முறை

கட்டமைப்பு

மிகவும் பொதுவான AI பொறி

நேரடி

அனுமானம் → ... → முடிவு

இடையில் ஒரு அடியைத் தவிர்த்தல்

முரண்பாடு

எதிர் → முரண்பாட்டைக் கண்டறியவும்

முரண்பாடு உண்மையானது அல்ல

தூண்டல்

அடிப்படை வழக்கு + படி

அடிப்படை சூழ்நிலையை மறந்து விடுகிறார்கள்

கருத்தடை

¬முடிவு → ¬ அனுமானம்

தவறான மறுப்பு

எதிர் உதாரணம் (மறுப்பு)

ஒற்றை எதிர் உதாரணம்

எதிர் உதாரணம் தவறானது

மூன்று சிறிய வழக்குகள்

வழக்கு 1 - முழுமையற்ற அடிப்படை வழக்கு. தூண்டல் மூலம் "1 + 2 + ... + n = n(n+1)/2" சூத்திரத்தை AI நிரூபித்தது ஒரு ஆசிரியர். AI தூண்டல் படியை சரியாக எழுதியது ஆனால் அடிப்படை வழக்கை (n=1) சரிபார்க்கவில்லை. ஆசிரியர் "அடிப்படை வழக்கு எங்கே?" அவர் கேட்டார்; AI சேர்த்தது. தரை நிலை இல்லாமல், தூண்டல் செல்லாது; 30-வினாடி காசோலை ஆதாரத்தை சேமிக்கிறது.

வழக்கு 2 - பூஜ்ஜியத்தால் இரகசியப் பிரிவு. "ஒவ்வொரு a, b க்கும் a = b" போன்ற அபத்தமான "ஆதாரத்தை" ஒரு மாணவர் பார்த்தார் மற்றும் AI யிடம் "இங்கே தவறு எங்கே?" என்று கேட்டார். என்று கேட்டான். ஆதாரம் ஒரு படியில் (a - b) ஆல் வகுக்கப்படுகிறது என்பதை YZ சரியாகக் காட்டியது, மேலும் a = b அனுமானத்தின் கீழ், இது பூஜ்ஜியத்தால் வகுபடும். இங்கே AI ஒரு தணிக்கையாளராக வெற்றிகரமாக இருந்தது; ஆனால் மாணவர் தனது சொந்த கையால் இந்த படிநிலையை சரிபார்த்தார்.

வழக்கு 3 - தவறான ஆதாரங்களை உறுதிப்படுத்துதல். ஒரு பொறியியல் மாணவர் ஒரு சமத்துவமின்மையை நிரூபித்தார். உரை சரளமாகவும் நம்பத்தகுந்ததாகவும் இருந்தது, ஆனால் ஒரு படியில் சதுர வேர்களை எடுக்கும்போது, ​​​​அது நேர்மறை மற்றும் எதிர்மறை வேர்கள் இரண்டின் சாத்தியத்தையும் புறக்கணித்து நேர்மறையை மட்டுமே எடுத்தது. மாணவர் ஒவ்வொரு அடியாக விசாரிக்கும் போது இந்த இடைவெளியைக் கண்டறிந்தார். கூடுதல் நிபந்தனை (மாறிகளின் நேர்மறை) சேர்க்கப்படும்போது ஆதாரம் செல்லுபடியாகும்.

நகலெடுக்கக்கூடிய நான்கு வார்ப்புருக்கள்

1) ஆதார வரைவைக் கோருதல் (யோசனை):

பின்வரும் கூற்றை (நேரடி, முரண், தூண்டல், முரண்பாடு) நிரூபிக்க எந்த முறை பொருத்தமானதாக இருக்கும்? MAIN IDEA மற்றும் ஆதாரத்தின் எலும்புக்கூட்டை மட்டும் கொடுங்கள், முழு ஆதாரத்தையும் எழுத வேண்டாம். உரிமைகோரல்: [இங்கே]

2) படிப்படியாக, நியாயமான ஆதாரம்:

பின்வரும் உரிமைகோரலை [முறை] மூலம் நிரூபிக்கவும்: [உரிமைகோரல்]. ஒவ்வொரு அடியிலும் நீங்கள் எந்த கோட்பாடு/தேற்றம்/வரையறையை நம்பியிருக்கிறீர்கள் என்பதை எழுதுங்கள். "தெளிவாக" அல்லது "எளிதாக" போன்ற வெளிப்பாடுகளைப் பயன்படுத்த வேண்டாம்; ஒவ்வொரு மாற்றத்தையும் முழுமையாக நியாயப்படுத்தவும். தூண்டல் என்றால், அடிப்படை வழக்கு மற்றும் தூண்டல் படியை தனித்தனியாகக் காட்டவும்.

3) ஆதார ஓட்டை வேட்டை:

கீழே உள்ள ஆதாரத்தைப் பாருங்கள். தர்க்கரீதியான இடைவெளிகள், மறைமுகமான அனுமானங்கள் மற்றும் நியாயமற்ற பாய்ச்சல்களைத் தேடுங்கள். ஒவ்வொரு "எனவே" உண்மையில் முந்தைய படிகளிலிருந்து பின்பற்றுகிறதா என்பதைச் சரிபார்க்கவும். நீங்கள் கண்டறிந்த ஒவ்வொரு இடைவெளியும் எந்தப் படியில் உள்ளது என்பதை எழுதுங்கள். ஆதாரம்: [இங்கே]

4) எதிர் உதாரணத்தைத் தேடுங்கள்:

பின்வரும் உரிமைகோரல் உண்மையா என்பதை நான் சோதிக்க விரும்புகிறேன்: [உரிமைகோரல்]. எளிய சிறப்பு நிகழ்வுகளில் முதலில் அதை சோதிக்கவும்; எதிர் உதாரணத்தைக் கண்டுபிடிக்க முயற்சிக்கவும். நீங்கள் ஒரு எதிர் உதாரணத்தைக் கண்டால், அதைக் காட்டுங்கள்; உங்களால் அதைக் கண்டுபிடிக்க முடியவில்லை என்றால், நீங்கள் முயற்சித்த சூழ்நிலைகளைப் பட்டியலிடுங்கள் (ஆனால் இது ஆதாரம் அல்ல, ஆதாரத்தைத் தேடுவது).

பலவீனமான வரியில் / வலுவான வரியில்

பலவீனமானது: "√2 பகுத்தறிவற்றது என்பதை நிரூபிக்கவும்."

முடிவு: நிலையான ஆதாரம் வருகிறது, ஆனால் ஒரு படி (எ.கா. "பின் p என்பது கூட") நியாயப்படுத்தப்படாமல் தவிர்க்கப்பட்டிருக்கலாம், நீங்கள் கவனிக்க மாட்டீர்கள்.

வலிமையானது: "√2 பகுத்தறிவற்றது என்பதை முரண்பாட்டின் மூலம் நிரூபிக்கவும். ஒவ்வொரு படியிலும் நீங்கள் எந்த அனுமானத்தைப் பயன்படுத்தியுள்ளீர்கள் என்பதை எழுதவும்; 'p² சமமாக இருந்தால், p சமமாக இருக்கும்' போன்ற இடைநிலை உரிமைகோரல்களையும் நியாயப்படுத்தவும். இறுதியாக, முரண்பாடு எங்கு எழுகிறது என்பதைத் தெளிவாகக் காட்டுங்கள்."

முடிவு: ஒவ்வொரு இடைநிலை உரிமைகோரலும் நியாயமானது, முரண்பாட்டின் ஆதாரம் தெளிவாக உள்ளது, எந்த இடைவெளியும் இல்லை.

பொதுவான தவறுகள்

• செல்லுபடியாகும் சரளத்தை குழப்புகிறது. வற்புறுத்தும் உரை சரியான ஆதாரம் அல்ல; ஒவ்வொரு அடியும் கண்காணிக்கப்பட வேண்டும்.
• தூண்டலில் தரை நிலையைத் தவிர்ப்பது. AI அடிக்கடி அடிப்படை வழக்கை மறந்துவிடுகிறது; தூண்டல் படி மட்டும் போதாது.
• "பொதுமையை இழக்காமல்" கேள்வியின்றி ஏற்றுக்கொள்வது. இந்த அறிக்கை மறைந்திருக்கும் பிழையாக இருக்கலாம்; ஒவ்வொரு முறையும் அதை நியாயப்படுத்துங்கள்.
• மறைமுகமான அனுமானங்களைப் பார்க்கவில்லை. நேர்மறை, தொடர்ச்சி, பூஜ்ஜியமற்ற தன்மை போன்ற அனுமானங்கள் நிரூபணத்தில் அமைதியாக கசியலாம்.
• எதிர் உதாரணத்தை முயற்சிக்காமல் ஆதாரத்தை நம்புதல். கூற்று பொய்யானால், ஆதாரமும் தவறானது; எளிய வழக்குகளில் உரிமைகோரலின் உண்மையை முதலில் சோதிக்கவும்.

எச்சரிக்கை: AI ஆனது உண்மையில் தவறான உரிமைகோரலுக்கு கூட "ஆதாரத்தை" உருவாக்க முடியும் - ஏனெனில் இது உரையை உருவாக்குவதால், அது தர்க்கரீதியான செல்லுபடியை உத்தரவாதம் செய்யாது. உரிமைகோரலின் துல்லியம் உங்களுக்குத் தெரியாவிட்டால், முதலில் எதிர் உதாரணத்தைத் தேடுங்கள். தவறான கூற்றின் "ஆதாரம்" அவசியமாக ஒரு ஓட்டையைக் கொண்டிருக்கும்; அந்த இடைவெளியைக் கண்டுபிடிப்பதே உங்கள் வேலை.

சுருக்கமாக

ப்ரூஃப் என்பது கணிதத்தின் மிகவும் கடுமையான தயாரிப்பு ஆகும், மேலும் AI ஆனது உறுதியான ஆனால் தவறான "சான்றுகளை" உருவாக்க முடியும். ஆதார யோசனை மற்றும் முறையைக் கண்டறிய AI ஐப் பயன்படுத்தவும்; ஒவ்வொரு தர்க்கரீதியான படியின் செல்லுபடியை நீங்களே சரிபார்க்கவும். முக்கிய வழக்குகள், மறைமுகமான அனுமானங்கள் மற்றும் "தெளிவாக" மற்றும் "பாரபட்சம் இல்லாமல்" போன்ற சொற்றொடர்களுக்குப் பின்னால் உள்ள ஓட்டைகளைத் தேடுங்கள். உரிமைகோரலின் உண்மை குறித்து உங்களுக்குத் தெரியாவிட்டால், ஆதாரத்தை நம்புவதற்கு முன் ஒரு எதிர் உதாரணத்தை முயற்சிக்கவும். சரளமாக இருப்பது செல்லுபடியாகாது.

விண்ணப்ப பணி

நிலையான தேற்றத்தைத் தேர்ந்தெடுக்கவும் (எ.கா. "இரண்டு இரட்டை எண்களின் கூட்டுத்தொகை சமமானது" அல்லது "√2 பகுத்தறிவற்றது"). 2வது டெம்ப்ளேட் மூலம் AI அதை படிப்படியாக நிரூபிக்க வேண்டும். இடைவெளி வேட்டைக்கு மீண்டும் 3வது டெம்ப்ளேட்டின் அதே ஆதாரத்தை கொடுங்கள் - அவர் தனது சொந்த ஆதாரத்தை சரிபார்க்கட்டும். ஒவ்வொரு "எனவே" கைமுறையாக வினவவும்: அடிப்படை வழக்கு உள்ளதா, மறைமுகமான அனுமானம் உள்ளதா, ஒவ்வொரு மாற்றமும் நியாயமானதா? குறைந்தபட்சம் ஒரு சாத்தியமான இடைவெளி அல்லது முன்னேற்றப் புள்ளியைக் கண்டறிந்து கவனிக்கவும்.

சரிபார்ப்பு பட்டியல்

• [ ] நான் கூற்று மற்றும் அனுமானங்களை தெளிவுபடுத்தினேன்.
• [ ] நான் ஆதாரம் முறை மற்றும் அதன் கட்டமைப்பு தேவைகளை தெரிந்து கொண்டேன்.
• [ ] ஒவ்வொரு "எனவே" முந்தைய படிகளிலிருந்து பின்பற்றுகிறது என்பதை நான் சரிபார்த்தேன்.
• [ ] நான் ஒரு அடிப்படை வழக்கு / மறைமுகமான அனுமான சோதனை செய்தேன்.
• [ ] நான் எளிய நிகழ்வுகளில் உரிமைகோரலைச் சோதித்தேன் மற்றும் எதிர் உதாரணங்களைத் தேடினேன்.
• அறியப்பட்ட தேற்றங்களுக்கான நிலையான ஆதாரத்தை நம்பகமான மூலத்துடன் ஒப்பிட்டுப் பார்த்தேன்.