دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Thomas Ågotnes, Paul Harrenstein, Wiebe van der Hoek, Michael Wooldridge (auth.), Davide Grossi, Olivier Roy, Huaxin Huang (eds.) سری: Lecture Notes in Computer Science 8196 ISBN (شابک) : 9783642409479, 9783642409486 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2013 تعداد صفحات: 372 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
کلمات کلیدی مربوط به کتاب منطق ، عقلانیت و تعامل: چهارمین کارگاه بین المللی ، LORI 2013 ، Hangzhou ، چین ، 9-12 اکتبر 2013 ، مجموعه مقالات: منطق ریاضی و زبان های رسمی، منطق و مبانی ریاضی، ریاضیات گسسته در علوم کامپیوتر، دستکاری نمادین و جبری، منطق و معانی برنامه ها، نظریه محاسبات
در صورت تبدیل فایل کتاب Logic, Rationality, and Interaction: 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق ، عقلانیت و تعامل: چهارمین کارگاه بین المللی ، LORI 2013 ، Hangzhou ، چین ، 9-12 اکتبر 2013 ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مقالات ارائه شده در چهارمین کارگاه بین المللی منطق، عقلانیت و تعامل/ (LORI-4)، که در اکتبر 2013 در /مرکز مطالعه زبان و شناخت، دانشگاه ژجیانگ، هانگژو، چین برگزار شد، گردآوری می کند. LORI مجموعهای است که محققان رشتههای مختلف مرتبط با منطق را گرد هم میآورد: نظریه بازی و تصمیم، فلسفه، زبانشناسی، علوم کامپیوتر و هوش مصنوعی. امسال تاکید ویژه ای بر هنجارها و استدلال داشت. از 42 مقاله ارسالی، 23 مقاله کامل و 11 مشارکت کوتاه از طریق بررسی همتایان برای درج در برنامه کارگاه و در این جلد انتخاب شده است. کیفیت و تنوع این مشارکتها شاهد جامعهای سرزنده، با رشد سریع و میان رشتهای است که در تقاطع منطق و تعامل منطقی کار میکنند.
This book collects the papers presented at the 4th International Workshop on Logic, Rationality and Interaction/ (LORI-4), held in October 2013 at the /Center for the Study of Language and Cognition, Zhejiang University, Hangzhou, China. LORI is a series that brings together researchers from a variety of logic-related fields: Game and Decision Theory, Philosophy, Linguistics, Computer Science and AI. This year had a special emphasis on Norms and Argumentation. Out of 42 submissions, 23 full papers and 11 short contributions have been selected through peer-review for inclusion in the workshop program and in this volume. The quality and diversity of these contributions witnesses a lively, fast-growing, and interdisciplinary community working at the intersection of logic and rational interaction.
Front Matter....Pages -
Boolean Games with Epistemic Goals....Pages 1-14
Minimal Preference Change....Pages 15-26
The Topology of Belief, Belief Revision and Defeasible Knowledge....Pages 27-40
Plan Recognition, Indefinites, and the Semantics-Pragmatics Boundary....Pages 41-53
A Semantic Model for Interrogatives Based on Generalized Quantifiers and Bilattices....Pages 54-67
A Two-Tiered Formalization of Social Influence....Pages 68-81
A Unified Epistemic Analysis of Iterated Elimination Algorithms from Regret Viewpoint....Pages 82-95
Listen to Me! Public Announcements to Agents That Pay Attention — or Not....Pages 96-109
An Offer You Cannot Refuse: Obtaining Efficiency and Fairness in Preplay Negotiation Games with Conditional Offers....Pages 110-123
Sequent Calculi for Multi-modal Logic with Interaction....Pages 124-134
Dynamic Epistemic Logic Displayed....Pages 135-148
Cellular Games, Nash Equilibria, and Fibonacci Numbers....Pages 149-161
Reasoning about Actions Meets Strategic Logics....Pages 162-175
A Dynamic Deontic Logic Based on Histories....Pages 176-189
Sequent Systems for Nondeterministic Propositional Logics without Reflexivity....Pages 190-203
How to Update Neighborhood Models....Pages 204-217
The Logic of Priori and a Posteriori Rationality in Strategic Games....Pages 218-227
Proof Theory, Semantics and Algebra for Normative Systems....Pages 228-238
Explicit and Implicit Knowledge in Neighbourhood Models....Pages 239-252
Expressivity Hierarchy of Languages for Epistemic Awareness Models....Pages 253-266
Public Announcements, Private Actions and Common Knowledge in S5 Structures....Pages 267-281
Logic Aggregation....Pages 282-295
The Task Model of Court Investigation in a Multi-agent System of Argumentation in Court....Pages 296-310
A Deontic Action Logic for Complex Actions....Pages 311-315
Planning Using Dynamic Epistemic Logic: Correspondence and Complexity....Pages 316-320
Judgment Aggregation with Abstentions: A Hierarchical Approach....Pages 321-325
A Note on Bayesian Games....Pages 326-331
A Logic for Extensive Games with Short Sight....Pages 332-336
Aggregated Beliefs and Informational Cascades....Pages 337-341
Dynamic Attitudes, Fixed Points and Minimal Change....Pages 342-346
Logic of Evidence-based Knowledge....Pages 347-351
Backward Induction Is PTIME-complete....Pages 352-356
On Fuzzy Propositional Logic with Different Negations....Pages 357-361
Back Matter....Pages -