Allen's interval algebra
ஆலனின் இடைவெளி இயற்கணிதம் என்பது 1983 ஆம் ஆண்டில் ஜேம்ஸ் எஃப். ஆலன் அறிமுகப்படுத்திய தற்காலிக பகுத்தறிவுக்கான ஒரு கால்குலஸ் ஆகும். கால்குலஸ் நேர இடைவெளிகளுக்கு இடையிலான சாத்தியமான உறவுகளை வரையறுக்கிறது மற்றும் நிகழ்வுகளின் தற்காலிக விளக்கங்களைப் பற்றிய பகுத்தறிவுக்கான அடிப்படையாகப் பயன்படுத்தக்கூடிய ஒரு கலவை அட்டவணையை வழங்குகிறது. முறையான விளக்கம் உறவுகள் பின்வரும் 13 அடிப்படை உறவுகள் இரண்டு இடைவெளிகளுக்கு இடையிலான சாத்தியமான உறவுகளைப் பிடிக்கிறது. இந்த கால்குலஸைப் பயன்படுத்தி, கொடுக்கப்பட்ட உண்மைகளை முறைப்படுத்தலாம், பின்னர் தானியங்கி பகுத்தறிவுக்குப் பயன்படுத்தலாம். இடைவெளிகளுக்கு இடையிலான உறவுகள் அடிப்படை உறவுகளின் தொகுப்புகளாக முறைப்படுத்தப்படுகின்றன. வாக்கியம் இரவு உணவின் போது, பீட்டர் செய்தித்தாளைப் படிக்கிறார். அதன் பிறகு படுக்கைக்குச் செல்கிறார். இது ஆலனின் இடைவெளி இயற்கணிதத்தில் பின்வருமாறு முறைப்படுத்தப்பட்டுள்ளதுஃ பொதுவாக, n = 0 இல் தொடங்கும் n இடைவெளிகளுக்கு இடையிலான வெவ்வேறு உறவுகளின் எண்ணிக்கை 1,13,409,23917,2244361. OEIS A055203 ஆகும். மேலே காட்டப்பட்டுள்ள சிறப்பு வழக்கு n = 2 க்கு ஆகும். இடைவேளைகளுக்கு இடையிலான உறவுகளின் கலவை தற்காலிக இடைவெளிகளுக்கு இடையிலான உறவுகளைப் பற்றிய பகுத்தறிவுக்கு, ஆலனின் இடைவெளி இயற்கணிதம் ஒரு கலவை அட்டவணையை வழங்குகிறது. மற்றும் மற்றும் இடையேயான உறவைப் பொறுத்தவரை, கலவை அட்டவணை மற்றும் இடையேயான உறவைப் பற்றி முடிவு செய்ய அனுமதிக்கிறது. ஒரு எதிர் செயல்பாட்டுடன் சேர்ந்து, இது ஆலனின் இடைவெளி இயற்கணிதத்தை ஒரு உறவு இயற்கணிதமாக மாற்றுகிறது. உதாரணத்திற்கு, ஒருவர் யூகிக்க முடியும். ஆலனின் இடைவெளி இயற்கணிதத்தை தற்காலிக இடைவெளிகள் மற்றும் இடஞ்சார்ந்த உள்ளமைவுகள் ஆகிய இரண்டின் விளக்கத்திற்கும் பயன்படுத்தலாம். பிந்தைய பயன்பாட்டிற்கு, உறவுகள் இடஞ்சார்ந்த பொருட்களின் ஒப்பீட்டு நிலையை விவரிப்பதாக விளக்கப்பட்டுள்ளன. இது ஒவ்வொரு ஒருங்கிணைப்புக்கும் தனித்தனியாக உறவை பட்டியலிடுவதன் மூலம் முப்பரிமாண பொருட்களுக்கும் வேலை செய்கிறது. ஒன்றுடன் ஒன்று குறிக்கப்படுவதைப் பற்றிய ஆய்வு இதே போன்ற இயற்கணிதத்தைப் பயன்படுத்துகிறது (பார்க்க). ஆவண கட்டமைப்புகளின் இறுதிப் புள்ளிகள் உண்மையிலேயே இணைக்கப்பட்டிருக்க அனுமதிக்கப்படுகிறதா அல்லது வெறுமனே [தொடுகோடு] என்பதைப் பொறுத்து அதன் மாதிரிகள் அதிக மாறுபாடுகளைக் கொண்டுள்ளன. அமலாக்கங்கள் ஒரு எளிய ஜாவா நூலகம் ஆலனின் தற்காலிக உறவுகள் மற்றும் பாதை நிலைத்தன்மை வழிமுறை ஜாவா நூலகம் ஆகியவற்றின் கருத்தை செயல்படுத்துகிறது. தரவு மற்றும் குறியீட்டு கட்டமைப்புகள், எ. கா., இடைவெளி மரம்) OWL-டைம் டைம் ஆன்டாலஜி இன் OWL ஒரு OWL-2 DL ஆன்டாலஜி ஆஃப் டெம்போரல் கான்செப்ட்ஸ், உலகில் உள்ள வளங்களின் தற்காலிக பண்புகளை விவரிப்பதற்காக அல்லது வலைப்பக்கங்களில் விவரிக்க. GQR என்பது ஆலனின் இடைவெளி இயற்கணிதம் (மற்றும் பல) தகுதிக்கு ஒரு காரணியாகும், இது RCC-8, ஆலனின் இடைவெளி இயற்கணிதம் மற்றும் ஆலனின் இயற்கணிதம் போன்ற நேர புள்ளிகளுடன் ஒருங்கிணைக்கப்பட்ட மற்றும் இடது அல்லது வலது-கிளை நேரத்தில் அமைந்துள்ள உறவு ஆல்ஜிப்ராக்களின் நெட்வொர்க்குகள் மீது தரமான பகுத்தறிவுக்கான ஒரு பைதான் கட்டமைப்பாகும். ஆலனின் இடைவெளி இயற்கணிதத்திற்கு (மற்றும் பலவற்றிற்கு) ஸ்பார்க்யூ ஒரு காரணியாகும் ஈவ்எக்ஸ்எல் என்பது ஏஎஸ்சிஐஐ கலை வடிவங்கள் வழியாக இடைவெளி இயற்கணிதத்தின் இயக்கிகளை செயல்படுத்தும் நிகழ்வுகளைக் கண்டறிவதற்கான ஒரு சிறிய கள-குறிப்பிட்ட மொழியாகும். மேலும் காண்க டெம்போரல் லாஜிக் லாஜிக் ரீஜியன் இணைப்பு கால்குலஸ் இடஞ்சார்ந்த உறவு (அனலாக்) காமன்சென்ஸ் பகுத்தறிவு குறிப்புகள் ஆதாரங்கள் அறிவு பிரதிநிதித்துவம் கட்டுப்பாடு நிரலாக்கம்