دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Reasoning with Logic Programming
دانلود کتاب استدلال با برنامه نویسی منطقی
مشخصات کتاب
Reasoning with Logic Programming
ویرایش:
نویسندگان: José Júlio Alferes. Luís Moniz Pereira
سری:
ISBN (شابک) : 3540614885
ناشر: Springer
سال نشر: 1996
تعداد صفحات: 331
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 48,000
در صورت تبدیل فایل کتاب Reasoning with Logic Programming به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب استدلال با برنامه نویسی منطقی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب استدلال با برنامه نویسی منطقی
این کارگاه به پروژه های تحقیقاتی در جهان اولیه اختصاص یافته است که در مورد استراتژی هایی برای مطالعه اجرام دوردست کم نور در مناطق طیفی نوری و مادون قرمز بحث می کند. این رشته به سرعت در حال پیشرفت است. محدودیت‌های رصدی در مورد تکامل و شکل‌گیری کهکشان‌ها و ساختارهای بزرگ و همچنین تکامل شیمیایی کیهانی با توجه به نظریه و شبیه‌سازی‌های عددی به طور انتقادی مورد بحث قرار گرفت. در این زمینه، قابلیت های ابزار نسل اول VLT به طور جامع ارائه شد و استفاده از آنها به عنوان ابزار کیهان شناسی مورد بحث قرار گرفت. اظهارات پایانی بر تجزیه و تحلیل احتمالات مختلف برای ابزار دقیق نسل دوم VLT متمرکز بود. بسیاری از این موضوعات توسط نقدها و گفتگوهای دعوت شده و برخی از گفتگوهای کمکی پوشش داده شد که در این جلد گنجانده شده است.
توضیحاتی درمورد کتاب به خارجی
This workshop is dedicated to research projects on the early universe, discussing strategies for studying faint distant objects in the optical and infrared spectral regions. This field is evolving very rapidly. Observational constraints on the evolution and formation of galaxies and large-scale structures as well as the cosmic chemical evolution were critically discussed with regard to the theory and numerical simulations. In this context, the VLT first-generation instrument capabilities were presented comprehensively and their use as cosmological tools discussed. The concluding remarks focussed on the analysis of various possibilities for the VLT second-generation instrumentation. Many of these topics were covered by invited reviews and talks, and some contributed talks, which are included in this volume.
فهرست مطالب
Normal logic programs....Pages 1-16
Extended logic programs....Pages 17-28
Why a new semantics for extended programs?....Pages 29-35
WFSX — A well founded semantics for extended logic programs....Pages 37-48
WFSX, LP semantics with two negations, and autoepistemic logics....Pages 49-81
WFSX and default logic....Pages 83-105
WFSX and hypotheses abduction....Pages 107-128
Dealing with contradiction....Pages 129-166
Further properties and comparisons....Pages 167-186
Top-down derivation procedures for WFSX....Pages 187-206
Application to classical nonmonotonic reasoning problems....Pages 207-233
Application to diagnosis and debugging....Pages 235-269
