Allen's interval algebra
एलन का अंतराल बीजगणित लौकिक तर्क के लिए एक गणना है जिसे 1983 में जेम्स एफ. एलन द्वारा पेश किया गया था। कलन समय अंतराल के बीच संभावित संबंधों को परिभाषित करता है और एक रचना तालिका प्रदान करता है जिसका उपयोग घटनाओं के लौकिक विवरण के बारे में तर्क के लिए एक आधार के रूप में किया जा सकता है। औपचारिक विवरण संबंध निम्नलिखित 13 आधार संबंध दो अंतरालों के बीच संभावित संबंधों को पकड़ते हैं। इस गणना का उपयोग करके, दिए गए तथ्यों को औपचारिक रूप दिया जा सकता है और फिर स्वचालित तर्क के लिए उपयोग किया जा सकता है। अंतरालों के बीच संबंधों को आधार संबंधों के सेट के रूप में औपचारिक रूप दिया जाता है। वाक्य रात के खाने के दौरान, पीटर अखबार पढ़ता है। इसके बाद वह सोने चला जाता है। एलन के अंतराल बीजगणित में इसे इस प्रकार औपचारिक रूप दिया गया हैः सामान्य तौर पर, n = 0 से शुरू होने वाले n अंतरालों के बीच विभिन्न संबंधों की संख्या 1,13,409,23917,2244361. OEIS A055203 है। ऊपर दिखाया गया विशेष मामला n = 2 के लिए है। अंतरालों के बीच संबंधों की संरचना अस्थायी अंतरालों के बीच संबंधों के बारे में तर्क के लिए, एलन का अंतराल बीजगणित एक रचना तालिका प्रदान करता है। और और और के बीच के संबंध को देखते हुए, रचना तालिका और के बीच के संबंध के बारे में निष्कर्ष निकालने की अनुमति देती है। एक व्युत्क्रम क्रिया के साथ, यह एलन के अंतराल बीजगणित को एक संबंध बीजगणित में बदल देता है। उदाहरण के लिए, कोई अनुमान लगा सकता है। एलन के अंतराल बीजगणित का उपयोग अस्थायी अंतराल और स्थानिक विन्यास दोनों के विवरण के लिए किया जा सकता है। बाद के उपयोग के लिए, संबंधों की व्याख्या स्थानिक वस्तुओं की सापेक्ष स्थिति का वर्णन करने के रूप में की जाती है। यह प्रत्येक निर्देशांक के लिए संबंध को अलग से सूचीबद्ध करके त्रि-आयामी वस्तुओं के लिए भी काम करता है। अतिव्यापी मार्कअप का अध्ययन एक समान बीजगणित का उपयोग करता है (देखें)। इसके मॉडलों में अधिक भिन्नताएं हैं जो इस बात पर निर्भर करती हैं कि दस्तावेज़ संरचनाओं के अंतिम बिंदुओं को वास्तव में सह-स्थित होने की अनुमति है, या केवल [स्पर्शरेखा]। कार्यान्वयन एलन के लौकिक संबंधों की अवधारणा को लागू करने वाला एक सरल जावा पुस्तकालय और एलन के अंतराल बीजगणित (सहित) को लागू करने वाला पथ स्थिरता एल्गोरिदम जावा पुस्तकालय। डेटा और सूचकांक संरचनाएँ, उदाहरण के लिए, अंतराल वृक्ष) ओ. डब्ल्यू. एल. में ओ. डब्ल्यू. एल.-टाइम टाइम ऑन्टोलॉजी और लौकिक अवधारणाओं की ओ. डब्ल्यू. एल.-2 डी. एल. ऑन्टोलॉजी, दुनिया में संसाधनों के लौकिक गुणों का वर्णन करने के लिए या वेब पृष्ठों में वर्णित। जी. क्यू. आर. एलन के अंतराल बीजगणित (और कई अन्य) के लिए एक तर्ककर्ता है, जो संबंध बीजगणित के नेटवर्क पर गुणात्मक तर्क के लिए एक पायथन ढांचा है, जैसे कि आर. सी. सी.-8, एलन का अंतराल बीजगणित, और एलन का बीजगणित समय बिंदुओं के साथ एकीकृत है और बाएं या दाएं-शाखा समय में स्थित है। स्पार्क एलन के अंतराल बीजगणित (और कई अन्य) के लिए एक तर्ककर्ता है ईवएक्सएल उन घटनाओं का पता लगाने के लिए एक छोटी डोमेन-विशिष्ट भाषा है जो एएससीआईआई कला पैटर्न के माध्यम से अंतराल बीजगणित के ऑपरेटरों को लागू करती है। टेम्पोरल लॉजिक लॉजिक रीजन कनेक्शन कैलकुलस स्पेसियल रिलेशन (एनालॉग) कॉमन्सेंस रीजनिंग संदर्भ स्रोत ज्ञान प्रतिनिधित्व बाधा प्रोग्रामिंग देखें।