دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: منطق ویرایش: 1 نویسندگان: Jack Minker سری: The Kluwer international series in engineering and computer science SECS 597 ISBN (شابک) : 0792372247, 9780792372240 ناشر: Kluwer Academic Publishers سال نشر: 2000 تعداد صفحات: 625 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
در صورت تبدیل فایل کتاب Logic-based artificial intelligence به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب هوش مصنوعی مبتنی بر منطق نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این حجم برجسته نشان دهنده اوج بیش از 40 سال تحقیق در استفاده از منطق به عنوان مبنایی برای نمایش و دستکاری مشکلات در زمینه هوش مصنوعی است. استفاده از منطق به عنوان پایه ای برای استدلال عقل سلیم توسط جان مک کارتی در سال 1959 آغاز شد. این مجموعه شامل تحقیقات اصلی و بررسی تقریباً هر موضوعی است که از منطق در هوش مصنوعی استفاده می کند، توسط دانشمندان برجسته ارائه شده است و از کارهای مقدماتی ارائه شده در کارگاه آموزشی هوش مصنوعی مبتنی بر منطق در واشنگتن دی سی، ژوئن 1999 برگزار شد. مقاله مقدماتی پیشینه تحقیقاتی را که از سال 1959 رخ داده است ارائه میکند و اهمیت هر فصل را در این زمینه مورد بحث قرار میدهد. موضوعات مطرح شده در این کتاب عبارتند از: استدلال عقل سلیم، بازنمایی دانش، استدلال غیر یکنواخت، منطق برای علیت و کنش، برنامه ریزی و حل مسئله، رباتیک شناختی، منطق برای عوامل و کنش ها، استدلال استقرایی، منطق احتمالی، منطق و باورها، منطق و زبان، منطق محاسباتی، پیاده سازی سیستم پایه دانش، و کاربردهای اثبات قضیه و برنامه نویسی منطقی. هوش مصنوعی مبتنی بر منطق برای دانشجویان فارغ التحصیل و محققان در زمینه هوش مصنوعی و روش های پیشرفته برای پایگاه داده و سیستم های پایگاه دانش بسیار ارزشمند است. هوش مصنوعی مبتنی بر منطق همچنین برای کسانی که روشهای اثبات قضیه را برای مشکلات در راستیآزمایی برنامهها و سختافزار به کار میبرند، برای کسانی که با سیستمهای پایگاه دانش بزرگ سر و کار دارند، کسانی که رباتیک شناختی را توسعه میدهند، و برای کسانی که علاقهمند به حل مککارتی در سال 1959 هستند، جالب خواهد بود. "قدیمی ترین مشکل برنامه ریزی در هوش مصنوعی: رسیدن از خانه به فرودگاه".
This landmark volume represents the culmination of over 40 years of research in the use of logic as a basis for representing and manipulating problems in the field of artificial intelligence. The use of logic as a basis for commonsense reasoning was started by John McCarthy in 1959. The collection consists of both original research and surveys of almost every subject that uses logic in AI, contributed by leading scientists, and grew out of preliminary work presented at the Workshop on Logic-Based Artificial Intelligence held in Washington, DC, June 1999. All papers have been extensively refereed and revised. The introductory article presents background on research that has transpired since 1959 and discusses the significance of each chapter in this context. The topics covered in the book are commonsense reasoning, knowledge representation, nonmonotonic reasoning, logic for causation and actions, planning and problem solving, cognitive robotics, logic for agents and actions, inductive reasoning, possibilistic logic, logic and beliefs, logic and language, computational logic, knowledge base system implementations, and applications of theorem proving and logic programming. Logic-Based Artificial Intelligence is invaluable to graduate students and researchers in artificial intelligence, and advanced methods for database and knowledge base systems. Logic-Based Artificial Intelligence will also be of interest to those applying theorem proving methods to problems in program and hardware verification, to those who deal with large knowledge base systems, those developing cognitive robotics, and for those interested in the solution of McCarthy's 1959 "oldest planning problem in AI: getting from home to the airport".