مشخصات کتاب

Johan Van Benthem on Logic and Information Dynamics

ویرایش: 1 
نویسندگان: Alexandru Baltag. Sonja Smets (eds.)  
سری: Outstanding Contributions to Logic 5 
ISBN (شابک) : 9783319060255, 3319060252 
ناشر: Springer 
سال نشر: 2014 
تعداد صفحات: 1072 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 14 مگابایت 

کلمات کلیدی مربوط به کتاب یوهان ون بنتم در منطق و پویایی اطلاعات: منطق، منطق ریاضی و مبانی، طراحی منطق

در صورت تبدیل فایل کتاب Johan Van Benthem on Logic and Information Dynamics به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب یوهان ون بنتم در منطق و پویایی اطلاعات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب یوهان ون بنتم در منطق و پویایی اطلاعات

این کتاب برنامه دینامیک منطقی-اطلاعاتی را به تصویر می کشد. کارگزاران منطقی از اطلاعات موجود در جهان به شیوه‌های ظریفی بهره‌برداری می‌کنند، طیف وسیعی از نگرش‌های معرفتی را اتخاذ می‌کنند و در این فرآیند دائماً خود جهان را تغییر می‌دهند. پویایی منطقی-اطلاعاتی درباره سیستم‌های منطقی است که چنین فعالیت‌هایی را در مرکز صحنه قرار می‌دهند و بر رویدادهایی تمرکز می‌کنند که از طریق آنها اطلاعات به دست می‌آوریم و نگرش‌ها را تغییر می‌دهیم. مشارکت‌های آن، بسیاری از منطق‌های فعلی اطلاعات و تغییر در کار را نشان می‌دهد، اغلب در محیط‌های چند عاملی که رفتار اجتماعی ضروری است، و اغلب بر کار پیشگام یوهان ون بنتم در ایجاد این برنامه تأکید می‌کند. با این حال، این یک Festschrift نیست، بلکه یک ملیله غنی برای یک مزرعه با رشته های فراوانی است. خواننده وضعیت هنر را در موضوعاتی مانند به روز رسانی اطلاعات، تغییر باور، اولویت، یادگیری در طول زمان و تعامل استراتژیک در بازی ها مشاهده خواهد کرد. علاوه بر این، هیچ مرز محکمی اعمال نشده است، و برخی از فصل ها مبانی کلی ریاضی یا فلسفی یا پیوندهایی را به گرایش های فعلی در علوم کامپیوتر اضافه می کنند. موضوع این کتاب در رابط بسیاری از رشته ها قرار دارد. منطق روش شناسی اصلی است، اما فصول مختلف به راحتی بین ریاضیات، علوم کامپیوتر، فلسفه، زبان شناسی، علوم شناختی و اجتماعی تلاقی می کنند، در حالی که از نظریه محض تا کار تجربی را شامل می شود. بر این اساس، نویسندگان این کتاب نماینده طیف وسیعی از متفکران اصیل از جوامع مختلف پژوهشی هستند. و مضامین به هم پیوسته آنها در عین حال نحوه تفکر ما از منطق، فلسفه و محاسبات را به چالش می کشد. بنابراین، این جلد بسیار مطابق با کار ون بنتم در طول چندین دهه، نشان می‌دهد که چگونه همه این رشته‌ها یک وحدت طبیعی را در دیدگاه منطق‌دانان پویا (به طور گسترده) که امروز مضامین جدید خود را بررسی می‌کنند، تشکیل می‌دهند. و در عین حال، با انجام این کار، مفهوم وسیع تری از منطق را با عظمت خاصی ارائه می دهد و افق های خود را فراتر از مطالعه سنتی روابط پیامدها می برد.

توضیحاتی درمورد کتاب به خارجی

This book illustrates the program of Logical-Informational Dynamics. Rational agents exploit the information available in the world in delicate ways, adopt a wide range of epistemic attitudes, and in that process, constantly change the world itself. Logical-Informational Dynamics is about logical systems putting such activities at center stage, focusing on the events by which we acquire information and change attitudes. Its contributions show many current logics of information and change at work, often in multi-agent settings where social behavior is essential, and often stressing Johan van Benthem's pioneering work in establishing this program. However, this is not a Festschrift, but a rich tapestry for a field with a wealth of strands of its own. The reader will see the state of the art in such topics as information update, belief change, preference, learning over time, and strategic interaction in games. Moreover, no tight boundary has been enforced, and some chapters add more general mathematical or philosophical foundations or links to current trends in computer science. The theme of this book lies at the interface of many disciplines. Logic is the main methodology, but the various chapters cross easily between mathematics, computer science, philosophy, linguistics, cognitive and social sciences, while also ranging from pure theory to empirical work. Accordingly, the authors of this book represent a wide variety of original thinkers from different research communities. And their interconnected themes challenge at the same time how we think of logic, philosophy and computation. Thus, very much in line with van Benthem's work over many decades, the volume shows how all these disciplines form a natural unity in the perspective of dynamic logicians (broadly conceived) exploring their new themes today. And at the same time, in doing so, it offers a broader conception of logic with a certain grandeur, moving its horizons beyond the traditional study of consequence relations.

فهرست مطالب

Front Matter....Pages i-lxix
Front Matter....Pages 1-1
The Freedoms of (Guarded) Bisimulation....Pages 3-31
Expressiveness Modulo Bisimilarity: A Coalgebraic Perspective....Pages 33-65
Schema Mappings: A Case of Logical Dynamics in Database Theory....Pages 67-100
On Dependence Logic....Pages 101-119
Intensionality, Definability and Computation....Pages 121-142
Comparing Theories: The Dynamics of Changing Vocabulary....Pages 143-172
Front Matter....Pages 173-173
Dynamic Epistemic Logics....Pages 175-202
Belief Revision and Dynamic Logic....Pages 203-233
Temporal Aspects of the Dynamics of Knowledge....Pages 235-266
Logic and Learning....Pages 267-288
A Computational Learning Semantics for Inductive Empirical Knowledge....Pages 289-337
Structures for Epistemic Logic....Pages 339-380
Logic and Probabilistic Update....Pages 381-404
Belief as a Simplification of Probability, and What This Entails....Pages 405-417
Front Matter....Pages 419-419
Logic and Game Theory....Pages 421-449
Knowledge Games and Coalitional Abilities....Pages 451-485
On Definitive Solutions of Strategic Games....Pages 487-507
Logical Player Types for a Theory of Play....Pages 509-528
An Alternative Analysis of Signaling Games....Pages 529-544
Front Matter....Pages 545-545
Them and Us: Autonomous Agents In Vivo and In Silico....Pages 547-567
Front Matter....Pages 545-545
Incorporating Action Models into the Situation Calculus....Pages 569-590
Roles, Rigidity, and Quantification in Epistemic Logic....Pages 591-629
Stit Logics, Games, Knowledge, and Freedom....Pages 631-656
The Logic of Best Actions from a Deontic Perspective....Pages 657-676
When are Two Arguments the Same? Equivalence in Abstract Argumentation....Pages 677-701
Front Matter....Pages 703-703
Three Etudes on Logical Dynamics and the Program of Natural Logic....Pages 705-727
From Good to Better: Using Contextual Shifts to Define Preference in Terms of Monadic Value....Pages 729-747
Arguing About Dynamic Meaning....Pages 749-764
Logic of and for Language, and Logic of and for Mind....Pages 765-786
Logic and Complexity in Cognitive Science....Pages 787-824
Computational Complexity and Cognitive Science: How the Body and the World Help the Mind be Efficient....Pages 825-833
Front Matter....Pages 835-835
Dynamic Versus Classical Consequence....Pages 837-854
Dynamic Epistemic Logic as a Substructural Logic....Pages 855-880
Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras....Pages 881-894
Situation Theory Reconsidered....Pages 895-932
Unified Correspondence....Pages 933-975
Back Matter....Pages 977-1027

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Vorwerk Thermomix

دانلود کتاب Drug Allergy: Clinical Aspects, Diagnosis, Mechanisms, Structure-Activity Relationships

دانلود کتاب Biomolecular Simulations in Structure-Based Drug Discovery

دانلود کتاب Avoiding Thesis and Dissertation Pitfalls: 61 Cases of Problems and Solutions

دانلود کتاب Flight Operating Instructions USAF B-47A [AN 01-20ENA-1] [Sec. 1]