برنامه ریزی منطقی قیاسی (انگلیسی: Abductive logic programming یا به طور مخفف ALP)، چارچوب ارائه دانش در سطح بالا است که می توان از آن برای حل مشکلات ناشی از استدلال قیاسی استفاده کرد. برنامه ریزی منطقی نرمال با استفاده از بعضی مفروضات که به طور ناقص تعریف شده اند، اجازه گسترده شدن را به گزاره های قیاسی می دهد. حل مسئله با استخراج فرضیه ها در مورد گزاره های مورد نظر (فرضیه قیاسی) به عنوان راه حل مس...
