Allen's interval algebra
অ্যালেনের ব্যবধান বীজগণিত হল সাময়িক যুক্তির জন্য একটি ক্যালকুলাস যা 1983 সালে জেমস এফ অ্যালেন দ্বারা প্রবর্তিত হয়েছিল। ক্যালকুলাস সময়ের ব্যবধানের মধ্যে সম্ভাব্য সম্পর্ককে সংজ্ঞায়িত করে এবং একটি রচনা সারণী প্রদান করে যা ঘটনাগুলির সাময়িক বর্ণনা সম্পর্কে যুক্তির ভিত্তি হিসাবে ব্যবহার করা যেতে পারে। আনুষ্ঠানিক বর্ণনা সম্পর্ক নিম্নলিখিত 13টি ভিত্তি সম্পর্ক দুটি ব্যবধানের মধ্যে সম্ভাব্য সম্পর্ককে ধারণ করে। এই ক্যালকুলাস ব্যবহার করে, প্রদত্ত তথ্যগুলি আনুষ্ঠানিক করা যেতে পারে এবং তারপরে স্বয়ংক্রিয় যুক্তির জন্য ব্যবহার করা যেতে পারে। ব্যবধানের মধ্যে সম্পর্কগুলি ভিত্তি সম্পর্কের সেট হিসাবে আনুষ্ঠানিক করা হয়। বাক্যটি রাতের খাবারের সময়, পিটার সংবাদপত্র পড়ে। এর পর সে বিছানায় যায়। অ্যালেনের ব্যবধান বীজগণিতে নিম্নরূপ বিধিবদ্ধ করা হয়েছেঃ সাধারণভাবে, n = 0 দিয়ে শুরু হওয়া n ব্যবধানের মধ্যে বিভিন্ন সম্পর্কের সংখ্যা হল 1,13,409,23917,2244361. OEIS A055203। উপরে দেখানো বিশেষ কেসটি n = 2-এর জন্য। সাময়িক ব্যবধানের মধ্যে সম্পর্ক সম্পর্কে যুক্তির জন্য, অ্যালেনের ব্যবধান বীজগণিত একটি রচনা সারণী প্রদান করে। এবং এবং এবং এর মধ্যে সম্পর্কের পরিপ্রেক্ষিতে, কম্পোজিশন টেবিলটি এবং এর মধ্যে সম্পর্ক সম্পর্কে উপসংহারের অনুমতি দেয়। একটি বিপরীত ক্রিয়াকলাপের সাথে এটি অ্যালেনের ব্যবধান বীজগণিতকে একটি সম্পর্ক বীজগণিতে পরিণত করে। উদাহরণস্বরূপ, কেউ অনুমান করতে পারে। অ্যালেনের ব্যবধান বীজগণিত সাময়িক ব্যবধান এবং স্থানিক বিন্যাস উভয়ের বর্ণনার জন্য ব্যবহার করা যেতে পারে। পরবর্তী ব্যবহারের জন্য, সম্পর্কগুলিকে স্থানিক বস্তুর আপেক্ষিক অবস্থান বর্ণনা হিসাবে ব্যাখ্যা করা হয়। এটি প্রতিটি স্থানাঙ্কের জন্য আলাদাভাবে সম্পর্ক তালিকাভুক্ত করে ত্রিমাত্রিক বস্তুর জন্যও কাজ করে। ওভারল্যাপিং মার্কআপের অধ্যয়নে অনুরূপ বীজগণিত ব্যবহার করা হয় (দেখুন)। নথির কাঠামোর শেষ বিন্দুগুলি সত্যিকার অর্থে সহ-অবস্থিত হওয়ার অনুমতি দেওয়া হয়েছে, নাকি কেবল [স্পর্শক] তার উপর নির্ভর করে এর মডেলগুলির আরও বৈচিত্র্য রয়েছে। বাস্তবায়ন একটি সাধারণ জাভা গ্রন্থাগার যা অ্যালেনের সাময়িক সম্পর্কের ধারণা এবং পথের সামঞ্জস্যতা অ্যালগরিদম জাভা গ্রন্থাগার যা অ্যালেনের ইন্টারভাল অ্যালজেব্রা (সহ) প্রয়োগ করে। তথ্য এবং সূচক কাঠামো, যেমন, ইন্টারভাল ট্রি) ও. ডব্লিউ. এল-টাইম টাইম অ্যান্টোলজি ইন ও. ডব্লিউ. এল অ্যান ও. ডব্লিউ. এল-2 ডি. এল অ্যান্টোলজি অফ টেম্পোরাল কনসেপ্ট, বিশ্বের সম্পদের সাময়িক বৈশিষ্ট্যগুলি বর্ণনা করার জন্য বা ওয়েব পৃষ্ঠাগুলিতে বর্ণিত। জিকিউআর অ্যালেনের ব্যবধান বীজগণিতের (এবং আরও অনেক) জন্য একটি যুক্তিযুক্ত গুণগত মান হল সম্পর্ক বীজগণিতের নেটওয়ার্কের উপর গুণগত যুক্তির জন্য একটি পাইথন কাঠামো, যেমন আরসিসি-8, অ্যালেনের ব্যবধান বীজগণিত, এবং অ্যালেনের বীজগণিত সময় পয়েন্টের সাথে সংহত এবং বাম-বা ডান-শাখা সময়ে অবস্থিত। স্পার্ক অ্যালেনের ব্যবধান বীজগণিতের (এবং আরও অনেক কিছুর) একটি যুক্তিযুক্ত কারণ হল ইভএক্সএল একটি ছোট ডোমেন-নির্দিষ্ট ভাষা যা এএসসিআইআই আর্ট প্যাটার্নের মাধ্যমে ইন্টারভাল বীজগণিতের অপারেটরদের প্রয়োগ করে এমন ঘটনাগুলি সনাক্ত করার জন্য। আরও দেখুন টেম্পোরাল লজিক লজিক রিজিওন কানেকশন ক্যালকুলাস স্প্যাটিয়াল রিলেশন (এনালগ) কমন্সেন্স রিজনিং রেফারেন্স সোর্সস নলেজ রিপ্রেজেন্টেশন কনস্ট্রেন্ট প্রোগ্রামিং