دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1
نویسندگان: Michael Thielscher (auth.)
سری: Lecture Notes in Computer Science 1775 : Lecture Notes in Artificial Intelligence
ISBN (شابک) : 3540674551, 9783540674559
ناشر: Springer-Verlag Berlin Heidelberg
سال نشر: 2000
تعداد صفحات: 149
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 978 کیلوبایت
کلمات کلیدی مربوط به کتاب چالش های تئوری های عمل: هوش مصنوعی (شامل رباتیک)، منطق ریاضی و زبانهای رسمی، منطق ریاضی و مبانی
در صورت تبدیل فایل کتاب Challenges for Action Theories به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب چالش های تئوری های عمل نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
رویکرد مبتنی بر منطق برای طراحی سیستمهای محاسباتی، بدون شک، مزایای زیادی نسبت به پارادایم ضروری که تا کنون برای برنامهنویسی و طراحی سختافزار به کار رفته است، ارائه میکند و در نتیجه، منطق، بارها و بارها به عنوان پایه ای برای نسل بعدی سیستم های کامپیوتری. در حالی که منطق و روشهای رسمی در بسیاری از زمینههای علوم کامپیوتر و هوش مصنوعی در حال گسترش هستند، انقلاب مورد انتظار هنوز رخ نداده است. در این کتاب نویسنده راه حل قانعکنندهای برای مسئله انشعاب و مشکل صلاحیت مرتبط با مسئله چارچوب ارائه میکند و در نتیجه به حل رضایتبخش مشکل اصلی و چالشهای مرتبط کمک میکند. تیلشر رویکرد خود را بر مبنای محاسبات روان استوار می کند، یک فرمالیسم مرتبه اول شبیه به Prolog که امکان توصیف اعمال و تغییرات را فراهم می کند.
A logic-based approach to the design of computing systems would, undoubtedly, offer many advantages over the imperative paradigm most commonly applied so far for programming and hardware design and, consequently, logic, again and again, has been heralded as the basis for the next generation of computer systems. While logic and formal methods are indeed gaining ground in many areas of computer science and artificial intelligence the expected revolution has not yet happened. In this book the author offers a convincing solution to the ramification problem and qualification problem associated with the frame problem and thus contributes to a satisfactory solution of the core problem and related challenges. Thielscher bases his approach on the fluent calculus, a first-order Prolog-like formalism allowing for the description of actions and change.
Foundations of Action Theories....Pages 1-15
The Ramification Problem....Pages 17-83
The Qualification Problem....Pages 85-118
Qualified Ramifications....Pages 119-124