Interval temporal logic
وقفہ عارضی منطق (وقفہ منطق بھی) ایک عارضی منطق ہے جو وقت کے ادوار کے بارے میں پروپوزیشنل اور فرسٹ آرڈر منطقی استدلال دونوں کی نمائندگی کرتی ہے جو ترتیب وار اور متوازی ساخت دونوں کو سنبھالنے کی صلاحیت رکھتی ہے۔ حالت کے لامحدود ترتیبات سے نمٹنے کے بجائے، وقفہ عارضی منطق محدود ترتیبات سے نمٹتے ہیں۔ وقفہ وقتی منطق کا اطلاق کمپیوٹر سائنس، مصنوعی ذہانت اور لسانیات میں ہوتا ہے۔ فرسٹ آرڈر وقفہ عارضی منطق ابتدائی طور پر 1980 کی دہائی میں ہارڈ ویئر پروٹوکول کی تفصیلات اور تصدیق کے لیے تیار کی گئی تھی۔ وقفہ عارضی منطق (آئی ٹی ایل) عارضی منطق کی ایک مخصوص شکل ہے، جسے اصل میں بین موسکووسکی نے اسٹینفورڈ یونیورسٹی میں اپنے مقالے کے لیے تیار کیا تھا۔ یہ کمپیوٹر پر مبنی نظاموں کے لیے ہارڈ ویئر اور سافٹ ویئر کی رسمی وضاحت میں مفید ہے۔ اس عمل میں مدد کے لیے اوزار دستیاب ہیں۔ ٹیم پورہ ایک قابل عمل آئی ٹی ایل فریم ورک فراہم کرتا ہے۔ آئی ٹی ایل کے ڈیزائن میں ساخت ایک اہم مسئلہ ہے اور اس پر غور کیا جاتا ہے۔ وقفہ عارضی منطق کے قابل ذکر مشتقات گرافیکل وقفہ منطق، دستخط شدہ وقفہ منطق اور مستقبل کے وقفہ منطق ہیں۔ دورانیہ کیلکولس رسمی طریقے بھی دیکھیں اعمال کی عارضی منطق حوالہ جات عارضی منطق