دانلود کتاب Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems (به فارسی: دانش در عمل: مبانی منطقی برای تعیین و پیاده سازی سیستم های دینامیکی) نوشته شده توسط «Raymond Reiter»
اطلاعات کتاب دانش در عمل: مبانی منطقی برای تعیین و پیاده سازی سیستم های دینامیکی
موضوع اصلی: سیستم های دینامیکی
نوع: کتاب الکترونیکی
ناشر: The MIT Press
نویسنده: Raymond Reiter
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2001
تعداد صفحه: 445
حجم کتاب: 2 مگابایت
کد کتاب: 9780262182188 , 0262182181
نوبت چاپ: illustrated edition
توضیحات کتاب دانش در عمل: مبانی منطقی برای تعیین و پیاده سازی سیستم های دینامیکی
به ندرت کتابی ظاهر می شود که راه حلی برای یک مشکل بزرگ ارائه می دهد. حتی نادرتر است که کتابی راه حلی ارائه دهد که هم از لحاظ نظری صحیح و هم غیرقابل انکار عملی باشد. اما این چنین کتابی است. مشکل چارچوب، که برای 70 سال اول منطق مورد توجه قرار نگرفت، و برای 30 سال آینده حل نشد، در اینجا یک راه حل پیدا می‌کند.
این کتاب تقطیر کار زندگی رایتر است. با این حال، بر خلاف بسیاری دیگر از این کتاب‌ها، این کتاب صرفاً یک برش-ن-پیست از مقالات کنفرانس و گزارش‌های فنی نیست. به‌جای اینکه یک پاستیک باشد، یک استدلال مستمر و مستمر است که به‌طور متقاعدکننده و واضح ارائه می‌شود. یک شاهکار.
اینجا چیزی هست که همه را خشمگین می کند. کسانی که فکر می‌کنند هوش مصنوعی نباید از روش‌های مبتنی بر منطق استفاده کند خشمگین خواهند شد زیرا رایتر برای اولین بار در اینجا آنها را به کار انداخته است. کسانی که فکر می کنند منطق مرتبه اول تنها منطق واقعی است خشمگین می شوند، زیرا رایتر نشان می دهد که چگونه منطق مرتبه دوم کلیدی است. کسانی که فکر می کنند هوش مصنوعی بیش از حد تئوری است خشمگین می شوند زیرا این کتاب عملی است. کسانی که فکر می کنند هوش مصنوعی نباید نگران عملی بودن باشد، خشمگین می شوند، زیرا رایتر نشان داده است که بهترین تئوری به عملی ترین راه حل منجر می شود. کسانی که طرفدار LISP هستند خشمگین خواهند شد زیرا روش های او به طور اجتناب ناپذیری به PROLOG منجر می شود. کتاب را بخوانید، از آن خشمگین شوید و فروتنانه از آن درس بگیرید. استاد صحبت می کند.
اگر به این صفحه وب یا تا اینجای بررسی رسیده اید، باید این کتاب را بخرید و بخوانید 🙂
This book is the distillation of Reiter’s lifeswork. Unlike many other such books, however, it is not a mere cut-n-paste of conference papers and tech reports. Instead of being a pastiche, it is rather a continuous, sustained argument, persuasively and clearly presented. A masterpiece.
There is something here to infuriate everybody. Those who think that AI shouldn’t be using logic-based methods will be infuriated because Reiter has here, for the first time, made them work. Those who think that first-order logic is the only true logic will be infuriated, because Reiter shows how 2nd order logic is key. Those who think that AI is too theoretical will be infuriated because this is a practical book. Those who think that AI shouldn’t worry about being practical will be infuriated, because Reiter has shown that the best theory leads to the most practical solution. Those who are LISP fans will be infuriated because his methods lead inexorably to PROLOG. Read the book, be infuriated by it, and humbly learn from it. The master speaks.
If you’ve made it to this web page or this far in the review, you have to buy and read this book 🙂
دانلود کتاب «دانش در عمل: مبانی منطقی برای تعیین و پیاده سازی سیستم های دینامیکی»
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.