সাময়িক যুক্তি কী? - টেকোপিডিয়া থেকে সংজ্ঞা

সংজ্ঞা - টেম্পোরাল লজিকের অর্থ কী?

টেম্পোরাল লজিক একটি প্রতীকী যুক্তির একটি শাখা যা সময়ের সাথে নির্ভর করে সত্যের মূল্যবোধ রয়েছে এমন প্রস্তাবগুলির সমস্যাগুলির সাথে সম্পর্কিত। টেম্পোরাল লজিককে মডেল লজিকের একটি বৈকল্পিক হিসাবে বিবেচনা করা হয়, এটি এমন যুক্তির একটি শাখা যা প্রস্তাবের সাথে ডিল করে যা সম্ভাব্য বিশ্বের একটি সেট হিসাবে প্রকাশ করা যেতে পারে। সময়ের ভিত্তিতে যুক্তি এবং উপস্থাপনের সমস্ত পদ্ধতির স্পর্শ করতে অস্থায়ী যুক্তি ব্যবহার করা হয়।

টেম্পোরাল লজিকের প্রয়োগগুলির মধ্যে সময় ভিত্তিক দার্শনিক ইস্যুগুলিতে যুক্তিযুক্ত ব্যবহার, টেম্পোরাল জ্ঞান এনকোডিংয়ের জন্য কৃত্রিম ভাষায় একটি ভাষা এবং কম্পিউটার অ্যাপ্লিকেশন এবং সিস্টেমগুলির হার্ডওয়্যার এবং সফ্টওয়্যার প্রয়োজনীয়তাগুলির আনুষ্ঠানিক বিশ্লেষণ, স্পেসিফিকেশন এবং যাচাইয়ের সরঞ্জাম হিসাবে অন্তর্ভুক্ত রয়েছে।

টেকোপিডিয়া টেম্পোরাল লজিকের ব্যাখ্যা দেয়

অস্থায়ী প্রস্তাবগুলির একটি প্রধান বৈশিষ্ট্য হ'ল এটির বেশিরভাগ সময়কালীন অবস্থার সাথে অন্তর্নিহিত বা স্পষ্ট উল্লেখ রয়েছে। এটি শাস্ত্রীয় যুক্তির বিপরীতে, যা কালজয়ী প্রস্তাবগুলির উপর দৃষ্টি নিবদ্ধ করে। টেম্পোরাল কোয়ান্টিফায়ারকে ধন্যবাদ, সময় সম্পর্কিত প্রস্তাবগুলির সাথে যুক্তির জন্য তাত্ত্বিক যুক্তি অন্যতম সেরা এবং সবচেয়ে উপযুক্ত উপায় appropriate যদিও শাস্ত্রীয় যুক্তি অস্থায়ী বৈশিষ্ট্যগুলির সাথে মোকাবিলা করতে পারে তবে সূত্রগুলি প্রায়শই জটিল হতে থাকে কারণ সময়ের পয়েন্টগুলি উপস্থাপন করা দরকার।

টেম্পোরাল লজিক ধারণাটি প্রথমে আর্থার প্রাইয়ার দ্বারা 1960 সালে "টানটিক লজিক" এর অধীনে প্রবর্তিত হয়েছিল যা অন্যান্য কম্পিউটার বিজ্ঞানী এবং লজিস্টিয়ানরা আরও প্রসারিত করেছিলেন। টেম্পোরাল যুক্তি সূত্রের সত্যতা বা মিথ্যাচারের দিকে মনোনিবেশ করা হয় না, বরং মূল্যায়ন পরিবর্তিত হলেও, সময়ের সূত্র ধরে যে সূত্রগুলি সত্য থাকে তার উপর দৃষ্টি নিবদ্ধ করা হয়।

টেম্পোরাল লজিকের দুই ধরণের অপারেটর রয়েছে: মডেল অপারেটর এবং লজিকাল অপারেটর। মডেল অপারেটরগুলি মূলত গণনা ট্রি লজিক এবং লিনিয়ার টেম্পোরাল লজিক ব্যবহৃত হয়, যেখানে লজিকাল অপারেটরগুলি বেশিরভাগ সত্য-কার্যক্ষম অপারেটর হয়। সিগন্যাল টেম্পোরাল লজিক, ইন্টারভাল টেম্পোরাল লজিক, মেট্রিক ইন্টারভাল টেম্পোরাল লজিক, লিনিয়ার টেম্পোরাল লজিক, কম্পিউটেশনাল ট্রি লজিক এবং অন্যান্যগুলি টেম্পোরাল লজিকের অংশ গঠন করে।