You can get a rough intuitive understanding by looking at the second order ODE $\epsilon y'' + q(x)y=0$, where $0 < \epsilon \ll 1$ and $q(x)$ does not change sign on the interval of interest.
If $q$ was just a real number, the solution would be the linear combination of two exponential functions having arguments with different signs. The second observation you might make is that the multiplication of the highest order term by a small parameter generally implies we have to use a singular perturbation series. If you look at the argument of the exponential function used, you will see it is a singular perturbation series. So in a sense, the form for the WKB solution is the marriage of two things you expect in the solution: we put the singular perturbation series into the argument of the exponential functions.
Putting this form for the solution into the original ODE, letting the small parameter in the singular perturbation series be a variable, solving for it using dominant balance, and then obtaining a series of ODEs (for the different orders of $\epsilon$) you can obtain a solution.