دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic, Rationality, and Interaction: Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings
دانلود کتاب منطق ، عقلانیت و تعامل: دومین کارگاه بین المللی ، LORI 2009 ، چونگ کینگ ، چین ، 8-11 اکتبر 2009. مجموعه مقالات
مشخصات کتاب
Logic, Rationality, and Interaction: Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings
ویرایش: 1 نویسندگان: Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib (auth.), Xiangdong He, John Horty, Eric Pacuit (eds.) سری: Lecture Notes in Computer Science 5834 : Lecture Notes in Artificial Intelligence ISBN (شابک) : 9783642048937, 3642048935 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2009 تعداد صفحات: 339 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 47,000
کلمات کلیدی مربوط به کتاب منطق ، عقلانیت و تعامل: دومین کارگاه بین المللی ، LORI 2009 ، چونگ کینگ ، چین ، 8-11 اکتبر 2009. مجموعه مقالات: منطق ریاضی و زبان های رسمی، منطق و مبانی ریاضی، ریاضیات گسسته در علوم کامپیوتر، دستکاری نمادین و جبری، منطق و معانی برنامه ها، نظریه محاسبات
در صورت تبدیل فایل کتاب Logic, Rationality, and Interaction: Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق ، عقلانیت و تعامل: دومین کارگاه بین المللی ، LORI 2009 ، چونگ کینگ ، چین ، 8-11 اکتبر 2009. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق ، عقلانیت و تعامل: دومین کارگاه بین المللی ، LORI 2009 ، چونگ کینگ ، چین ، 8-11 اکتبر 2009. مجموعه مقالات
این کتاب که با همکاری FoLLI، انجمن منطق، زبان و اطلاعات ویرایش شده است، مجموعه مقالات داوری دومین کارگاه بین المللی منطق، عقلانیت و تعامل، LORI 2009، در چونگ کینگ، چین، در سال 2009 است. اکتبر 2009.
24 مقاله کامل اصلاح شده همراه با 8 پوستر به دقت بررسی و از میان سیل ارسالی انتخاب شدند. موضوعات کارگاه شامل مدل‌های معنایی دانش، باور و عدم قطعیت، منطق پویا دانش، جریان اطلاعات و عمل، تحلیل منطقی ساختار بازی‌ها، تجدید نظر در باورها، ادغام باورها، منطق ترجیحات و ابزارها، منطق مقاصد، برنامه ها و اهداف، منطق احتمالات و عدم قطعیت، سیستم های استدلال و نقش آنها در تعامل، و همچنین هنجارها، تعامل هنجاری، و سیستم های چندعاملی هنجاری.
توضیحاتی درمورد کتاب به خارجی
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the Second International Workshop on Logic, Rationality, and Interaction, LORI 2009, held in Chongqing, China, in October 2009.
The 24 revised full papers presented together with 8 posters were carefully reviewed and selected from a flood of submissions. The workshops topics include but are not limited to semantic models for knowledge, for belief, and for uncertainty, dynamic logics of knowledge, information flow, and action, logical analysis of the structure of games, belief revision, belief merging, logics for preferences and utilities, logics of intentions, plans, and goals, logics of probability and uncertainty, argument systems and their role in interaction, as well as norms, normative interaction, and normative multiagent systems.
فهرست مطالب
Front Matter....Pages -
Expressing Properties of Coalitional Ability under Resource Bounds....Pages 1-14
Dynamic Context Logic....Pages 15-26
Toward a Dynamic Logic of Questions....Pages 27-41
A General Family of Preferential Belief Removal Operators....Pages 42-54
Computing Compliance....Pages 55-65
Attributing Distributed Responsibility in Stit Logic....Pages 66-75
Characterizations of Iterated Admissibility Based on PEGL....Pages 76-89
Can Doxastic Agents Learn? On the Temporal Structure of Learning....Pages 90-104
Agreement Theorems in Dynamic-Epistemic Logic....Pages 105-118
Learning and Teaching as a Game: A Sabotage Approach....Pages 119-132
First-Order Logic Formalisation of Arrow’s Theorem....Pages 133-146
Twelve Angry Men : A Study on the Fine-Grain of Announcements....Pages 147-160
Dynamic Testimonial Logic....Pages 161-179
From the Logical Point of View: The Chain Store Paradox Revisited....Pages 180-188
A Cooperation Logic for Declaration Structures....Pages 189-197
Intentions and Assignments....Pages 198-211
Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences All Together....Pages 212-226
Dynamic Epistemic Logic of Finite Identification....Pages 227-237
An Epistemic Logic for Planning with Trials....Pages 238-250
Obligations in a Responsible World....Pages 251-262
Dynamic Epistemic Temporal Logic....Pages 263-277
Measurement-Theoretic Foundation of Preference-Based Dyadic Deontic Logic....Pages 278-291
An Update Operator for Strategic Ability....Pages 292-301
Strategy Elimination in Games with Interaction Structures....Pages 302-315
The Logic of Knowledge-Based Cooperation in the Social Dilemma....Pages 316-316
Getting Together: A Unified Perspective on Modal Logics for Coalitional Interaction....Pages 317-318
Oppositional Logic....Pages 319-319
Deliberate Contrary-to-Law Action....Pages 320-320
Mono-Agent Dynamics....Pages 321-322
Modal Expressivity and Definability over Sets....Pages 323-324
Dynamic Logics for Explicit and Implicit Information....Pages 325-326
Existence of Satisfied Alternative and the Occurring of Morph-Dictator....Pages 327-328
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Vertex algebras for beginners
دانلود کتاب Mediated Politics: Communication in the Future of Democracy (Communication, Society and Politics)
دانلود کتاب Making Authentic Pennsylvania Dutch Furniture: With Measured Drawings
دانلود کتاب Gaucher Disease
