[کامپیوتر] نوعی روش استدلال که در یک کوشش برای کاهش تفاوتها از نقطه شروع تا هدف به عقب و جلو نظر می اندازد