خرید و دانلود نسخه کامل کتاب Declarative Logic Programming: Theory, Systems, and Applications

توضیحاتی در مورد کتاب

ایده این کتاب از سمپوزیومی که در استونی بروک در سپتامبر 2012 برای تجلیل از کمک های اساسی دیوید اس وارن به علوم کامپیوتر و به ویژه حوزه برنامه نویسی منطقی برگزار شد، نشأت گرفت.
r برنامه‌نویسی nLogic (LP) در پیوند بازنمایی دانش، هوش مصنوعی، منطق ریاضی، پایگاه‌های داده و زبان‌های برنامه‌نویسی قرار دارد. به دلیل تأثیر متقابل اساسی بین تئوری، سیستم ها و برنامه های کاربردی که توسط منطق ایجاد می شود، جذاب و از نظر فکری تحریک کننده است. برنامه‌های منطقی بیشتر از این جهت بیانگر هستند که می‌کوشند مشخصات منطقی “چه کاری” انجام شود تا “چگونه” انجام دادن آن باشند و بنابراین سطح بالایی دارند و درک و فهم آنها آسان‌تر است. حفظ. با این حال، بدون ارائه الگوریتم واقعی، سیستم‌های LP مشخصات منطقی را به صورت خودکار پیاده‌سازی می‌کنند.

چند کتاب اصول اولیه LP را پوشش می‌دهند، اما عمدتاً روی زبان Prolog با استراتژی کنترل ناقص و ویژگی‌های غیر منطقی آن تمرکز دارند. در عین حال، به طور کلی فقدان مجموعه‌های قابل دسترس و در عین حال جامع مقالات که جنبه‌های کلیدی در LP اعلامی را پوشش می‌دهند، وجود ندارد. این جنبه‌ها شامل، از جمله، معناشناسی مدل با پایه در مقابل پایدار برای نفی، محدودیت‌ها، LP شی‌گرا، به‌روزرسانی‌ها، LP احتمالی و روش‌های ارزیابی، از جمله از بالا به پایین در مقابل پایین به بالا، و جدول‌بندی است.r n
برای سیستم‌ها، وضعیت حتی رضایت‌بخش‌تر است، فاقد ادبیات قابل دسترس که بتواند به آموزش محصولات جدید توسعه‌دهندگان، متخصصان و محققان کمک کند. چند راهنما در مورد ماشین انتزاعی Warren (WAM) وجود دارد، که زیربنای اکثر پیاده سازی های Prolog است، اما در مورد آنچه برای ساخت یک موتور استنتاج LP اعلامی پیشرفته نیاز است، بسیار اندک وجود دارد. این را با ادبیات مثلاً کامپایلرها مقایسه کنید، جایی که می‌توان ابتدا کتابی را در مورد اصول کلی و الگوریتم‌ها مطالعه کرد و سپس جزئیات یک کامپایلر خاص را بررسی کرد. چنین منابعی توانایی شروع سریع کمک های معنادار را تا حد زیادی تسهیل می کند. همچنین مقالات کمی در مورد سیستم‌هایی وجود دارد که از زبان‌های واقعاً اعلانی پشتیبانی می‌کنند، به‌ویژه آن‌هایی که با منطق مرتبه اول، برنامه‌نویسی ریاضی و حل محدودیت‌ها مرتبط هستند.

LP به حل مشکلات چالش برانگیز در طیف گسترده‌ای از کاربردها کمک می‌کند. مناطق، اما تجزیه و تحلیل عمیق از ارتباط آنها با انتزاعات زبان LP و روش های اجرای LP وجود ندارد. همچنین، بررسی‌های نادری در زمینه‌های کاربردی چالش برانگیز LP، مانند بیوانفورماتیک، پردازش زبان طبیعی، تأیید و برنامه‌ریزی وجود دارد.

هدف این کتاب کمک به پر کردن خلاء ذکر شده قبلی در ادبیات LP است. . این تعدادی مرور کلی در مورد جنبه های کلیدی LP ارائه می دهد که برای محققان و پزشکان و همچنین دانشجویان تحصیلات تکمیلی مناسب است. فصل های زیر در تئوری، سیستم ها و کاربردهای LP گنجانده شده است.