Argumentation framework
செயற்கை நுண்ணறிவு மற்றும் தொடர்புடைய துறைகளில், ஒரு வாதம் கட்டமைப்பு என்பது சர்ச்சைக்குரிய தகவல்களைக் கையாள்வதற்கும் முறைப்படுத்தப்பட்ட வாதங்களைப் பயன்படுத்தி அதிலிருந்து முடிவுகளை எடுப்பதற்கும் ஒரு வழியாகும். சுருக்கமான வாத கட்டமைப்பில், நுழைவு நிலை தகவல் என்பது சுருக்கமான வாதங்களின் தொகுப்பாகும், இது எடுத்துக்காட்டாக, தரவு அல்லது ஒரு முன்மொழிவைக் குறிக்கிறது. வாதங்களுக்கு இடையிலான மோதல்கள் வாதங்களின் தொகுப்பில் ஒரு பைனரி உறவால் குறிப்பிடப்படுகின்றன. உறுதியான சொற்களில், நீங்கள் ஒரு வழிநடத்தப்பட்ட வரைபடத்துடன் ஒரு வாத கட்டமைப்பை பிரதிநிதித்துவப்படுத்துகிறீர்கள், அதாவது முனைகள் வாதங்கள், மற்றும் அம்புகள் தாக்குதல் உறவைக் குறிக்கின்றன. தர்க்க அடிப்படையிலான வாத கட்டமைப்புகள் அல்லது மதிப்பு அடிப்படையிலான வாத கட்டமைப்புகள் போன்ற துங்கின் கட்டமைப்பின் சில நீட்டிப்புகள் உள்ளன. சுருக்க வாதம் கட்டமைப்புகள் முறையான கட்டமைப்பு சுருக்க வாதம் கட்டமைப்புகள், வாதம் கட்டமைப்புகள் என்றும் அழைக்கப்படுகின்றன, அவை முறையாக ஒரு ஜோடி என வரையறுக்கப்படுகின்றனஃ வாதங்கள் எனப்படும் சுருக்க கூறுகளின் தொகுப்பு, குறிக்கப்படுகிறது ஒரு பைனரி உறவு, தாக்குதல் உறவு என்று அழைக்கப்படுகிறது, குறிக்கப்படுகிறது எடுத்துக்காட்டாக, வாத அமைப்பு நான்கு வாதங்கள் (மற்றும்) மற்றும் மூன்று தாக்குதல்களை (தாக்குதல்கள், தாக்குதல்கள் மற்றும் தாக்குதல்கள்) கொண்டுள்ளது. துங் சில கருத்துக்களை வரையறுக்கிறார்ஃ ஒரு வாதம் பாதுகாக்கப்பட்டால் மட்டுமே ஏற்றுக்கொள்ளப்படுகிறது, அதாவது, அதன் வாதங்களுக்கு இடையில் எந்தத் தாக்குதலும் இல்லாவிட்டால் வாதங்களின் தொகுப்பு முரண்பாடற்றதாக இருக்கும், முறையாகஃ, வாதங்களின் தொகுப்பு அது மோதல் இல்லாததாகவும், அதன் அனைத்து வாதங்களும் ஏற்றுக்கொள்ளப்பட்டதாகவும் இருந்தால் மட்டுமே ஏற்றுக்கொள்ளப்படுகிறது. ஒரு வாதத்தை ஏற்றுக்கொள்ள முடியுமா இல்லையா என்பதைத் தீர்மானிக்க, அல்லது பல வாதங்களை ஒன்றாக ஏற்றுக்கொள்ள முடியுமா என்பதைத் தீர்மானிக்க, துங் ஏற்றுக்கொள்ளும் பல சொற்பொருள்களை வரையறுக்கிறார், இது ஒரு வாத அமைப்பைக் கொடுத்தால், வாதங்களின் தொகுப்புகளை (நீட்டிப்புகள் என்று அழைக்கப்படுகிறது) கணக்கிட அனுமதிக்கிறது. எடுத்துக்காட்டாக, கொடுக்கப்பட்டிருப்பது, அது ஏற்றுக்கொள்ளக்கூடிய தொகுப்பாக இருந்தால் மட்டுமே ஒரு முழுமையான நீட்டிப்பாகும், மேலும் அது தொடர்பான ஒவ்வொரு ஏற்றுக்கொள்ளக்கூடிய வாதமும், அது ஏற்றுக்கொள்ளக்கூடிய தொகுப்புகளில் அதிகபட்ச உறுப்பாக இருந்தால் (தொகுப்பு-கோட்பாட்டு சேர்ப்பைப் பொறுத்தவரை) மட்டுமே ஒரு விருப்பமான நீட்டிப்பாகும், இது ஒரு மோதல் இல்லாத தொகுப்பாக இருந்தால் மட்டுமே ஒரு நிலையான நீட்டிப்பாகும், இது (முறையாக, அதாவது, (தனித்துவமான) அடித்தள நீட்டிப்பாகும், இது முழுமையான நீட்டிப்புகளில் (தொகுப்பு சேர்ப்பைப் பொறுத்தவரை) மிகச்சிறிய உறுப்பாக இருந்தால் மட்டுமே. இந்த சொற்பொருள்களுடன் கட்டப்பட்ட நீட்டிப்புகளின் தொகுப்புகளுக்கு இடையில் சில சேர்த்தல்கள் உள்ளனஃ ஒவ்வொரு நிலையான நீட்டிப்பும் விரும்பப்படுகிறது, ஒவ்வொரு விருப்பமான நீட்டிப்பும் நிறைவடைகிறது, அடித்தள நீட்டிப்பு நிறைவடைகிறது, அமைப்பு நன்கு நிறுவப்பட்டிருந்தால் (அது போன்ற எல்லையற்ற வரிசை இல்லை), இந்த சொற்பொருள்கள் அனைத்தும் ஒத்துப்போகின்றன-ஒரே ஒரு நீட்டிப்பு அடித்தளமாக, நிலையான, விருப்பமான மற்றும் முழுமையானது. வேறு சில சொற்பொருள்கள் வரையறுக்கப்பட்டுள்ளன. ஒன்று அமைப்பின்-நீட்டிப்புகளின் தொகுப்பைக் குறிப்பிடுவதற்கான குறியீட்டை அறிமுகப்படுத்துகிறது. மேலே உள்ள படத்தில் உள்ள அமைப்பைப் பொறுத்தவரை, ஒவ்வொரு சாணத்தின் சொற்பொருளுக்கும்-அமைப்பு நன்கு நிறுவப்பட்டுள்ளது. சொற்பொருள்கள் ஏன் ஒத்துப்போகின்றன என்பதை இது விளக்குகிறது, மேலும் ஏற்றுக்கொள்ளப்பட்ட வாதங்கள்ஃ மற்றும். வாதங்களை ஏற்றுக்கொள்வதை வெளிப்படுத்த நீட்டிப்புகளை விட லேபிள்கள் லேபிள்கள் மிகவும் வெளிப்படையான வழியாகும். குறிப்பாக, லேபிளிங் என்பது ஒவ்வொரு வாதத்தையும் (வாதம் ஏற்றுக்கொள்ளப்படுகிறது), அவுட் (வாதம் நிராகரிக்கப்படுகிறது), அல்லது அன்டெக் (வாதம் வரையறுக்கப்படவில்லை-ஏற்றுக்கொள்ளப்படவில்லை அல்லது மறுக்கப்படவில்லை) என்ற லேபிளுடன் தொடர்புபடுத்தும் ஒரு வரைபடமாகும். ஜோடிகளின் தொகுப்பாக ஒரு லேபிளிங்கையும் ஒருவர் கவனிக்கலாம். அத்தகைய வரைபடம் கூடுதல் கட்டுப்பாடு இல்லாமல் அர்த்தமுள்ளதாக இல்லை. மறுசீரமைப்பு பெயரிடுதல் என்ற கருத்து வரைபடத்தின் உணர்வுக்கு உத்தரவாதம் அளிக்கிறது. ஒவ்வொரு நீட்டிப்பையும் மறுசீரமைப்பு பெயரிடுதலாக மாற்ற முடியும் என்றால் மற்றும் இருந்தால் மட்டுமேஃ நீட்டிப்பின் வாதங்கள் உள்ளன, நீட்டிப்பின் வாதத்தால் தாக்கப்பட்டவை வெளியே உள்ளன, மற்றவை முடிவு செய்யப்படவில்லை என்றால் மட்டுமே இது கணினியில் மறுசீரமைப்பு பெயரிடல் ஆகும். மாறாக, வாதங்களை வைத்திருப்பதன் மூலம் ஒருவர் மறுசீரமைப்பு லேபிளிங்கிலிருந்து ஒரு நீட்டிப்பை உருவாக்க முடியும். உண்மையில், மறுசீரமைப்பு பெயரிடுதல்கள் மற்றும் முழுமையான நீட்டிப்புகளை ஒரு புறநிலை வழியில் வரைபடமாக்க முடியும் என்பதை காமினாடா நிரூபித்தது. மேலும், மற்ற டட்டுங்கின் சொற்பொருள்கள் சில குறிப்பிட்ட மறுசீரமைப்பு பெயரிடுதல்களுடன் தொடர்புடையதாக இருக்கலாம். மறுசீரமைப்பு முத்திரைகள் ஏற்றுக்கொள்ளப்படாத வாதங்களை வேறுபடுத்துகின்றன, ஏனெனில் அவை ஏற்றுக்கொள்ளப்பட்ட வாதங்களாலும் வரையறுக்கப்படாத வாதங்களாலும் தாக்கப்படுகின்றன-அதாவது, பாதுகாக்கப்படாதவர்கள் தங்களைத் தற்காத்துக் கொள்ள முடியாது. ஒரு வாதம் குறைந்தபட்சம் மற்றொரு அன்டெக் மூலம் தாக்கப்பட்டால் அது அன்டெக் ஆகும். வாதங்களால் மட்டுமே அது தாக்கப்பட்டால், அது உள்ளே இருக்க வேண்டும், மேலும் அது ஏதேனும் வாதத்தில் தாக்கப்பட்டால், அது வெளியேறும். மேலே உள்ள அமைப்புடன் ஒத்திருக்கும் தனித்துவமான மறுசீரமைப்பு பெயரிடல். ஒரு வாத அமைப்பில் இருந்து அனுமானம் பொதுவாக கொடுக்கப்பட்ட சொற்பொருளுக்கு பல நீட்டிப்புகள் கணக்கிடப்படும் போது, அமைப்பில் இருந்து காரணமிடும் முகவர் தகவல்களை ஊகிக்க பல வழிமுறைகளைப் பயன்படுத்தலாம்ஃ நம்பகமான அனுமானம்ஃ முகவர் ஒரு வாதத்தை ஏற்றுக்கொள்கிறார், அது குறைந்தபட்சம்-நீட்டிப்புகளில் ஒன்றைச் சேர்ந்திருந்தால்-இந்த விஷயத்தில், முகவர் ஒன்றாக ஏற்றுக்கொள்ள முடியாத சில வாதங்களை ஏற்றுக்கொள்வதில் ஆபத்து உள்ளது (தாக்குதல்கள் மற்றும் ஒவ்வொன்றும் நீட்டிப்புக்கு சொந்தமானது) சந்தேகத்திற்குரிய அனுமானம்ஃ முகவர் ஒவ்வொரு நீட்டிப்புக்கும் சொந்தமானது என்றால் மட்டுமே ஒரு வாதத்தை ஏற்றுக்கொள்கிறார். இந்த வழக்கில், முகவர் மிகக் குறைந்த தகவலைக் கண்டுபிடிக்கும் அபாயம் உள்ளது (நீட்டிப்புகளின் குறுக்குவெட்டு காலியாக இருந்தால் அல்லது மிகச் சிறிய கார்டினல் இருந்தால்). தகவல்களை ஊகிப்பதற்கான இந்த இரண்டு முறைகளுக்கும், ஒருவர் ஏற்றுக்கொள்ளப்பட்ட வாதங்களின் தொகுப்பை அடையாளம் காணலாம், முறையே சொற்பொருளின் கீழ் நம்பகத்தன்மையுடன் ஏற்றுக்கொள்ளப்பட்ட வாதங்களின் தொகுப்பு மற்றும் சொற்பொருளின் கீழ் சந்தேகத்துடன் ஏற்றுக்கொள்ளப்பட்ட வாதங்களின் தொகுப்பு (சொற்பொருளைப் பற்றி தெளிவின்மை இல்லை என்றால் தவறவிடப்படலாம்). நிச்சயமாக, ஒரே ஒரு நீட்டிப்பு இருக்கும்போது (எடுத்துக்காட்டாக, அமைப்பு நன்கு நிறுவப்பட்டிருக்கும் போது), இந்த சிக்கல் மிகவும் எளிதானதுஃ முகவர் தனித்துவமான நீட்டிப்பின் வாதங்களை ஏற்றுக்கொள்கிறார் மற்றும் மற்றவர்களை நிராகரிக்கிறார். தேர்ந்தெடுக்கப்பட்ட சொற்பொருளுடன் ஒத்திருக்கும் பெயரிடுதல்களிலும் இதே தர்க்கத்தை செய்ய முடியும்ஃ ஒவ்வொரு பெயரிடலுக்கும் ஒரு வாதம் இருந்தால் அதை ஏற்றுக்கொள்ளலாம் மற்றும் ஒவ்வொரு பெயரிடலுக்கும் அது வெளியே இருந்தால் மறுக்கப்படலாம், மற்றவர்கள் தீர்மானிக்கப்படாத நிலையில் இருந்தால் (வாதங்களின் நிலை நம்பிக்கைகளின் மாறும் தன்மைக்கான ஏஜிஎம் கட்டமைப்பில் ஒரு நம்பிக்கையின் அறிவுசார் நிலைகளை நினைவூட்டலாம்). வாத கட்டமைப்புகளுக்கு இடையிலான சமநிலை வாத கட்டமைப்புகளுக்கு இடையிலான சமநிலைக்கு பல அளவுகோல்கள் உள்ளன. அந்த அளவுகோல்களில் பெரும்பாலானவை நீட்டிப்புகளின் தொகுப்புகள் அல்லது ஏற்றுக்கொள்ளப்பட்ட வாதங்களின் தொகுப்பைப் பற்றியவை. முறைப்படி, ஒரு சொற்பொருளைக் கொடுக்கப்பட்டால்ஃ இரண்டு வாத கட்டமைப்புகள் ஒரே-நீட்டிப்புகளின் தொகுப்பைக் கொண்டிருந்தால் அவை சமமானவை, அதாவதுஃ இரண்டு வாத கட்டமைப்புகள் ஒரே வாதங்களை சந்தேகத்துடன் ஏற்றுக்கொண்டால் அவை சமமானவை, அதாவதுஃ ஒரே வாதங்களை நம்பகத்தன்மையுடன் ஏற்றுக்கொண்டால் இரண்டு வாத கட்டமைப்புகள் சமமானவை, அதாவது. வலுவான சமநிலை இரண்டு அமைப்புகள் மற்றும் சமமானவை என்று கூறுகிறது, மற்ற அனைத்து அமைப்புகளுக்கும், ஒன்றிணைப்பு மற்றும் ஒன்றிணைப்புடன் சமமாக (கொடுக்கப்பட்ட அளவுகோலுக்கு) இருந்தால் மட்டுமே. பிற வகைகள் சாணத்தின் சுருக்கக் கட்டமைப்பு பல குறிப்பிட்ட நிகழ்வுகளுக்கு உடனடியாக உறுதிப்படுத்தப்பட்டுள்ளது. தர்க்க அடிப்படையிலான வாத கட்டமைப்புகளின் விஷயத்தில், ஒரு வாதம் ஒரு சுருக்கமான உருவம் அல்ல, ஆனால் ஒரு ஜோடி, இதில் முதல் பகுதி வாதத்தின் இரண்டாவது பகுதிக்கான சூத்திரத்தை நிரூபிக்க போதுமான குறைந்தபட்ச நிலையான சூத்திரங்களின் தொகுப்பாகும். முறைப்படி, ஒரு வாதம் என்பது ஒரு ஜோடி, இது குறைந்தபட்ச திருப்திகரமான தொகுப்பாகும், அங்கு முகவர் நியாயப்படுத்த பயன்படுத்தப்படும் சூத்திரங்களின் தொகுப்பாகும். ஒருவர் ஒரு விளைவு மற்றும் ஒரு ஆதரவு என்று அழைக்கிறார். இந்த வழக்கில், தாக்குதல் உறவு கார்ட்டீசியன் உற்பத்தியின் துணைக்குழுவாக வெளிப்படையான முறையில் கொடுக்கப்படவில்லை, ஆனால் ஒரு வாதம் மற்றொன்றைத் தாக்குகிறதா என்பதைக் குறிக்கும் ஒரு பண்பு. எடுத்துக்காட்டாக, ரிலேஷன் டிஃபேட்டர்ஃ ரிலேஷன் அண்டர் கட் என்றால் மட்டுமே தாக்குதல்கள்ஃ ரிலேஷன் மறுப்புக்கு மட்டுமே தாக்குதல்கள்ஃ ஒரு டாட்டாலஜி என்றால் மட்டுமே தாக்குதல்கள் ஒரு குறிப்பிட்ட தாக்குதல் உறவைக் கருத்தில் கொண்டு, ஒருவர் ஒரு வரைபடத்தையும் காரணத்தையும் சுருக்க வாத கட்டமைப்புகளைப் போலவே உருவாக்க முடியும் (நீட்டிப்பு, சந்தேகம் அல்லது நம்பகமான அனுமானத்தை உருவாக்க சொற்பொருள்களைப் பயன்படுத்துதல்), வித்தியாசம் என்னவென்றால், தர்க்க அடிப்படையிலான வாத கட்டமைப்பிலிருந்து ஊகிக்கப்படும் தகவல்கள் சூத்திரங்களின் தொகுப்பாகும் (ஏற்றுக்கொள்ளப்பட்ட வாதங்களின் விளைவுகள்). மதிப்பு அடிப்படையிலான வாத கட்டமைப்புகள் மதிப்பு அடிப்படையிலான வாத கட்டமைப்புகள் வாதங்களின் பரிமாற்றத்தின் போது, சிலர் ஒரு குறிப்பிட்ட மதிப்பைப் பொறுத்தவரை மற்றவர்களை விட வலுவாக இருக்க முடியும் என்ற கருத்திலிருந்து வருகின்றன, எனவே வாதங்களுக்கு இடையிலான தாக்குதலின் வெற்றி இந்த மதிப்புகளின் வேறுபாட்டைப் பொறுத்தது. முறைப்படி, ஒரு மதிப்பு அடிப்படையிலான வாத கட்டமைப்பானது நிலையான கட்டமைப்பைக் கொண்ட மற்றும் ஒத்த ஒரு டப்பிள் ஆகும் (வாதங்களின் தொகுப்பு மற்றும் இந்த தொகுப்பில் ஒரு பைனரி உறவு), இது ஒரு காலியாக இல்லாத மதிப்புகளின் தொகுப்பாகும், இது ஒவ்வொரு உறுப்பையும் ஒரு உறுப்பிலிருந்து தொடர்புபடுத்தும் ஒரு வரைபடமாகும், மேலும் இது ஒரு முன்னுரிமை உறவாகும் (நிலையற்ற, மாறாத மற்றும் சமச்சீரற்ற). இந்த கட்டமைப்பில், ஒரு வாதம் மற்றொரு வாதத்தை தோற்கடித்தால், "நிலையான" அர்த்தத்தில் தாக்குதல்கள் இருந்தால் மட்டுமேஃ மற்றும், அது முன்னேறிய மதிப்பை விட முன்னுரிமை அளிக்கப்படுவதில்லை. இரண்டு வாதங்களும் ஒரே மதிப்புடன் தொடர்புடையதாக இருந்தால் அல்லது அந்தந்த மதிப்புகளுக்கு இடையில் முன்னுரிமை இல்லையென்றால் தாக்குதல் வெற்றி பெறுகிறது என்று ஒருவர் குறிப்பிடுகிறார். அனுமான அடிப்படையிலான வாதம் (ஏபிஏ) கட்டமைப்புகளில், வாதங்கள் விதிகளின் தொகுப்பாக வரையறுக்கப்படுகின்றன மற்றும் தாக்குதல்கள் அனுமானங்கள் மற்றும் முரண்பாடுகளின் அடிப்படையில் வரையறுக்கப்படுகின்றன. முறைப்படி, ஒரு அனுமான அடிப்படையிலான வாத கட்டமைப்பானது ஒரு டப்பிள் ஆகும், அங்கு ஒரு விலக்கு அமைப்பு, மொழி எங்கே மற்றும் அனுமான விதிகளின் தொகுப்பாகும், ஏனெனில் மற்றும்;, எங்கே ஒரு காலியாக இல்லாத தொகுப்பு, அனுமானங்கள் என்று பெயரிடப்பட்டுள்ளது; இருந்து மொத்த வரைபடம், இதற்கு மாறாக வரையறுக்கப்படுகிறது. ஏபிஏவை வரையறுப்பதன் விளைவாக, ஒரு வாதத்தை மர வடிவத்தில் குறிப்பிடலாம். முறைப்படி, ஒரு விலக்கு அமைப்பு மற்றும் அனுமானங்களின் தொகுப்பைக் கொடுத்தால், உரிமைகோரலுக்கான ஒரு வாதம், வாக்கியங்களால் அல்லது குறியீட்டால் முத்திரை குத்தப்பட்ட முனைகளைக் கொண்ட ஒரு மரமாகும், அதாவதுஃ ரூட் மூலம் முத்திரை குத்தப்படுகிறது ஒவ்வொரு முனைக்கு, ஒரு இலை முனை என்றால், பின்னர் ஒரு அனுமானத்தால் அல்லது ஒரு இலை முனை இல்லையென்றால், ஒரு அனுமான விதி உள்ளது, லேபிள் எங்கே மற்றும் என்றால், பின்னர் விதி இருக்கும் (அதாவது. குழந்தை உள்ளது) இல்லையெனில், குழந்தைகளைக் கொண்டுள்ளது, இது விடுப்பு முனைகளை முத்திரை குத்தும் அனைத்து அனுமானங்களின் தொகுப்பாகும் அனுமானங்களின் தொகுப்பால் ஆதரிக்கப்படும் உரிமைகோரலுடன் ஒரு வாதத்தையும் குறிக்கலாம் மேலும் காண்க வாத வரைபடம் வாதக் கோட்பாடு தோல்வியுற்ற வரைபட பகுத்தறிவு உரையாடல் தர்க்கம் தர்க்கம் மற்றும் வாதத்தின் இயங்கியல் தர்க்கம் வாதத்தின் அறிவு பிரதிநிதித்துவம் மற்றும் பகுத்தறிவு பாராகன்சிஸ்டன்ட் லாஜிக் நிகழ்தகவு வாதம் குறிப்புகள் செயற்கை நுண்ணறிவு குறிப்புகள்