Olog
ஒலிக் கோட்பாடு என்பது அறிவு பிரதிநிதித்துவம், அறிவியல் மாதிரிகளின் கட்டுமானம் மற்றும் வகைக் கோட்பாடு, மொழியியல் மற்றும் வரைகலை கருவிகளைப் பயன்படுத்தி தரவு சேமிப்புக்கான கடுமையான கணித கட்டமைப்பை வழங்குவதற்கான ஒரு முயற்சியாகும். 2012 ஆம் ஆண்டில் டேவிட் ஸ்பிவாக் மற்றும் ராபர்ட் கென்ட் ஆகியோரால் ஓலோக்ஸ் அறிமுகப்படுத்தப்பட்டது. சொற்பிறப்பியல் "ஓலோக்" என்ற சொல் "ஆன்டாலஜி பதிவு" என்பதன் சுருக்கமாகும். "ஆன்டாலஜி" என்பது கிரேக்க மொழியில் இருந்து பெறப்பட்டது, அதாவது "இருப்பது"; அதாவது, வினைச்சொல்லின் தற்போதைய பங்கேற்பு "இருக்க வேண்டும்", மற்றும்-λογία,-லாஜியாஃ அறிவியல், ஆய்வு, கோட்பாடு. கணித சம்பிரதாயவாதம் கொடுக்கப்பட்ட களத்திற்கான ஒரு ஓலக் என்பது ஒரு வகை, அதன் பொருள்கள் களத்திற்கு பொருத்தமான சொற்றொடர்களுடன் (இன்னும் குறிப்பாக, ஒருமை காலவரையற்ற பெயர்ச்சொற்கள்) பெயரிடப்பட்ட பெட்டிகளாகும், மேலும் அதன் உருவங்கள் பெட்டிகளுக்கு இடையில் அம்புகளை இயக்குகின்றன, களத்திற்கு பொருத்தமான வினைச்சொற்களுடன் பெயரிடப்பட்டுள்ளன. இந்த பெயர்ச்சொல் மற்றும் வினைச்சொல் சொற்றொடர்கள் இணைந்து களத்தில் உள்ள பொருட்களுக்கு இடையிலான உறவுகளை வெளிப்படுத்தும் வாக்கியங்களை உருவாக்குகின்றன. ஒவ்வொரு ஓலோகிலும், பொருள்கள் ஒரு இலக்கு வகைக்குள் உள்ளன. வேறுவிதமாகக் குறிப்பிடப்படாவிட்டால், இலக்கு வகை, தொகுப்புகள் மற்றும் செயல்பாடுகளின் வகையாக எடுத்துக் கொள்ளப்படுகிறது. மேலே உள்ள வரைபடத்தில் உள்ள பெட்டிகள் அதன் பொருள்களைக் குறிக்கின்றன. எடுத்துக்காட்டாக, "ஒரு அமினோ அமிலம்" என்ற சொற்றொடரைக் கொண்ட பெட்டி அனைத்து அமினோ அமிலங்களின் தொகுப்பையும் குறிக்கிறது, மேலும் "ஒரு பக்க சங்கிலி" என்ற சொற்றொடரைக் கொண்ட பெட்டி அனைத்து பக்க சங்கிலிகளின் தொகுப்பையும் குறிக்கிறது. "உள்ளது" என்று பெயரிடப்பட்ட அம்பு "ஒரு அமினோ அமிலத்திலிருந்து" ஒரு பக்க சங்கிலிக்கு "சுட்டிக்காட்டுகிறது, இது ஒவ்வொரு அமினோ அமிலத்தையும் அதன் தனித்துவமான பக்கச் சங்கிலியுடன் வரைபடமாக்கும் செயல்பாட்டைக் குறிக்கிறது. பயன்படுத்தக்கூடிய மற்றொரு இலக்கு வகை பவர் செட் மோனாட்டின் க்ளைஸ்லி வகையாகும். கொடுக்கப்பட்ட ஒரு, பின்னர் A இன் சக்தி தொகுப்பாகும். இயற்கையான மாற்றம் சிங்கிள்டனுக்கு வரைபடமாக்கப்படுகிறது, மேலும் இயற்கையான மாற்றம் அதன் இணைப்புக்கு ஒரு தொகுப்பு தொகுப்பை வரைபடமாக்குகிறது. க்ளைஸ்லி வகை என்பது அவற்றுடன் பொருந்தக்கூடிய பொருள்கள் மற்றும் பைனரி உறவுகளை நிறுவும் உருவங்கள் கொண்ட வகையாகும். ஒரு உருவகப்படுத்துதலைக் கொடுத்தால், கொடுக்கப்பட்ட மற்றும், எப்போது வேண்டுமானாலும் அதைச் சொல்வதன் மூலம் உருவகப்படுத்துதலை வரையறுக்கிறோம். இந்த இலக்கு வகையுடன் பயன்படுத்தப்படும் வினைச்சொற்கள் துணைக்குழுக்களாக இருக்கும் பொருள்களுடன் அர்த்தமுள்ளதாக இருக்க வேண்டும்ஃ எடுத்துக்காட்டாக, "தொடர்புடையது" அல்லது "அதை விட பெரியது". மற்றொரு சாத்தியமான இலக்கு வகை கிரி மோனாட் என்று அழைக்கப்படும் நிகழ்தகவு விநியோகங்களின் க்ளைஸ்லி வகை ஆகும். இது மார்கோவ் முடிவெடுக்கும் செயல்முறைகளின் பொதுமைப்படுத்தலை வழங்குகிறது. Ologs மற்றும் தரவுத்தளங்கள் ஒரு Olog ஐ தரவுத்தள திட்டமாகவும் பார்க்கலாம். ஓலோகில் உள்ள ஒவ்வொரு பெட்டியும் (பொருள்) ஒரு மேஜை மற்றும் பெட்டியில் இருந்து வெளிப்படும் அம்புகள் (உருவங்கள்) நெடுவரிசைகளாக உள்ளன. ஒரு குறிப்பிட்ட நிகழ்வை ஒரு பொருளுக்கு ஒதுக்குவது ஒரு ஃபன்க்டர் மூலம் செய்யப்படுகிறது. மேலே உள்ள எடுத்துக்காட்டில், "ஒரு அமினோ அமிலம்" என்ற பெட்டி ஒரு அட்டவணையாக குறிப்பிடப்படும், அதன் வரிசைகளின் எண்ணிக்கை அமினோ அமிலங்களின் வகைகளின் எண்ணிக்கைக்கு சமம் மற்றும் அதன் நெடுவரிசைகளின் எண்ணிக்கை மூன்று, அந்த பெட்டியில் இருந்து வெளிப்படும் ஒவ்வொரு அம்புக்கும் ஒரு நெடுவரிசை. நடைமுறையில் வெவ்வேறு மாதிரிகள் அல்லது உலகக் கண்ணோட்டங்களுக்கிடையேயான தகவல்தொடர்பாக இருக்கக்கூடிய வெவ்வேறு ஓலோகுகளுக்கு இடையிலான ஒலோகுகளுக்கு இடையிலான உறவுகள் ஃபங்க்டர்களைப் பயன்படுத்தி செய்யப்படுகின்றன. ஸ்பிவாக் ஒரு 'அர்த்தமுள்ள' மற்றும் 'வலுவான அர்த்தமுள்ள' செயல்பாட்டாளர்களின் கருத்துக்களை நாணயப்படுத்துகிறார். இரண்டு ஓலோகுகள், ஃபன்க்டர்கள் (ஓலோகுகள் மற்றும் தரவுத்தளங்களில் உள்ள பகுதியைப் பார்க்கவும்) மற்றும் ஒரு ஃபன்க்டராக இருக்கட்டும். இது ஸ்கிமா மேப்பிங் என்று அழைக்கப்படுகிறது. இயற்கையான மாற்றம் இருந்தால் a அர்த்தமுள்ளதாக இருக்கும் என்று நாம் கூறுகிறோம் (F ஆல் J இன் புல்பேக்). ஒரு எடுத்துக்காட்டாகவும், இரண்டு வெவ்வேறு அறிவியல் மாதிரிகளாகவும் எடுத்துக் கொண்டால், முதல் மாதிரியால் செய்யப்பட்ட பொருள்களாக இருக்கும் "கணிப்புகள்", இரண்டாவது மாதிரிக்கு மொழிபெயர்க்க முடியும் என்றால் செயல்பாட்டாளர் அர்த்தமுள்ளவர். நம்மிடம் உள்ள ஒரு பொருளைக் கொடுத்தால் அது வலுவான அர்த்தமுள்ளதாக இருக்கும் என்று நாம் கூறுகிறோம். இந்த சமத்துவம் இயற்கையான ஐசோமார்பிசமாக இருக்க வேண்டும் என்பதற்கு சமம். சில நேரங்களில் ஒரு அர்த்தமுள்ள செயல்பாட்டாளரைக் கண்டுபிடிப்பது கடினமாக இருக்கும். அத்தகைய சந்தர்ப்பத்தில் நாம் ஒரு புதிய ஓலக்கை வரையறுக்க முயற்சி செய்யலாம், இது பொதுவான நிலையைக் குறிக்கிறது மற்றும் அர்த்தமுள்ள செயல்பாடுகளைக் கண்டறிகிறது. மேலே விவரிக்கப்பட்டுள்ளபடி ஓலோகுகளுக்கு இடையிலான தொடர்பு இரு வழி தகவல்தொடர்புக்கு மட்டுப்படுத்தப்பட்டிருந்தால், ஓலோகளின் தொகுப்பை ஒரு வரைபடத்தின் முனைகளாகவும், விளிம்புகளை ஓலோகளை இணைக்கும் செயல்பாடுகளாகவும் நாம் நினைக்கலாம். இரண்டுக்கும் மேற்பட்ட ஓலோகுகளுக்கு இடையே ஒரே நேரத்தில் தொடர்பு அனுமதிக்கப்பட்டால், வரைபடம் ஒரு சமச்சீர் எளிய சிக்கலாக மாறும். நல்ல நடைமுறையின் விதிகள் ஸ்பிவாக் ஒரு ஓலக்கை எழுதுவதற்கான நல்ல நடைமுறையின் சில விதிகளை வழங்குகிறது, அதன் உருவங்கள் செயல்பாட்டு தன்மையைக் கொண்டுள்ளன (கணித முறைமை பிரிவில் முதல் உதாரணத்தைப் பார்க்கவும்). ஒரு பெட்டியில் உள்ள உரை பின்வரும் விதிகளை கடைபிடிக்க வேண்டும்ஃ "a" அல்லது "an" என்ற வார்த்தையுடன் தொடங்குங்கள். (எடுத்துக்காட்டுஃ ஒரு அமினோ அமிலம்). ஓலோகின் எழுத்தாளரால் செய்யப்பட்ட மற்றும் அடையாளம் காணக்கூடிய ஒரு வேறுபாட்டைக் குறிப்பிடவும். நன்கு வரையறுக்கப்பட்ட செயல்பாட்டாளர் இருக்கும் ஒரு வேறுபாட்டைக் குறிக்கவும், அதன் வரம்பு, அதாவது. ஒரு உதாரணத்தை ஆவணப்படுத்தலாம். (எடுத்துக்காட்டுஃ அனைத்து அமினோ அமிலங்களின் தொகுப்பும் உள்ளது). ஒரு கூட்டு கட்டமைப்பில் உள்ள அனைத்து மாறிகளையும் அறிவிக்கவும். (எடுத்துக்காட்டுஃ ஒரு பெட்டியில் "ஒரு ஆணும் பெண்ணும்" என்று எழுதுவதற்குப் பதிலாக "ஒரு ஆணும் பெண்ணும்" அல்லது "ஒரு ஜோடி ஒரு ஆண் மற்றும் ஒரு பெண்" என்று எழுதுங்கள்). முதல் மூன்று விதிகள் ஓலக்கின் ஆசிரியரால் வரையறுக்கப்பட்ட பொருள்கள் (பெட்டிகள்) நன்கு வரையறுக்கப்பட்ட தொகுப்புகள் என்பதை உறுதி செய்கின்றன. நான்காவது விதி ஒரு ஓலக்கில் அம்புகளின் லேபிளிங்கை மேம்படுத்துகிறது. பயன்பாடுகள் சிலந்தி பட்டு மற்றும் இசை அமைப்புக்கு இடையிலான அறிவியல் ஒப்புமையை நிறுவ டேவிட் ஸ்பிவாக் மற்றும் பிறரால் பயோ நானோ சயின்ஸ் டிசம்பர் 2011 இதழில் வெளியிடப்பட்ட ஒரு கட்டுரையில் இந்த கருத்து பயன்படுத்தப்பட்டது. மேலும் காண்க ஹைபர் கிராஃப் மாடலிங் மொழி ஆன்டாலஜி மொழி இயக்கக் கோட்பாடு ஆர்காலஜி யுனிவர்சல் அல்ஜீப்ரா யுனிவர்சல் லாஜிக் குறிப்புகள் வெளிப்புற இணைப்புகள் கணிதக் கருத்துக்கள் ஆன்டாலஜி (தகவல் அறிவியல்)