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