دانلود کتاب Many-Dimensional Modal Logics: Theory and Applications (به فارسی: منطق مودال چند بعدی: نظریه و کاربردها) نوشته شده توسط «D.M. Gabbay – A. Kurucz – F. Wolter – M. Zakharyaschev»
اطلاعات کتاب منطق مودال چند بعدی: نظریه و کاربردها
موضوع اصلی: منطق
نوع: کتاب الکترونیکی
ناشر: North Holland
نویسنده: D.M. Gabbay – A. Kurucz – F. Wolter – M. Zakharyaschev
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2003
تعداد صفحه: 767
حجم کتاب: 29 مگابایت
کد کتاب: 9780444508263 , 0444508260 , 9780080535784 , 008053578X
توضیحات کتاب منطق مودال چند بعدی: نظریه و کاربردها
منطق مدال که در ابتدا در فلسفه تصور می شد، اخیراً کاربردهای زیادی در علوم کامپیوتر، هوش مصنوعی، مبانی ریاضیات، زبان شناسی و سایر رشته ها پیدا کرده است. منطق های مدال که به دلیل رفتار محاسباتی خوبشان تجلیل می شوند، به عنوان فرمالیسم های مؤثر برای صحبت در مورد زمان، مکان، دانش، باورها، اعمال، تعهدات، اثبات پذیری و غیره استفاده می شوند. با این حال، اگر برخی از این فرمالیسم ها را با هم ترکیب کنیم، ویژگی های محاسباتی خوب می تواند به شدت تغییر کند. یک سیستم چند بعدی، مثلاً برای استدلال در مورد پایگاه های دانش که در زمان توسعه می یابند یا اشیاء متحرک.
مطالعه رفتار محاسباتی منطق های مودال چند بعدی هدف اصلی این کتاب است. از یک سو، به ارائه یک پایه ریاضی محکم برای این رشته می پردازد، در حالی که از سوی دیگر، نشان می دهد که بسیاری از سیستم های چند بعدی به ظاهر متفاوت (مانند سیستم های چند عاملی، منطق های توصیف با معرفتی، زمانی و عملگرهای پویا، منطق مکانی-زمانی، و غیره) کاملاً با این چارچوب نظری مطابقت دارند، و بنابراین رفتار محاسباتی آنها را می توان با استفاده از ماشین آلات توسعه یافته تجزیه و تحلیل کرد. از جمله منطق زمانی، معرفتی، پویایی، توصیفی، مکانی و ترکیبی از اینها. سپس یک تئوری ریاضی برای مدیریت طیفی از ترکیب‌های «انتزاعی» منطق‌های مودال – ترکیب‌ها و محصولات منطق‌های مودال، قطعاتی از منطق‌های معین و زمانی مرتبه اول – با تمرکز بر سه مشکل اصلی: تصمیم‌پذیری، بدیهی‌پذیری، و پیچیدگی محاسباتی توسعه می‌دهیم. علاوه بر روش‌های استاندارد منطق مودال، ابزار فنی شامل روش شبه‌مدل، موزاییک، کاشی‌کاری، کاهش به منطق مرتبه دوم مونادیک، تکنیک‌های منطق جبری است. در نهایت، ما ماشین‌های توسعه‌یافته و نتایج به‌دست‌آمده را در سه مطالعه موردی از حوزه بازنمایی دانش و استدلال به کار می‌بریم: منطق‌های معرفتی زمانی برای استدلال در مورد سیستم‌های چند عاملی، منطق‌های توصیف تعدیل‌شده برای هستی‌شناسی‌های پویا، و منطق‌های مکانی-زمانی.
ژانر کتاب را می توان به صورت تک نگاری پژوهشی تعریف کرد. با نشان دادن دستاوردهای اخیر و جهت گیری های تحقیقات آینده (به ویژه مشکلات باز چندگانه) خواننده را به خط مقدم تحقیقات فعلی در این زمینه می رساند. از سوی دیگر، نتایج شناخته شده از منطق مدال و مرتبه اول بدون دلیل فرمول بندی شده و با ارجاع به منابع قابل دسترس ارائه می شود.
مخاطب مورد نظر این کتاب منطق دانان و همچنین محققانی هستند که از منطق در علوم کامپیوتر استفاده می کنند. و هوش مصنوعی حوزه های کاربردی خاص تر عبارتند از، به عنوان مثال، بازنمایی دانش و استدلال، به ویژه، استدلال اصطلاحی، زمانی و مکانی، یا استدلال در مورد عوامل. و همچنین معتقدیم که محققان برخی از رشته های دیگر، مثلاً پایگاه داده های زمانی و مکانی یا سیستم های اطلاعات جغرافیایی، از این کتاب نیز بهره مند خواهند شد.
To study the computational behaviour of many-dimensional modal logics is the main aim of this book. On the one hand, it is concerned with providing a solid mathematical foundation for this discipline, while on the other hand, it shows that many seemingly different applied many-dimensional systems (e.g., multi-agent systems, description logics with epistemic, temporal and dynamic operators, spatio-temporal logics, etc.) fit in perfectly with this theoretical framework, and so their computational behaviour can be analyzed using the developed machinery.
We start with concrete examples of applied one- and many-dimensional modal logics such as temporal, epistemic, dynamic, description, spatial logics, and various combinations of these. Then we develop a mathematical theory for handling a spectrum of ‘abstract’ combinations of modal logics – fusions and products of modal logics, fragments of first-order modal and temporal logics – focusing on three major problems: decidability, axiomatizability, and computational complexity. Besides the standard methods of modal logic, the technical toolkit includes the method of quasimodels, mosaics, tilings, reductions to monadic second-order logic, algebraic logic techniques. Finally, we apply the developed machinery and obtained results to three case studies from the field of knowledge representation and reasoning: temporal epistemic logics for reasoning about multi-agent systems, modalized description logics for dynamic ontologies, and spatio-temporal logics.
The genre of the book can be defined as a research monograph. It brings the reader to the front line of current research in the field by showing both recent achievements and directions of future investigations (in particular, multiple open problems). On the other hand, well-known results from modal and first-order logic are formulated without proofs and supplied with references to accessible sources.
The intended audience of this book is logicians as well as those researchers who use logic in computer science and artificial intelligence. More specific application areas are, e.g., knowledge representation and reasoning, in particular, terminological, temporal and spatial reasoning, or reasoning about agents. And we also believe that researchers from certain other disciplines, say, temporal and spatial databases or geographical information systems, will benefit from this book as well.
دانلود کتاب «منطق مودال چند بعدی: نظریه و کاربردها»
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.