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