Logico-linguistic modeling
லாஜிகோ-மொழியியல் மாடலிங் என்பது மென்மையான அமைப்புகள் முறை, மாதிரி முன்கணிப்பு தர்க்கம் மற்றும் புரோலாக் போன்ற தர்க்க நிரலாக்க மொழிகளிலிருந்து கருத்தியல் மாதிரிகளைப் பயன்படுத்தி கற்றல் திறனுடன் அறிவு அடிப்படையிலான அமைப்புகளை உருவாக்குவதற்கான ஒரு முறையாகும். லாஜிகோ-மொழியியல் மாடலிங் என்பது முதன்மையாக அறிவு அடிப்படையிலான அமைப்புகளை (கேபிஎஸ்) உருவாக்குவதற்காக உருவாக்கப்பட்ட ஆறு கட்ட முறையாகும், ஆனால் இது கையேடு முடிவு ஆதரவு அமைப்புகள் மற்றும் தகவல் மூல பகுப்பாய்விலும் பயன்பாட்டைக் கொண்டுள்ளது. லாஜிகோ-மொழியியல் மாதிரிகள் ஜான் எஃப். சோவாவின் கருத்தியல் வரைபடங்களுடன் மேலோட்டமான ஒற்றுமையைக் கொண்டுள்ளன; இரண்டும் குமிழி பாணி வரைபடங்களைப் பயன்படுத்துகின்றன, இரண்டும் கருத்துக்களுடன் தொடர்புடையவை, இரண்டும் தர்க்கத்தில் வெளிப்படுத்தப்படலாம் மற்றும் இரண்டும் செயற்கை நுண்ணறிவில் பயன்படுத்தப்படலாம். இருப்பினும், தர்க்க-மொழியியல் மாதிரிகள் தர்க்கரீதியான வடிவத்திலும் அவற்றின் கட்டுமான முறையிலும் மிகவும் வேறுபட்டவை. தகவல் அமைப்பு வடிவமைப்பிற்கான மென்மையான அமைப்புகள் முறையில் காணப்படும் தத்துவார்த்த சிக்கல்களைத் தீர்ப்பதற்காக லாஜிகோ-மொழியியல் மாடலிங் உருவாக்கப்பட்டது. கணினி பகுப்பாய்வின் ஒரு முறையான மென்மையான அமைப்பு முறை (எஸ். எஸ். எம்) எவ்வாறு செயற்கை நுண்ணறிவுக்கு விரிவுபடுத்தப்படலாம் என்பதைக் காண்பிப்பதே ஆராய்ச்சியின் முக்கிய உந்துதலாகும். பின்னணி எஸ்எஸ்எம் மூன்று மாடலிங் சாதனங்களைப் பயன்படுத்துகிறது. வளமான படங்கள், வேர் வரையறைகள் மற்றும் மனித செயல்பாட்டு அமைப்புகளின் கருத்தியல் மாதிரிகள். மூல வரையறைகள் மற்றும் கருத்தியல் மாதிரிகள் ஒரு வசதியாளரால் ஏற்பாடு செய்யப்பட்ட ஒரு மறு செய்கை விவாதத்தில் பங்குதாரர்களால் உருவாக்கப்படுகின்றன. இந்த முறையின் பலம், முதலாவதாக, அதன் நெகிழ்வுத்தன்மை, எந்தவொரு சிக்கல் சூழ்நிலையையும் தீர்க்க முடியும் என்ற உண்மை, இரண்டாவதாக, தீர்வு நிறுவனத்தில் உள்ள நபர்களுக்கு சொந்தமானது மற்றும் ஒரு வெளி ஆய்வாளரால் திணிக்கப்படவில்லை. தகவல் தேவைகள் பகுப்பாய்வு (ஐ. ஆர். ஏ) அடிப்படை எஸ். எஸ். எம் முறையை ஒரு கட்டத்திற்கு மேலும் எடுத்துச் சென்று, கருத்தியல் மாதிரிகளை ஒரு விரிவான தகவல் அமைப்பு வடிவமைப்பாக எவ்வாறு உருவாக்க முடியும் என்பதைக் காட்டியது. ஐ. ஆர். ஏ இரண்டு மாடலிங் சாதனங்களைச் சேர்க்க அழைப்பு விடுக்கிறதுஃ விரிவாக்கப்பட்ட கருத்தியல் மாதிரியில் அடையாளம் காணப்பட்ட செயல்பாடுகளிலிருந்து தேவையான தகவல் உள்ளீடுகள் மற்றும் வெளியீடுகளைக் காட்டும் "தகவல் பிரிவுகள்" மற்றும் தகவல் வகைகளிலிருந்து உள்ளீடுகள் மற்றும் வெளியீடுகளைக் காட்டும் ஒரு மேட்ரிக்ஸ் "மால்டீஸ் கிராஸ்" மற்றும் புதிய தகவல் செயலாக்க நடைமுறைகள் எங்கு தேவை என்பதைக் காட்டுகிறது. ஒரு பரிவர்த்தனை செயலாக்க அமைப்பின் விரிவான வடிவமைப்பிற்கு ஒரு முழுமையான மால்டீஸ் கிராஸ் போதுமானது. தர்க்க-மொழியியல் மாதிரியின் வளர்ச்சிக்கான ஆரம்ப உத்வேகம் ஒரு தகவல் அமைப்பு எவ்வாறு இயற்பியல் உலகத்துடன் ஒரு தொடர்பைக் கொண்டிருக்க முடியும் என்பதற்கான தத்துவார்த்த சிக்கலுடன் ஒரு கவலையாக இருந்தது. இது ஐ. ஆர். ஏ மற்றும் மிகவும் நிறுவப்பட்ட முறைகள் (எஸ். எஸ். ஏ. டி. எம் போன்றவை) இரண்டிலும் ஒரு சிக்கலாகும், ஏனெனில் அவற்றின் தகவல் அமைப்பு வடிவமைப்பு இயற்பியல் உலகின் மாதிரிகளை அடிப்படையாகக் கொண்டவை அல்ல. ஐ. ஆர். ஏ வடிவமைப்புகள் ஒரு கருத்தியல் கருத்தியல் மாதிரியை அடிப்படையாகக் கொண்டவை மற்றும் எஸ். எஸ். ஏ. டி. எம் ஆவணங்களின் இயக்கத்தின் மாதிரிகளை அடிப்படையாகக் கொண்டது. இந்த சிக்கல்களுக்கான தீர்வு ஒரு சூத்திரத்தை வழங்கியது, இது பரிவர்த்தனை செயலாக்க அமைப்புகளின் வடிவமைப்புடன் மட்டுப்படுத்தப்படவில்லை, ஆனால் கற்றல் திறனுடன் கேபிஎஸ் வடிவமைப்பிற்கு பயன்படுத்தப்படலாம். லாஜிகோ-மொழியியல் மாடலிங்கின் ஆறு நிலைகள் லாஜிகோ-மொழியியல் மாடலிங் முறை ஆறு நிலைகளைக் கொண்டுள்ளது. 1. சிஸ்டம்ஸ் அனாலிசிஸ் முதல் கட்டத்தில் லாஜிகோ-மொழியியல் மாடலிங் சிஸ்டம்ஸ் அனாலிசிஸுக்கு எஸ்எஸ்எம் பயன்படுத்துகிறது. இந்த கட்டம் பங்குதாரர்களை அடையாளம் காண்பதன் மூலமும், நிறுவன நோக்கங்களை மாதிரியாக்குவதன் மூலமும், சாத்தியமான தீர்வுகளைப் பற்றி விவாதிப்பதன் மூலமும் வாடிக்கையாளர் அமைப்பில் உள்ள சிக்கலை கட்டமைக்க முயல்கிறது. இந்த கட்டத்தில் ஒரு கேபிஎஸ் ஒரு தீர்வாக இருக்கும் என்று கருதப்படவில்லை, மேலும் லாஜிகோ-மொழியியல் மாடலிங் பெரும்பாலும் கணினிமயமாக்கப்பட்ட கேபிஎஸ் தேவையில்லாத தீர்வுகளை உருவாக்குகிறது. நிபுணத்துவ அமைப்புகள் ஒரே தலைப்பில் வெவ்வேறு நிறுவனங்களில் உள்ள தனிநபர்களின் நிபுணத்துவத்தைப் பிடிக்க முனைகின்றன. இதற்கு மாறாக, லாஜிகோ-மொழியியல் மாடலிங் மூலம் தயாரிக்கப்பட்ட ஒரு கேபிஎஸ், ஒரே நிறுவனத்தில் உள்ள தனிநபர்களின் நிபுணத்துவத்தை வெவ்வேறு தலைப்புகளில் பிடிக்க முயல்கிறது. தனிப்பட்ட நிபுணர்களைக் காட்டிலும் நிறுவன அல்லது குழு அறிவைப் பெறுவதற்கு முக்கியத்துவம் அளிக்கப்படுகிறது. லாஜிகோ-மொழியியல் மாதிரியாக்கத்தில் பங்குதாரர்கள் நிபுணர்களாக மாறுகிறார்கள். இந்த கட்டத்தின் இறுதிப் புள்ளி படம் 1 போன்ற எஸ். எஸ். எம் பாணி கருத்தியல் மாதிரிகள் ஆகும். 2. லாஜிகோ-மொழியியல் மாடலிங்கின் பின்னணியில் உள்ள கோட்பாட்டின் படி எஸ். எஸ். எம் கருத்தியல் மாதிரி உருவாக்கும் செயல்முறை ஒரு விட்ஜென்ஸ்டைனியன் மொழி-விளையாட்டு ஆகும், இதில் பங்குதாரர்கள் சிக்கல் சூழ்நிலையை விவரிக்க ஒரு மொழியை உருவாக்குகிறார்கள். லாஜிகோ-மொழியியல் மாதிரி இந்த மொழியை வரையறைகளின் தொகுப்பாக வெளிப்படுத்துகிறது, படம் 2 ஐப் பார்க்கவும். 3. அறிவு வெளிப்பாடு மொழியின் மாதிரி கட்டமைக்கப்பட்ட பிறகு, உண்மையான உலகத்தைப் பற்றிய புத்திசாலித்தனமான அறிவை பங்குதாரர்களால் சேர்க்க முடியும். பாரம்பரிய எஸ்எஸ்எம் கருத்தியல் மாதிரிகள் ஒரே ஒரு தர்க்கரீதியான இணைப்பைக் கொண்டுள்ளன (ஒரு தேவையான நிபந்தனை). காரண வரிசைகளைக் குறிக்க, "போதுமான நிபந்தனைகள்" மற்றும் "தேவையான மற்றும் போதுமான நிபந்தனைகள்" தேவைப்படுகின்றன. லாஜிகோ-மொழியியல் மாதிரியில் இந்த குறைபாடு இரண்டு கூடுதல் வகையான இணைப்புகளால் சரி செய்யப்படுகிறது. மூன்றாம் கட்டத்தின் விளைவு ஒரு அனுபவ மாதிரியாகும், படம் 3 ஐப் பார்க்கவும். 4. அறிவு பிரதிநிதித்துவம் மாதிரி முன்கணிப்பு தர்க்கம் (மாதிரி தர்க்கம் மற்றும் முன்கணிப்பு தர்க்கம் ஆகியவற்றின் கலவை) அறிவு பிரதிநிதித்துவத்தின் முறையான முறையாகப் பயன்படுத்தப்படுகிறது. மொழி மாதிரியின் இணைப்புகள் தர்க்கரீதியாக உண்மை ("எல்" மாடல் ஆபரேட்டரால் குறிக்கப்படுகிறது) மற்றும் அறிவு வெளிப்பாட்டு கட்டத்தில் சேர்க்கப்பட்ட இணைப்பு சாத்தியம் உண்மை ("எம்" மாடல் ஆபரேட்டரால் குறிக்கப்படுகிறது). நிலை 5 க்குச் செல்வதற்கு முன், மாதிரிகள் தர்க்கரீதியான சூத்திரங்களில் வெளிப்படுத்தப்படுகின்றன. 5. கணினி குறியீடு சூத்திரங்கள் முன்கணிப்பு தர்க்கத்தில் ப்ரோலக் செயற்கை நுண்ணறிவு மொழிக்கு எளிதாக மொழிபெயர்க்கப்படுகின்றன. முறை இரண்டு வெவ்வேறு வகையான புரோலாக் விதிகளால் வெளிப்படுத்தப்படுகிறது. மாதிரி உருவாக்கும் செயல்முறையின் மொழி உருவாக்கும் கட்டத்திலிருந்து எடுக்கப்பட்ட விதிகள் சரிசெய்ய முடியாதவை என்று கருதப்படுகின்றன. அதேசமயம் அறிவு வெளிப்பாட்டு கட்டத்தின் விதிகள் கற்பனையான விதிகளாக குறிக்கப்படுகின்றன. இந்த அமைப்பு முடிவெடுக்கும் ஆதரவுடன் மட்டுப்படுத்தப்படவில்லை, ஆனால் கற்றல் திறனில் கட்டமைக்கப்பட்டுள்ளது. 6. சரிபார்ப்பு இந்த முறையைப் பயன்படுத்தி கட்டப்பட்ட அறிவு அடிப்படையிலான அமைப்பு தன்னைச் சரிபார்க்கிறது. வாடிக்கையாளர்களால் கேபிஎஸ் பயன்படுத்தப்படும்போது சரிபார்ப்பு நடைபெறுகிறது. இது அமைப்பின் வாழ்நாள் முழுவதும் தொடரும் ஒரு தொடர்ச்சியான செயல்முறையாகும். நிஜ உலகத்தைப் பற்றிய பங்குதாரர்களின் நம்பிக்கைகள் தவறாக இருந்தால், கற்பனையான விதிகளுடன் முரண்படும் புரோலாக் உண்மைகளைச் சேர்ப்பதன் மூலம் இது வெளிப்படும். அறிவியல் பயன்பாடுகளின் தத்துவத்தில் காணப்படும் பொய்யான தன்மையின் உன்னதமான கொள்கையின்படி இது செயல்படுகிறது அறிவு அடிப்படையிலான கணினி அமைப்புகள் லாஜிகோ-மொழியியல் மாடலிங் ஒரு மருத்துவமனையில் நீரிழிவு நோயாளிகளை நிர்வகிப்பதற்கான ஒன்று போன்ற முழுமையாக செயல்படும் கணினிமயமாக்கப்பட்ட அறிவு அடிப்படையிலான அமைப்புகளை உருவாக்க பயன்படுத்தப்படுகிறது. கையேடு முடிவு ஆதரவு பிற திட்டங்களில் புரோலாக்கிற்குள் செல்ல வேண்டிய அவசியம் தேவையற்றதாகக் கருதப்பட்டது, ஏனெனில் அச்சிடப்பட்ட லாஜிகோ-மொழியியல் மாதிரிகள் முடிவெடுப்பதற்கான வழிகாட்டியைப் பயன்படுத்த எளிதானது. எடுத்துக்காட்டாக, அடமானக் கடன் ஒப்புதல் தகவல் மூல பகுப்பாய்வுக்கான ஒரு அமைப்பு சில சந்தர்ப்பங்களில் ஒரு KBS ஐ உருவாக்க முடியவில்லை, ஏனெனில் அந்த நிறுவனத்திற்கு அவர்களின் அனைத்து நடவடிக்கைகளையும் ஆதரிக்கத் தேவையான அனைத்து அறிவும் இல்லை. இந்த சந்தர்ப்பங்களில் லாஜிகோ-மொழியியல் மாடலிங் தகவல் வழங்குவதிலும் மேலும் தேவைப்படும் இடங்களிலும் குறைபாடுகளைக் காட்டியது. எடுத்துக்காட்டாக, ஒரு தொலைத்தொடர்பு நிறுவனத்தில் ஒரு திட்டமிடல் துறை விமர்சனம் தர்க்க-மொழியியல் மாடலிங் எஸ். எஸ். எம் இன் கருத்தியல் மாதிரியிலிருந்து கணினி குறியீட்டிற்கு மாறுவதில் காணப்படும் சிக்கல்களை முறியடிக்கும் அதே வேளையில், பங்குதாரர் உருவாக்கிய மாதிரி சிக்கலின் இழப்பில் அவ்வாறு செய்கிறது. இந்த சிக்கலின் நன்மைகள் கேள்விக்குரியவை மற்றும் இந்த மாடலிங் முறையைப் பயன்படுத்துவது மற்ற முறைகளை விட மிகவும் கடினமாக இருக்கலாம். இந்த வாதம் அடுத்தடுத்த ஆராய்ச்சிகளால் எடுத்துக்காட்டப்பட்டுள்ளது. தர்க்க-மொழியியல் மாதிரியைப் பயன்படுத்தி பன்னிரண்டு நிறுவனங்களில் கொள்முதல் முடிவுகளை மாதிரியாக்க ஆராய்ச்சியாளர்களின் முயற்சிக்கு மாதிரிகளை எளிமைப்படுத்துவதும் மாதிரி கூறுகளை அகற்றுவதும் தேவைப்பட்டது. மேலும் காண்க வாத வரைபடம் அறிவாற்றல் வரைபடம் கருத்து வரைபடம் தெளிவற்ற அறிவாற்றல் வரைபடம் அறிவு பிரதிநிதித்துவம் மற்றும் பகுத்தறிவு சொல்லாட்சிக் கட்டமைப்பு கோட்பாடு சொற்பொருள் நெட்வொர்க் குறிப்புகள் மேலும் வாசிப்பு கிரிகோரி, ஃபிராங்க் ஹட்சன் (1993) "மென்மையான அமைப்புகளின் மாதிரியின் தர்க்கரீதியான பகுப்பாய்வுஃ தகவல் அமைப்பு வடிவமைப்பு மற்றும் அறிவு அடிப்படையிலான அமைப்பு வடிவமைப்பிற்கான தாக்கங்கள்". முனைவர் பட்ட ஆய்வறிக்கை, வார்விக் பல்கலைக்கழகம். அறிவு பிரதிநிதித்துவம் அமைப்புகள் பகுப்பாய்வு மாதிரி தர்க்கம்