有一套理論為葛梯爾問題，呢個問題反駁咗葛梯爾問題。當中提出咗上述三個條件就算得到滿足，喺某啲情況下仍然唔可以講“S知道P”。對於呢個情況，羅伯特·諾齊克提出咗“真理追蹤”，認為只要合理解釋“確證”嘅意義，就能夠化解葛梯爾嘅反駁。佢保留原先JTB理論入面嘅前面兩個條件，然後將第三個“確證”條件改成“如果P唔係真，S就唔相信P；如果P係真，S就相信P”。
對於知識定義的這一理論受到了來自葛梯爾問題的反駁，其中提出即便上述三要素都得到滿足，在某些情況下仍不能說“S知道P”。 對此，羅伯特·諾齊克提出了“真理追蹤”，認爲只要合理地闡明“確證”的意義，就能夠化解葛梯爾的反駁。他保留了原先JTB理論中的前兩個條件，並將第三個“確證”條件改爲“如果P爲非真，S就不相信P；如果P爲真，S就相信P”。