دانلود کتاب Reasoning with Logic Programming (به فارسی: استدلال با برنامه نویسی منطقی) نوشته شده توسط «José Júlio Alferes – Luís Moniz Pereira (eds.)»
اطلاعات کتاب استدلال با برنامه نویسی منطقی
موضوع اصلی: برنامه نويسي
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: José Júlio Alferes – Luís Moniz Pereira (eds.)
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1996
تعداد صفحه: 336
حجم کتاب: 2 مگابایت
کد کتاب: 3540614885 , 9783540614883
نوبت چاپ: 1
توضیحات کتاب استدلال با برنامه نویسی منطقی
به عنوان اولین تک نگاری در این زمینه، این بررسی پیشرفته ارائه دقیقی از برنامه های منطقی به عنوان ابزارهای بازنمایی و استدلال ارائه می دهد.
نویسندگان این کتاب را با موفقیت به عنوان متنی برای دوره کارشناسی ارشد استفاده کردند. استفاده از برنامه نویسی منطقی برای انواع مختلف استدلال، به ویژه برای استدلال غیر یکنواخت، به طور کامل بررسی و نشان داده شده است و انواع فرمالیسم های بازنمایی دانش، مانند نفی پیش فرض، محدودیت های یکپارچگی، قوانین پیش فرض و غیره، به طور عمیق مورد بررسی قرار می گیرند. علاوه بر متن اصلی، پیشزمینه مقدماتی دقیق و اطلاعات انگیزشی همراه با فهرستی از فهرست 215 مدخل و همچنین فهرستی از مفسر Prolog که در متن برای اجرای مثالهای متعدد استفاده میشود، گنجانده شده است.
As the first monograph in the field, this state-of-the-art survey provides a rigorous presentation of logic programs as representational and reasoning tools.
The authors used this book successfully as a text for a MSc course. The use of logic programming for various types of reasoning, particularly for nonmonotonic reasoning, is thoroughly investigated and illustrated and a variety of knowledge representation formalisms, like default negation, integrity constraints, default rules, etc., are treated in depth. Besides the main text, detailed introductory background and motivational information is included together with a bibliography listing 215 entries as well as the listing of the Prolog interpreter used in the text for running numerous examples.
دانلود کتاب «استدلال با برنامه نویسی منطقی»
📖 خرید این کتاب
برای دریافت فایل و اطلاع از قیمت، روی یکی از دکمههای زیر کلیک کنید تا پیام آماده برای شما ارسال شود:
پس از ارسال پیام، قیمت و لینک دریافت فایل در اسرع وقت برای شما ارسال خواهد شد.