مراجعي براي درس 1:
Logic in Computer Science: Modeling and Reasoning about Systems
Mathemtical Logic for Computer Science
مراجعي براي درس 2:Mathemtical Logic for Computer Science
اشتراک در:
نظرات پیام (Atom)
مدل سازي صوري و منطقي سيستم هاي چندعاملی - شبیه سازی چندعاملی - برنامه سازی چندعاملی
دنبال کننده ها
هوش گروهی
گروه گفتگو
به گروه گوگل سيستم هاي چند عاملي بپيونديد
سيستم هاي چندعاملي يكي از جديدترين گرايش هاي رشته علوم كامپيوتر است. يك سيستم چندعاملي مي تواند يك پروتكل امنيت، يك مساله اجتماعي-اقتصادي، يك مذاكره سياسي، يك تيم فوتبال رباتيك و ... باشد مي توان سه بخش زير را براي سيستم هاي چندعاملي در نظر گرفت:
1- مدلسازي صوري (Formal Methods): چگونه يك پروتكل امنيت يا يك سيستم اقتصادي يا ارتباط بين چند ربات را مدل كنيم و اثبات كنيم كه نحوي درست كار مي كنند؟ براي اين كار از روشهاي صوري چون منطقهاي موجهات و نظريه بازيها استفاده مي شود. همچنين با داشتن يك روش صوري مي توان اثبات كرد كه آيا سيستم چند عاملي مورد نظر در خاصيتي معين صدق مي كند يا نه. (درس هاي نظريه سيستم ها، نظريه بازيها، و درستيابي صوري را ببينيد)
2- برنامه سازي چند عاملي(Multiagent Programming): فرض كنيد بخواهيد مساله مشخصي را حل كنيد. يك راه آن است كه يك ربات را برنامه ريزي كه به تنهايي اين كار را بكند و راه ديگر آن است كه چند ربات را برنامه ريزي كنيد كه با همكاري مساله را حل كنند. (درس برنامه سازي منطقي را ببينيد)
3- شبيه سازي چندعاملي (Multiagent Based Simulation): فرض كنيد كه در يك سيستم اجتماعي بخواهيد تغييري در يكي از پارامترها بدهيد. براي مثال دولتي را در نظر بگيريد كه مي خواهد نرخ بهره را تغيير دهد. اگر يك شبيه ساز چندعاملي براي مساله طراحي شده باشد. دولت مي تواند قبل از آنكه دست به اقدام بزند نتيجه كار خود را در يك دنياي مجازي ببيند. (مي توان به اين مبحث در درس هوش مصنوعي پيشرفته پرداخت)
جدیدترین نسخه جزوه درس
واژه های کلیدی
Multi Agent Systems
Multi Agent Programming
Multi Agent Based Simulation
Distributed Artificial Intelligence
Artificial Social Intelligence
Complex Systems
Swarm Intelligence
Multi Agent Programming
Multi Agent Based Simulation
Distributed Artificial Intelligence
Artificial Social Intelligence
Complex Systems
Swarm Intelligence
چند تعریف اولیه
یک سیستم اجتماعی چیست؟ یک سیستم اجتماعی عبارت است از مجموعه ای از عالمهای مختار که برای رسیدن به اهداف فردی خود با توجه به آگاهی خود از سیستم با هم تعامل, رقابت و ائتلاف می کنند و تعهداتی اجتماعی را برای همدیگر قائل می شوند. عاملها همچنین می توانند در بهتر کردن استراتژهای فردی خود تکامل پیدا کنند.
یک پروتکل اجتماعی چیست؟ یک پروتکل اجتماعی عبارت است از مشخص کردن قوانینی برای سیستم که هر عامل چه کارهایی را انجام دهد(سازگار با این موضوع که هر عامل به دنبال اهداف فردی خود است), تا هدفی اجتماعی برآورده شود.
یک پروتکل اجتماعی چیست؟ یک پروتکل اجتماعی عبارت است از مشخص کردن قوانینی برای سیستم که هر عامل چه کارهایی را انجام دهد(سازگار با این موضوع که هر عامل به دنبال اهداف فردی خود است), تا هدفی اجتماعی برآورده شود.
منطق بازي
در يك بازي (كه مي تواند يك مساله اجتماعي باشد)، نحوه اءتلاف عامل ها با يكديگر در نتيجه بازي موءثر است. منطق بازي امكان مدل كردن مفاهيمي چون اءتلاف مينيمال، قانع شدن يك عامل، قانع شدن يك اءتلاف، عامل با حق وتو، وابستگي بين عامل ها، را فراهم ميسازد. براي مطالعه بيشتر مرجع زير را مطالعه كنيد.
www.illc.uva.nl/Publications/Dissertations/DS-2001-10.text.pdf
www.illc.uva.nl/Publications/Dissertations/DS-2001-10.text.pdf
منطق شناختي
در يك سيستم چند عاملي، آگاهيهاي هر عامل با توجه به ميزان دسترسي كه به اطلاعات دارد مشخص ميشود. منطق شناختي زبان صوري براي توصيف آگاهيهاي هر عامل فراهم ميكند. اين منطق مفاهيم توافق چند عامل بر سر يك موضوع، آگاهي توزيع شده بين عاملها را به خوبي مدل ميكند. توسيعهاي ديناميكي از منطق شناختي چون منطق اعلان عمومي و منطق عمل شناختي به توصيف كردن به روز رساني آگاهيها در يك سيستم چند عاملي ميپردازند. براي مطالعه بيشتر مراجع زير را ببينيد.
www.amazon.com/Dynamic-Epistemic-Logic
www.amazon.com/Dynamic-Epistemic-Logic
منطق تكليف
حقوق اجتماعي يكي از مساءل مهم سيستم هاي چند عاملي است. منطق تكليف، براي مدل كردن قوانين قضا به كار برده مي شود و مي تواند مورد استفاده وكلا قرار گيرد. براي مطالعه بيشتر مرجع زير را ببينيد.
http://www.cs.uu.nl/deon2006
http://www.cs.uu.nl/deon2006
۴ نظر:
به امید اینکه چند تا از این درس ها قبل از فارغ التحصیلیم ارائه بشه...
چرا multi-agent programming رو زیر multi-agent system قرار ندادید؟
سوال دیگه اینکه mutil-agent system کاملا زیرشاخه‌ای از logic نیست؟
نه multi agent systems زير شاخه اي از منطق نيست اما من با ديدگاه و روشهاي منطقي بهش مي پردازم. در مورد multi agent programminل شايد حق با تو باشه كه پيشنيازش multi agent systems باشه
در زمینه‌ی multi-agent system فکر می‌کنم این هم کتاب خوبی باشه:
http://www.csc.liv.ac.uk/~mjw/pubs/imas/IMAS2e.html
البته من فقط مقدمه شو خوندم که جالب بود.
ارسال یک نظر