ترجمه فارسی توضیحات (ترجمه ماشینی)
پشتیبانی تصمیم گیری مبتنی بر منطق: فرمول مدل عدد صحیح مختلط
این تک نگاری بر اساس مجموعه ای از سخنرانی های نویسنده در اولین مؤسسه تحقیقاتی پیشرفته در ریاضیات کاربردی گسسته، که در دانشگاه راتگرز برگزار شد، ارائه شده است. بر ارتباطات بین جنبههای نمایشی برنامهنویسی عدد صحیح مختلط و منطق کاربردی، و همچنین بحث در مورد رویکردهای مبتنی بر منطق برای پشتیبانی تصمیمگیری که به ایجاد سیستمهای «هوشمندتر» کمک میکند، تأکید میکند. با تقسیم طبیعی به دو بخش، چهار فصل اول مروری بر تکنیکهای نمایشپذیری برنامهنویسی عدد صحیح مختلط است. این با پنج فصل در منطق کاربردی، سیستم های خبره، منطق و پایگاه های داده، و نظریه پیچیدگی دنبال می شود. این مقاله با خلاصه ای از مسائل تحقیقاتی باز و تلاشی برای برون یابی روندها در این حوزه به سرعت در حال توسعه به پایان می رسد.
This monograph is based on a series of lectures given by the author at the first Advanced Research Institute on Discrete Applied Mathematics, held at Rutgers University. It emphasizes connections between the representational aspects of mixed integer programming and applied logic, as well as discussing logic-based approaches to decision support which help to create more `intelligent’ systems. Dividing naturally into two parts, the first four chapters are an overview of mixed-integer programming representability techniques. This is followed by five chapters on applied logic, expert systems, logic and databases, and complexity theory. It concludes with a summary of open research issues and an attempt to extrapolate trends in this rapidly developing area.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.