A characterization of types of support between structured arguments and their relationship with support in abstract argumentation

استدلال در رویکرد مهم در هوش مصنوعی و سیستم های چند گانه است و پایه ای برای عوامل واحد برای تصمیم گیری منطقی و برای گروه های عامل برای رسیدن به توافق ها و همچنین مکانیسم برای ایجاد طیف وسیعی از تعامل عامل است. در چنین کاری، مفهوم حمله میان استدلال نقش مهمی ایفا می کند و مفهوم حمله به خوبی مورد بررسی قرار گرفته است. برای مثال، طیف وسیعی از رویکردهای مختلف برای شناسایی مجموعه ای از استدلال ها با توجه به حملات بین آنها وجود دارد. کمتر شناخته شده، مفهوم حمایت بین استدلال است، اما این ایده که یک استدلال ممکن است از دیگری پشتیبانی کند، بسیار شهودی است و به نظر می رسد در زمینه تصمیم گیری که در آن گزینه های تصمیم گیری ممکن است چندین استدلال برای و علیه آنها باشد، به نظر می رسد. در دهه گذشته، مطالعه حمایت از استدلال، توجه پژوهشگران را به خود جلب کرده است، اما اکثر رویکردها در زمینه استدلال انتزاعی در مورد حمایت از آن بحث می کنند که در آن عناصر که از آن استدلالات تشکیل شده، نادیده گرفته می شوند. در مقابل، در این مقاله، مفهوم حمایت بین استدلال ها در زمینه سیستم های استدلال ساختاری که در آن عناصر که از آن بحث ها تشکیل شده اند، نقش مهمی ایفا می کنند. اشکال مختلف حمایت وجود دارد که هر کدام از آنها ساختار استدلال را مورد توجه قرار می دهد. و روابط بین این اشکال پشتیبانی مورد بررسی قرار می گیرد. سپس مقاله بررسی می کند که آیا بین فرم های ساختاری و انتزاعی حمایت وجود دارد و تعیین می کند که آیا ممکن است فرمالیسم های انتزاعی با استفاده از اشکال بنیادی از نظر استدلال ساختار یافته، نمونه گیری شوند. نتیجه گیری این است که حمایت از استدلال ساختاری با حمایت در بحث استدلال انتزاعی همخوانی ندارد و این نشان می دهد که برای شکل دادن به حمایت از مفاد انتزاعی، مدل سازی آنچه در استدلال ساختاری صورت می گیرد، نیاز به کار بیشتر است.