రీసెర్చ్ ఫెలో అలెగ్జాండర్ V. ఘోర్గియు (UCL కంప్యూటర్ సైన్స్) AI ఎలా పనిచేస్తుందనే దానిపై చిక్కులను కలిగి ఉన్న తత్వవేత్తలు, గణిత శాస్త్రవేత్తలు మరియు కంప్యూటర్ శాస్త్రవేత్తలచే అభివృద్ధి చేయబడిన తర్కం యొక్క కొత్త పద్ధతిని సంభాషణలో వివరిస్తారు.
ఒకప్పుడు మనం నిశ్చయంగా అంటిపెట్టుకుని ఉన్న భాష యొక్క దృఢమైన నిర్మాణాలు పగులగొడుతున్నాయి. లింగం, జాతీయత లేదా మతాన్ని తీసుకోండి: ఈ భావనలు గత శతాబ్దపు గట్టి భాషా పెట్టెల్లో సౌకర్యవంతంగా ఉండవు. అదే సమయంలో, AI యొక్క పెరుగుదల పదాలు అర్థం మరియు తార్కికానికి ఎలా సంబంధం కలిగి ఉన్నాయో అర్థం చేసుకోవలసిన అవసరాన్ని మనపై ఒత్తిడి చేస్తుంది.
తత్వవేత్తలు, గణిత శాస్త్రజ్ఞులు మరియు కంప్యూటర్ శాస్త్రవేత్తల యొక్క ప్రపంచ సమూహం ఈ ఆందోళనలను పరిష్కరించే తర్కంపై కొత్త అవగాహనతో ముందుకు వచ్చారు, దీనిని “అనుమానవాదం” అని పిలుస్తారు.
తర్కం యొక్క ఒక ప్రామాణిక అంతర్ దృష్టి, కనీసం అరిస్టాటిల్ కాలం నాటిది, ఒక తార్కిక పరిణామం కేవలం “నిజం” లేదా “తప్పు” అనే కారణంతో కాకుండా, ప్రమేయం ఉన్న ప్రతిపాదనల యొక్క కంటెంట్‌పై ఆధారపడి ఉండాలి. ఇటీవల, స్వీడిష్ లాజిషియన్ డాగ్ ప్రవిట్జ్ గమనించారు, బహుశా ఆశ్చర్యకరంగా, తర్కం యొక్క సాంప్రదాయిక చికిత్స ఈ అంతర్ దృష్టిని సంగ్రహించడంలో పూర్తిగా విఫలమైంది.
తర్కం యొక్క ఆధునిక క్రమశిక్షణ, సైన్స్, ఇంజినీరింగ్ మరియు సాంకేతికత యొక్క దృఢమైన వెన్నెముక, ఒక ప్రాథమిక సమస్యను కలిగి ఉంది. గత రెండు సహస్రాబ్దాలుగా, తర్కం యొక్క తాత్విక మరియు గణిత పునాది అనేది పదాలను సూచించే దాని నుండి అర్థం ఉద్భవించిందని అభిప్రాయం. ఇది “నక్క” లేదా “ఆడ” అనే భావన వంటి విశ్వం చుట్టూ తేలుతున్న వస్తువుల యొక్క నైరూప్య వర్గాల ఉనికిని ఊహిస్తుంది మరియు ఈ వర్గాల గురించి వాస్తవాల పరంగా “సత్యం” అనే భావనను నిర్వచిస్తుంది.
ఉదాహరణకు, “టామీ ఈజ్ ఎ విక్సెన్” అనే ప్రకటనను పరిగణించండి. దీని అర్థం ఏమిటి’ సాంప్రదాయిక సమాధానం ఏమిటంటే, “విక్సెన్స్” అని పిలువబడే జీవుల వర్గం ఉంది మరియు “టామీ” అనే పేరు వాటిలో ఒకదానిని సూచిస్తుంది. “టామీ” నిజంగా “విక్సెన్” వర్గంలో ఉన్న సందర్భంలో ఈ ప్రతిపాదన నిజం. ఆమె విక్సెన్ కాకపోయినా, ఒకరిగా గుర్తిస్తే, ప్రామాణిక తర్కం ప్రకారం ఆ ప్రకటన తప్పు అవుతుంది.
కాబట్టి తార్కిక పర్యవసానం పూర్తిగా సత్యం యొక్క వాస్తవాల ద్వారా పొందబడుతుంది మరియు తార్కిక ప్రక్రియ ద్వారా కాదు. పర్యవసానంగా, ఇది 4=4 మరియు 4=((2 x 5) సమీకరణాల మధ్య వ్యత్యాసాన్ని చెప్పలేదు2 ) -10)/100 ఎందుకంటే అవి రెండూ నిజమే, కానీ మనలో చాలామంది తేడాను గమనించవచ్చు.
మన లాజిక్ సిద్ధాంతం దీన్ని నిర్వహించలేకపోతే, AIకి మరింత శుద్ధి చేసిన, మరింత సూక్ష్మమైన ఆలోచనను నేర్పించాలని మనం ఏ ఆశతో ఉన్నాము’ సత్యానంతర యుగంలో ఏది సరైనది మరియు ఏది తప్పు అని గుర్తించడంలో మనకు ఎలాంటి ఆశ ఉంది’
భాష మరియు అర్థం
“అన్నింటికి కాకపోయినా, ‘అర్థం’ అనే పదం యొక్క పెద్ద తరగతి కేసుల కోసం – ఈ పదాన్ని ఈ విధంగా వివరించవచ్చు: ఒక పదం యొక్క అర్థం భాషలో దాని ఉపయోగం.”
ఈ భావన సందర్భం మరియు ఫంక్షన్ గురించి మరింత అర్థాన్ని ఇస్తుంది. 1990వ దశకంలో, US తత్వవేత్త రాబర్ట్ బ్రాండమ్ “ఉపయోగం” అనే పదాన్ని “అనుమతి ప్రవర్తన” అని అర్థం చేసుకోవడానికి శుద్ధి చేసాడు, ఇది అనుమితివాదానికి పునాది వేసింది.
ఒక స్నేహితుడు, లేదా ఆసక్తిగల పిల్లవాడు, “టామీ ఈజ్ ఎ విక్సెన్” అని చెప్పడం అంటే ఏమిటి అని మమ్మల్ని అడిగారనుకోండి. మేము వారికి ఎలా సమాధానం ఇస్తాం’ బహుశా వస్తువుల వర్గాల గురించి మాట్లాడటం ద్వారా కాదు. “టామీ ఒక ఆడ నక్క” అని దీని అర్థం అని మనం ఎక్కువగా చెప్పవచ్చు.
మరింత ఖచ్చితంగా చెప్పాలంటే, టామీ విక్సెన్‌గా ఉండటం వల్ల ఆమె ఆడదని మరియు ఆమె నక్క అని మేము ఊహించగలమని మేము వివరిస్తాము. దీనికి విరుద్ధంగా, ఆమె గురించి ఆ రెండు వాస్తవాలు మనకు తెలిస్తే, ఆమె ఒక విక్సెన్ అని మనం ఖచ్చితంగా చెప్పవచ్చు. యొక్క అర్థం ఇన్ఫెరెన్షియలిస్ట్ అకౌంట్; విశ్వం చుట్టూ తేలుతున్న వస్తువుల యొక్క వియుక్త వర్గాలను ఊహించడం కంటే, మన భాషలోని అంశాల మధ్య సంబంధాల యొక్క గొప్ప వెబ్ ద్వారా అవగాహన ఇవ్వబడుతుందని మేము గుర్తించాము.
ఈ రోజు లింగం చుట్టూ ఉన్న వివాదాస్పద అంశాలను పరిగణించండి. “పురుషులు” లేదా “ఆడవారు” అనే వర్గాలు ఏదో ఒక కోణంలో నిజమైనవి కాదా వంటి నిర్మాణాత్మక సంభాషణలను నిరోధించే ఆ మెటాఫిజికల్ ప్రశ్నలను మేము దాటవేస్తాము. కొత్త తర్కంలో ఇలాంటి ప్రశ్నలకు అర్థం లేదు, ఎందుకంటే “ఆడ” అనేది ఒక నిజమైన అర్థంతో ఒక వర్గం అని చాలా మంది నమ్మరు.
ఒక అనుమితివాదిగా, “టామీ ఈజ్ ఫిమేల్” వంటి ప్రతిపాదనను ఇచ్చినప్పుడు, ఎవరైనా ఈ ప్రకటన నుండి ఏమి ఊహించవచ్చు అని మాత్రమే అడుగుతారు: ఒకరు టామీ యొక్క జీవసంబంధమైన లక్షణాల గురించి, మరొకరు ఆమె మానసిక అలంకరణ గురించి, మరొకరు పూర్తిగా పరిగణించవచ్చు. ఆమె గుర్తింపు యొక్క విభిన్న కోణం.
అనుమితి కాంక్రీటు చేసింది
కాబట్టి, అనుమితి అనేది ఒక చమత్కారమైన ఫ్రేమ్‌వర్క్, కానీ దానిని ఆచరణలో పెట్టడం అంటే ఏమిటి’ 1980లలో స్టాక్‌హోమ్‌లో ఒక ఉపన్యాసంలో, జర్మన్ లాజిషియన్ పీటర్ ష్రోడర్-హీస్టర్ అనుమితివాదం ఆధారంగా “ప్రూఫ్-థియరిటిక్ సెమాంటిక్స్” అని పిలిచే ఒక ఫీల్డ్‌ను బాప్టిజం చేశాడు. .
సంక్షిప్తంగా, ప్రూఫ్-థియరిటిక్ సెమాంటిక్స్ అనేది అనుమానాస్పదంగా తయారు చేయబడింది. ఇది గత కొన్ని సంవత్సరాలలో గణనీయమైన అభివృద్ధిని చూసింది. ఫలితాలు సాంకేతికంగా ఉన్నప్పటికీ, అవి తర్కంపై మన అవగాహనను విప్లవాత్మకంగా మారుస్తున్నాయి మరియు మానవ మరియు యంత్ర తార్కికం మరియు ఉపన్యాసంపై మన అవగాహనలో పెద్ద పురోగతిని కలిగి ఉంటాయి.
పెద్ద భాషా నమూనాలు (LLMలు), ఉదాహరణకు, ఒక వాక్యంలో తదుపరి పదాన్ని ఊహించడం ద్వారా పని చేస్తాయి. వారి అంచనాలు సాధారణ ప్రసంగాల ద్వారా మరియు రివార్డ్‌లతో కూడిన ట్రయల్ మరియు ఎర్రర్‌తో కూడిన సుదీర్ఘ శిక్షణా కార్యక్రమం ద్వారా మాత్రమే తెలియజేయబడతాయి. పర్యవసానంగా, వారు “భ్రాంతి” , అంటే వారు తార్కిక అర్ధంలేని వాక్యాల ద్వారా ఏర్పడిన వాక్యాలను నిర్మిస్తారు.
అనుమితివాదాన్ని ప్రభావితం చేయడం ద్వారా, వారు ఉపయోగిస్తున్న పదాల గురించి మనం వారికి కొంత అవగాహన కల్పించవచ్చు. ఉదాహరణకు, ఒక LLM చారిత్రక వాస్తవాన్ని భ్రమింపజేయవచ్చు: “రెండవ ప్రపంచ యుద్ధం తర్వాత జర్మనీ మరియు ఫ్రాన్స్‌ల మధ్య 1945లో వేర్సైల్లెస్ ఒప్పందం కుదిరింది” ఎందుకంటే ఇది సహేతుకంగా అనిపిస్తుంది. కానీ అనుమితితో కూడిన అవగాహనతో, “వెర్సైల్ ఒప్పందం” మొదటి ప్రపంచ యుద్ధం మరియు 1918 తర్వాత జరిగింది, రెండవ ప్రపంచ యుద్ధం మరియు 1945 కాదు అని గ్రహించగలదు.
విమర్శనాత్మక ఆలోచన మరియు రాజకీయాల విషయానికి వస్తే ఇది కూడా ఉపయోగపడుతుంది. తార్కిక పర్యవసానాలను అర్థం చేసుకోవడం ద్వారా, మేము వార్తాపత్రికలు మరియు చర్చలలో అర్ధంలేని వాదనలను స్వయంచాలకంగా ఫ్లాగ్ చేయగలము మరియు జాబితా చేయగలము. ఉదాహరణకు, ఒక రాజకీయ నాయకుడు ఇలా ప్రకటించవచ్చు: “నా ప్రత్యర్థి యొక్క ప్రణాళిక భయంకరమైనది, ఎందుకంటే వారు చెడు నిర్ణయాలు తీసుకున్న చరిత్రను కలిగి ఉన్నారు.”
తార్కిక పర్యవసానాల గురించి సరైన అవగాహనతో కూడిన వ్యవస్థ ప్రత్యర్థి పేలవమైన నిర్ణయాల చరిత్రను కలిగి ఉన్నారనేది నిజమే అయినప్పటికీ, వారి ప్రస్తుత ప్రణాళికలో తప్పుగా ఉన్న దానికి ఎటువంటి సమర్థన ఇవ్వబడలేదని ఫ్లాగ్ చేయగలదు.
వారి పీఠాల నుండి “నిజం” మరియు “తప్పు” తొలగించడం ద్వారా మేము సంభాషణలో వివేచనకు మార్గం తెరుస్తాము. ఈ పరిణామాల ఆధారంగా మనం ఒక వాదన – రాజకీయ చర్చల వేదికలో, స్నేహితులతో ఉత్సాహభరితమైన అసమ్మతి సమయంలో లేదా శాస్త్రీయ చర్చల ప్రపంచంలో – తార్కికంగా చెల్లుబాటు అవుతుందని వాదించవచ్చు.
ఈ వ్యాసం మొదట ప్రచురించబడింది సంభాషణ 14 నవంబర్ 2024న.
- యూనివర్సిటీ కాలేజ్ లండన్, గోవర్ స్ట్రీట్, లండన్, WC1E 6BT (0) 20 7679 2000
