الگوریتم استنتاج ممدانی