ترجمه فارسی توضیحات (ترجمه ماشینی)
دانش در عمل: مبانی منطقی برای تعیین و پیاده سازی سیستم های دینامیکی
به ندرت کتابی ظاهر می شود که راه حلی برای یک مشکل بزرگ ارائه می دهد. حتی نادرتر است که کتابی راه حلی ارائه دهد که هم از لحاظ نظری صحیح و هم غیرقابل انکار عملی باشد. اما این چنین کتابی است. مشکل چارچوب، که برای 70 سال اول منطق مورد توجه قرار نگرفت، و برای 30 سال آینده حل نشد، در اینجا یک راه حل پیدا می کند.
این کتاب تقطیر کار زندگی رایتر است. با این حال، بر خلاف بسیاری دیگر از این کتابها، این کتاب صرفاً یک برش-ن-پیست از مقالات کنفرانس و گزارشهای فنی نیست. بهجای اینکه یک پاستیک باشد، یک استدلال مستمر و مستمر است که بهطور متقاعدکننده و واضح ارائه میشود. یک شاهکار.
اینجا چیزی هست که همه را خشمگین می کند. کسانی که فکر میکنند هوش مصنوعی نباید از روشهای مبتنی بر منطق استفاده کند خشمگین خواهند شد زیرا رایتر برای اولین بار در اینجا آنها را به کار انداخته است. کسانی که فکر می کنند منطق مرتبه اول تنها منطق واقعی است خشمگین می شوند، زیرا رایتر نشان می دهد که چگونه منطق مرتبه دوم کلیدی است. کسانی که فکر می کنند هوش مصنوعی بیش از حد تئوری است خشمگین می شوند زیرا این کتاب عملی است. کسانی که فکر می کنند هوش مصنوعی نباید نگران عملی بودن باشد، خشمگین می شوند، زیرا رایتر نشان داده است که بهترین تئوری به عملی ترین راه حل منجر می شود. کسانی که طرفدار LISP هستند خشمگین خواهند شد زیرا روش های او به طور اجتناب ناپذیری به PROLOG منجر می شود. کتاب را بخوانید، از آن خشمگین شوید و فروتنانه از آن درس بگیرید. استاد صحبت می کند.
اگر به این صفحه وب یا تا اینجای بررسی رسیده اید، باید این کتاب را بخرید و بخوانید 🙂
It is rare that a book appears which presents a solution to a major outstanding problem. It is even rarer when a book presents a solution which is both theoretically sound and undeniably practical. But this is such a book. The frame problem, which went unnoticed for the first 70 years of logic, and unsolved for the next 30, here gets a solution.
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 🙂
نقد و بررسیها
هیچ دیدگاهی برای این محصول نوشته نشده است.