دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Johan van Benthem, Eric Pacuit (auth.), Hans van Ditmarsch, Jérôme Lang, Shier Ju (eds.) سری: Lecture Notes in Computer Science 6953 Lecture Notes in Artificial Intelligence ISBN (شابک) : 9783642241307, 3642241298 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 412 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
کلمات کلیدی مربوط به کتاب منطق، عقلانیت و تعامل: کارگاه سوم بین المللی، LORI 2011، گوانگژو، چین، 10 تا 13 اکتبر 2011. پرونده ها: منطق ریاضی و زبان های رسمی، منطق و مبانی ریاضی، ریاضیات گسسته در علوم کامپیوتر، دستکاری نمادین و جبری، منطق و معانی برنامه ها، نظریه محاسبات
در صورت تبدیل فایل کتاب Logic, Rationality, and Interaction: Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق، عقلانیت و تعامل: کارگاه سوم بین المللی، LORI 2011، گوانگژو، چین، 10 تا 13 اکتبر 2011. پرونده ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب که با همکاری FoLLI، انجمن منطق، زبان و اطلاعات ویرایش شده است، مجموعه مقالات داوری سومین کارگاه بین المللی منطق، عقلانیت و تعامل، LORI 2011، در گوانگژو، چین، در اکتبر 2011 است. 25 مقاله کامل اصلاح شده همراه با 12 پوستر به دقت بررسی و از بین 52 مقاله ارسالی انتخاب شدند. در میان موضوعات تحت پوشش، مدل های معنایی برای دانش، برای باور، و برای عدم قطعیت است. منطق پویا دانش، جریان اطلاعات و عمل؛ تحلیل منطقی ساختار بازی ها؛ بازنگری باورها، ادغام باورها؛ منطق و ترجیحات، نمایش ترجیح فشرده. منطق مقاصد، برنامه ها و اهداف؛ منطق احتمال و عدم قطعیت؛ رویکردهای منطقی برای تصمیم گیری و برنامه ریزی؛ سیستم های استدلال و نقش آنها در تعامل. هنجارها، تعامل هنجاری، و سیستم های چند عامله هنجاری. و رویکردهای منطقی و محاسباتی برای انتخاب اجتماعی.
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the Third International Workshop on Logic, Rationality, and Interaction, LORI 2011, held in Guangzhou, China, in October 2011. The 25 revised full papers presented together with 12 posters were carefully reviewed and selected from 52 submissions. Among the topics covered are 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 and preferences, compact preference representation; logics of intentions, plans, and goals; logics of probability and uncertainty; logical approaches to decision making and planning; argument systems and their role in interaction; norms, normative interaction, and normative multiagent systems; and logical and computational approaches to social choice.
Front Matter....Pages -
Logical Dynamics of Evidence....Pages 1-27
Dynamic Restriction of Choices: Synthesis of Societal Rules....Pages 28-50
Agreeing to Disagree with Limit Knowledge....Pages 51-60
A Semantic Model for Vague Quantifiers Combining Fuzzy Theory and Supervaluation Theory....Pages 61-73
An Application of Model Checking Games to Abstract Argumentation....Pages 74-86
Schematic Validity in Dynamic Epistemic Logic: Decidability....Pages 87-96
Knowledge and Action in Semi-public Environments....Pages 97-110
Taking Mistakes Seriously: Equivalence Notions for Game Scenarios with off Equilibrium Play....Pages 111-124
Update Semantics for Imperatives with Priorities....Pages 125-138
A Measure of Logical Inference and Its Game Theoretical Applications....Pages 139-150
Partial Semantics of Argumentation....Pages 151-164
A Dynamic Logic of Knowledge, Graded Beliefs and Graded Goals and Its Application to Emotion Modelling....Pages 165-178
DEL Planning and Some Tractable Cases....Pages 179-192
Mathematics of Public Announcements....Pages 193-205
Logics of Belief over Weighted Structures....Pages 206-219
Game Semantics for the Geiger-Paz-Pearl Axioms of Independence....Pages 220-232
Algebraic Foundations for Inquisitive Semantics....Pages 233-243
A Dynamic Analysis of Interactive Rationality....Pages 244-257
Seeing, Knowledge and Common Knowledge....Pages 258-271
Measurement-Theoretic Foundations of Probabilistic Model of JND-Based Vague Predicate Logic....Pages 272-285
An Epistemic Logic with Hypotheses....Pages 286-299
Minimal Revision and Classical Kripke Models....Pages 300-313
On Axiomatizations of PAL....Pages 314-327
Public Announcement Logic with Distributed Knowledge....Pages 328-341
An Alternative Logic for Knowability....Pages 342-355
Conditional Ought, a Game Theoretical Perspective....Pages 356-369
The Categorial Logic of Vacuous Components in Natural Language....Pages 370-381
A Logic for Strategy Updates....Pages 382-383
Efficient Action Extraction with Many-to-Many Relationship between Actions and Features....Pages 384-385
Reflections on Vote Manipulation....Pages 386-387
Playing Extensive Form Negotiation Games: A Tool-Based Analysis (Abstract)....Pages 388-389
The Dynamics of Peer Pressure....Pages 390-391
On Logic of Belief-Disagreement among Agents....Pages 392-393
Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic....Pages 394-395
Bayesianism, Elimination Induction and Logical Reliability....Pages 396-397
A Logic of Questions for Rational Choice....Pages 398-399
Capturing Lewis’s “Elusive Knowledge”....Pages 400-401
Back Matter....Pages -