کتاب زبان اصلی Optimization Methods for Logical Inference کتاب روش های بهینه سازی برای استنتاج منطقی Optimization Methods for Logical Inference نوشته ویجی چندرو و جان هوکر کتابی تخصصی در زمینه هوش مصنوعی و بهینه سازی است که در سال 1999 منتشر شده است این کتاب به معرفی الگوریتم ها و روش های بهینه سازی برای حل مسائل استنتاج منطقی و تصمیم گیری در سیستم های هوشمند می پردازد نویسندگان مفاهیم پایه ای مرتبط را توضیح داده و سپس الگوریتم هایی مانند برنامه ریزی خطی برنامه ریزی پویا الگوریتم های جستجو و بهینه سازی ترکیبیاتی را برای استنتاج منطقی معرفی می کنند کتاب برای دانشجویان و محققان هوش مصنوعی کاربردی دارد