যুক্তি এবং কম্পিউটার বিজ্ঞানের মধ্যে অত্যন্ত গভীর এবং বিস্তৃত সংযোগ রয়েছে। তারা কী হতে পারে তা বোঝার জন্য, মনে রাখবেন যে কম্পিউটার বিজ্ঞানকে "তথ্য প্রযুক্তি" বা "তথ্যবিজ্ঞান" বলা হয়, যার অর্থ কম্পিউটার সিস্টেমগুলি তথ্য ক্যাপচার, প্রক্রিয়াজাতকরণ এবং বিতরণ করে। ঠিক আছে, যুক্তি একটি অনুরূপ জিনিস। এটি অধ্যয়ন করে যে কীভাবে তথ্য বাক্যে বন্দী হয় এবং কীভাবে একটি বিবৃতিতে অন্যের পরিণতি হওয়া সম্ভব হয় , যেমন এর তথ্যের সামগ্রীটি ইতিমধ্যে অন্য বিবৃতিতে (বা বিবৃতি সংগ্রহ) কীভাবে উপস্থিত রয়েছে। সেই অর্থে, যুক্তি এবং কম্পিউটার বিজ্ঞান মূলত একইশৃঙ্খলা, বিভিন্ন দিক ফোকাস। লজিবিশিয়ানরা (চার্চ, ক্লেইন, টুরিং, পোস্ট এবং তাদের ছাত্র এবং সহকর্মীরা) কম্পিউটার সায়েন্সের শৃঙ্খলা তৈরি করেছিল এবং অনেক লজিস্টিয়ান কম্পিউটার সায়েন্সে অবদান রেখে চলেছে, বিশেষত জ্যান-ইয়ভেস গিরার্ড এবং তার শিক্ষার্থীরা।
কম্পিউটার সায়েন্সে লজিকের কয়েকটি মানক প্রয়োগ রয়েছে:
ডিজিটাল সার্কিটগুলির নকশা সম্পূর্ণরূপে প্রস্তাবিত যুক্তির উপর ভিত্তি করে তৈরি করা হয়, যাতে এর প্রকৌশলীরা এটিকে "সার্কিট ডিজাইনের" পরিবর্তে "লজিক ডিজাইন" বলে থাকেন। এমনকি একটি কম্পিউটার প্রোগ্রাম লিখতে প্রায়শই এর "যুক্তি" রচনা জড়িত বলে মনে করা হয়। (মনে রাখবেন যে পরবর্তী অর্থে "যুক্তি" হ'ল আনুষ্ঠানিক যুক্তি না হয়ে প্রোগ্রামের মাধ্যমে তথ্যের প্রবাহ এবং এটি সঠিকভাবে প্রক্রিয়াজাত করা হচ্ছে কিনা তা বোঝাতে ব্যবহৃত হয়))
প্রিডিকেট যুক্তি এবং তার গাণিতিক কাজিন, সেট তত্ত্ব, বিভিন্ন কম্পিউটারের ভাষাতে ব্যবহার করা হয় , যেমন, রিলেশনাল ডাটাবেস প্রশ্নের জন্য ভাষা এসকিউএল। এছাড়াও যুক্তি ভিত্তিক প্রোগ্রামিং ভাষা রয়েছে, যাকে বলা হয় "লজিক প্রোগ্রামিং ভাষা"।
জ্ঞানের প্রতিনিধিত্ব , যা আপনি ইতিমধ্যে উল্লেখ করেছেন, যুক্তি ভিত্তিক অনেক আনুষ্ঠানিকতা রয়েছে। এমনকি যদি এটি অ-লজিকাল আনুষ্ঠানিকতা ব্যবহার করে, তবুও তাদের অনেকেরই একটি যৌক্তিক অর্থ রয়েছে এবং তাই যুক্তি ভিত্তিক।
প্রাবিলিস্টিক যুক্তি, যেখানে বিবৃতিগুলির কেবল সঠিক / মিথ্যা মান থাকে না, তবে নির্দিষ্টতা / অনিশ্চয়তার মাত্রা ক্রমশ মেশিন লার্নিং সিস্টেমের ভিত্তি হয়ে থাকে ।
আপনি যদি কোনও প্রোগ্রাম কীভাবে, অর্থাৎ কোনও প্রোগ্রামের স্পেসিফিকেশন দেয় তা আনুষ্ঠানিকভাবে বলতে চান , আপনি কোনও যৌক্তিক ভাষার কোনও ফর্ম ব্যবহার করে শেষ করবেন। প্রকৃতপক্ষে, জেড এবং বি এর মতো অনেকগুলি প্রোগ্রাম স্পেসিফিকেশন ভাষা রয়েছে, যা ভবিষ্যদ্বাণীপূর্ণ যুক্তি এবং সেট তত্ত্বের উপর ভিত্তি করে। এছাড়াও লার্কের মতো সমীকরণীয় যুক্তির ভিত্তিতে স্পেসিফিকেশন ভাষা রয়েছে। কম্পিউটার বিজ্ঞানীরা প্রায়শই কম্পিউটার বিজ্ঞানের প্রয়োজনগুলিকে প্রতিনিধিত্ব করার জন্য নতুন লজিক আবিষ্কার করেন, যেমন, হোয়ার লজিক এবং বিচ্ছেদ লজিক, বা তারা অস্থায়ী যুক্তি এবং মডেল লজিকের মতো বিভিন্ন underতিহ্যবাহী লজিকগুলি গ্রহণ করে এবং বিকাশ করে এবং তাদের আরও বিকাশ করে।
যদি আপনি যাচাই করতে চান যে কোনও প্রোগ্রাম যা করার কথা বলেছিল তা করে কিনা, তবে আপনি কেবল যুক্তির ভাষা নয়, যুক্তির সম্পূর্ণ যন্ত্রপাতি ব্যবহার করুন: প্রুফ তত্ত্ব, মডেল তত্ত্ব এবং সিদ্ধান্তের পদ্ধতিগুলি। যাচাইকরণ প্রযুক্তিটি এখন লাফিয়ে উঠছে এবং আমি আশা করছি যে আরও এক দশক বা প্রায় দশক পরে এগুলি প্রায় সমস্ত সফটওয়্যার বিকাশের জন্য নিয়মিত ব্যবহৃত হবে।
প্রকৃতপক্ষে, যুক্তি এবং কম্পিউটার বিজ্ঞানের মধ্যে সংযোগগুলি এত গভীর এবং বিস্তৃত যে আমি বলতে চাই যে যুক্তি সম্পর্কে পুরোপুরি বুঝতে না পেরে একজন ভাল কম্পিউটার বিজ্ঞানী হওয়া শক্ত।
কিছু এআই বিজ্ঞানীরা এই সময়ে যুক্তিযুক্ত করার কারণটি হ'ল এআই এর প্রাথমিক কিছু বিকাশকারী একটি সরঞ্জাম হিসাবে অফ-দ্য শেল্ফ যুক্তিকে প্রস্তাব করেছিলেনবরং একটি ভিত্তি। এআই, তার স্বভাবের দ্বারা, যাদু সরবরাহ করার প্রতিশ্রুতি দেয়। ফলাফল দেওয়ার জন্য আমাদের প্রোগ্রামিং সিস্টেমগুলির কঠোর কাজ করতে হবে না। সমাধানগুলি কীভাবে তৈরি করা যায় তা তারা নিজেরাই নির্ধারণ করতে সক্ষম হবে কারণ তারা "বুদ্ধিমান" হবেন। লজিক সেই পথটি দেখায় বলে মনে হয়েছিল কারণ যদি কম্পিউটার সিস্টেমগুলি যুক্তি বোঝে এবং যুক্তির বিধিগুলি ব্যবহার করে কীভাবে তথ্য প্রক্রিয়াকরণ করতে জানত তবে তারা যাদু সরবরাহ করতে সক্ষম হবে। যুক্তির প্রতি এই ধরণের বিশ্বাস হ'ল বিপরীতমুখী, ভুল জায়গায় স্থান দেওয়া। প্রথম স্থানে, অফ-দ্য শেল্ফ যুক্তিটি একই সাথে খুব শক্তিশালী এবং খুব দুর্বল। এটি কার্যকরী পদ্ধতিগুলি গঠনের পক্ষে যুক্তির বিধিগুলি খুব সাধারণ যে এই অর্থেই দৃ strong়। এটি খুব দুর্বলও কারণ এটি গণিতের প্রয়োজনের জন্য গণিতবিদদের দ্বারা যুক্তিযুক্ত যুক্তিযুক্ত এবং এটি করে না ' টি এআই সিস্টেমগুলি অবশ্যই পরিচালনা করতে পারে (যেমন অনিশ্চয়তা, সময়, পরিবর্তন, জ্ঞান, এজেন্সি এবং এর মতো প্রাসঙ্গিক তথ্য) যেমন হ'ল এআই সিস্টেমগুলি হ্যান্ডেল করতে পারে এমন আরও অনেক ধরণের বাস্তব-জগতের তথ্যের সাথে ডিল করার জন্য শব্দভাণ্ডারের দরকার নেই। সুতরাং, এআই বর্তমানে যুক্তির বিরুদ্ধে একটি প্রতিক্রিয়া চলছে। তবে আমি মনে করি যে, তারা যখন এই প্রতিক্রিয়াটি কাটিয়ে উঠবে, তখন এআই বিজ্ঞানীরা বুঝতে পারবেন যে সমস্ত নতুন পদ্ধতি এখনও ভিত্তিকযুক্তি, বিস্তৃতভাবে গণ্য ।