У статті розглядається проблема автоматизованного аналізу несуперечності текстів та відповідності текстів нормативній базі. Пропонується здійснювати аналіз несуперечності тексту шляхом логічного аналізу із залученням знаь про предметну область, природну мову та нормативну базу.