Examine the Gettier problem which challenges the definition of knowledge as 'justified true belief'. Construct a detailed analysis of why justification does not necessarily entail truth, and propose potential modifications or alternative theories (such as reliabilism) that might solve these counterexamples.