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



۱۳۸۸ مهر ۲۱, سه‌شنبه

چند کتاب خوب (منطق شناختی)

در زیر چند کتاب در مورد منطق شناختی معرفی می شود
Reasoning About Knowledge
Ronald Fagin , Joseph Y. Halpern
Yoram Moses , Moshe Y. Vardi

Dynamic Epistemic Logic
Hans van Ditmarsch
Wiebe van der Hoek , Barteld Kooi

Epistemic Logic for AI and Computer Science
J.J. Ch. Meyer, W. van der Hoek
ارسال شده توسط در

هیچ نظری موجود نیست:

ارسال یک نظر

اشتراک در: نظرات پیام (Atom)