• شماره ركورد
    24567
  • شماره راهنما
    IT2 147
  • عنوان

    مذاكره چندجانبه مبتني بر گواه‌آوري از طريق انتخاب اجتماعي

  • مقطع تحصيلي
    كارشناسي ارشد
  • رشته تحصيلي
    مهندسي فناوري اطلاعات - تجارت الكترونيكي
  • دانشكده
    مهندسي كامپيوتر
  • تاريخ دفاع
    1403/06/28
  • صفحه شمار
    105 ص.
  • استاد راهنما
    فريا نصيري مفخّم
  • كليدواژه فارسي
    سيستم‌هاي چندعاملي , مذاكره چندجانبه , پروتكل , گواه‌آوري , انتخاب اجتماعي , كوپلند
  • چكيده فارسي
    مذاكرات خودكار در سيستم‌هاي چندعاملي، يك زمينه تحقيقاتي مهم در هوش مصنوعي توزيع شده است و نقش حياتي در توانمندسازي عامل‌هاي مستقل براي همكاري، هماهنگ‌كردن اقدامات و حل تعارضات در يك محيط توزيع شده ايفا مي‌كند. عامل‌ها در مذاكره براي به‌دست‌آوردن توافق، پيشنهادهاي خود را بر طبق يك سري قواعد مشخص به‌نام پروتكل مذاكره، رد و بدل مي‌كنند. به‌عبارتي پروتكل بر تعامل بين شركت‌كنندگان حاكم است و تضمين حصول اطمينان از نتايج موفقيت‌آميز و تقويت توافقات سودمند متقابل، در گرو پيروي عامل‌ها از آن است. در مذاكرات مبتني بر گواه‌آوري طرفين مذاكره علاوه بر ارائه پيشنهاد، از طريق الصاق و مبادله گواه‌ها مي‌توانند دليل ارائه پيشنهاد خود را بيان كرده، يكديگر را متقاعد نموده و به توافق‌هاي مفيدتري در زمان سريع‌تري برسند. براي تضمين توافق عادلانه در مذاكرات چندجانبه مبتني برگواه‌آوري، نياز است كه به ترجيحات و نظرات عامل‌ها در مورد گواه‌هاي مرتبط با پيشنهادها نيز توجه شود. در تصميم‌گيري‌هاي جمعي با كمك گواه‌آوري، چگونگي ارزيابي جمعي گواه‌ها براي تعيين نتيجه بسيار اهميت دارد. رويكرد مبتني بر نظريه انتخاب اجتماعي محاسباتي با افزودن ديدگاه الگوريتمي علوم كامپيوتر به نظريه انتخاب اجتماعي، سازوكارهايي به منظور تجميع ترجيحات عامل‌ها براي تصميم‌گيري جمعي ارائه مي‌دهد. مطالعات در نقطه اتصال اين دو حوزه پژوهشي براساس گواه‌آوري مبتني بر برچسب‌گذاري هستند. رويكرد موجود، تنها چندين گونه از روش انتخاب اجتماعي رأي اكثريت را با توجه به فقط يك نوع رابطه حمله و يك نوع دفاع بين گواه‌ها براي تجميع گواه‌آوري در تصميم‌گيري گروهي اعمال كرده است و به تنوع حملات بين گواه‌ها، قدرت گواه‌ها و ساختار آن‌ها توجهي نشده است. از سوي ديگر، در پژوهش‌هاي موجود در پروتكل‌هاي مذاكرات مبتني بر گواه‌آوري، فاقد بلوغ لازم از نظر تعداد لايه‌هاي گواه‌آوري هستند كه عامل‌ها در فرايندهاي گواه‌آوري به كار مي‌گيرند، به همه روابط بين گواه‌ها توجه نمي‌كنند، چندجانبه نيستند، از قدرت گواه‌هاي بلاغي استفاده نمي‌كنند، يا توافق همگاني را لازم و ضروري مي‌دانند. بسياري از وضعيت‌ها در دنياي واقعي فاقد توافق همگاني هستند اما همچنان نياز است كه بهترين نتيجه جمعي ممكن حاصل شود. اين پژوهش، با توسعه روش انتخاب اجتماعي كوپلند در توجه كامل به قدرت گواه‌ها، انواع روابط حمله و دفاع، و نظرات تمام عامل‌ها روي هر گواه، بلوك‌هاي سازنده پروتكل مذاكره چند جانبه مبتني بر گواه‌آوري را ارائه مي‌كند. پنج لايه اصلي گواه‌آوري شامل لايه‌هاي ساختاري، رابطه‌اي، گفت‌وگو، ارزيابي، و بلاغي است و در بدنه پروتكل مذاكره پيشنهادي قرار گرفته‌اند. با استفاده از روش‌هاي مختلف اثبات رياضي، روش پيشنهادي مبتني بر كوپلند، بدون نياز به اتفاق‌آراء مستقيم، هم‌رأيي تأييدشده، و حمايت، ويژگي‌هاي مطلوبي مانند دامنه جامع، ناشناس‌بودن، و عدم ديكتاتوري را برآورده مي‌كند و فاقد ويژگي‌هاي نامطلوب همچون استقلال از نظرات، يكنوايي، و يكنوايي آشنا است. همچنين برخلاف روش كوپلند كه افراد مي‌توانند با دستكاري ترجيحات خود بر نتيجه تصميم گروهي اثر بگذارند، روش توسعه‌يافته كه مبتني بر ماتريس‌هاي حمله/دفاع و قدرت نيز هست، در برابر استراتژيك بودن افراد مقاوم است.
  • كليدواژه لاتين
    Multi agent systems , Negotiation , Protocol , Argumentation , Social choice , Copeland
  • عنوان لاتين
    Argumentation-Based Multilateral Negotiation via Social Choice
  • گروه آموزشي
    مهندسي فناوري اطلاعات
  • چكيده لاتين
    Automated negotiation in multi-agent systems is a significant research field in distributed artificial intelligence. It plays a vital role in empowering independent agents to cooperate, coo‎rdinate actions, an‎d resolve conflicts in a distributed environment. To reach an agreement, agents exchange proposals acco‎rding to a set of specific rules called the negotiation protocol. This protocol governs the interaction between participants, ensuring successful outcomes an‎d strengthening mutually beneficial agreements based on the agentsʹ adherence to it. In argumentation-based negotiation, agents not only propose offers but also present an‎d exchange arguments. This allows them to explain the reasons behind their offers, convince each other, an‎d reach mo‎re beneficial agreements mo‎re quickly. To ensure fair agreements in argumentation-based multilateral negotiations, it is crucial to consider the preferences an‎d opinions of the agents regarding the arguments related to the proposals. In collective decision-making aided by argumentation, the method of collectively eva‎luating arguments is essential to determine the outcome. The approach based on computational social choice theo‎ry, which integrates the algo‎rithmic perspective of computer science with social choice theo‎ry, provides mechanisms to aggregate agentsʹ preferences fo‎r collective decision-making. Studies at the intersection of these two research areas focus on argumentation based on labeling. The existing approach has applied only a few types of social choice methods, such as majo‎rity vote, considering only one type of attack relationship an‎d one type of defense between arguments to aggregate argumentation in group decision-making. Mo‎reover, it has not addressed the variety of attacks between arguments, the power of arguments, an‎d their structure. On the other han‎d, existing research on argumentation-based negotiation protocols lacks maturity in several aspects: the number of layers of argument that agents use in the argumentation process, attention to all relationships between arguments, multilateral considerations, the use of rheto‎rical power, an‎d the necessity of unanimous agreement. Many real-wo‎rld situations lack unanimous agreement, yet there is still a need to achieve the best possible collective outcome. By developing Copelan‎dʹs social choice method to fully consider the power of arguments, attack an‎d defense relationships, an‎d the opinions of all agents on each argument, this research presents the building blocks of a multilateral negotiation protocol based on argumentation. The five main layers of argumentation—structural, relational, dialogue, eva‎luation, an‎d rheto‎rical—are included in the proposed negotiation protocol. Using various fo‎rmal an‎d mathematical proofs, the study shows that the proposed Copelan‎d-based method satisfies desirable properties such as exhaustive domain, anonymity, an‎d non-dictato‎rship without requiring direct unanimity, endo‎rsed unanimity, o‎r suppo‎rtiveness. It also avoids undesirable properties such as independence of opinion, monotonicity, an‎d familiar monotonicity. Additionally, unlike Copelan‎dʹs method, where individuals can influence the outcome of group decisions by manipulating their preferences, the proposed method, which is also based on attack/defense an‎d power matrices, is strategy-proof.
  • تعداد فصل ها
    5
  • فهرست مطالب pdf
    123309
  • نويسنده

    كريمي، رضا