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