پژوهشی در پیرامون مسئله ی تصمیم در منطق-طرح چند خوارزمیک تحلیلی-معنایی