يك افسوس

متاسفانه براي فصل هاي منطق زماني و منطق تكليف به آخر نيمسال رسيديم و من نتواستم اين مباحث را در كلاس به اندازه بخش هاي منطق شناختي و نظريه بازي ها مطرح كنم. همچنين از بخش آخر جزوه يعني پياده سازي هم فقط به بررسي گر مدل منطق شناختي و ابزار نظريه بازي ها پرداخته شد. كساني كه هنوز با همه اصرار من موضوع پروژه خود را انتخاب نكردند مي تواند (براي اينكه درس را كامل يادگرفته باشند) به مباحثي كه نرسيديم به عنوان پروژه بپردازند. لينك ها زير را براي پروژه مي توانيد در نظر بگيريد


http://www.agent.ai/doc/upload/200402/fish95_1.pdf


.http://citeseer.ist.psu.edu/old/vanderhoek03towards.html

.http://www.csc.liv.ac.uk/~mjw/pubs/synthese2007b.pdf