Розглянуто проблему автоматизованого аналізу несуперечності текстів (АНТ) і відповідності текстів нормативній базі. Запропоновано здійснювати АНТ за допомогою логічного аналізу з залученням знань про предметну область, природну мову та нормативну базу. Запропоновано обмежувально-продукційний метод подання знань та розглянуто його застосування для подання логічного еквівалента тексту та моделювання предметної області. Запропоновано підхід до моделювання предметної області, який дозволяє здійснити аналіз несуперечності тексту. Зокрема цей підхід передбачає включення нормативної бази у формальний опис предметної області, а також створення лінгвістично-орієнтованої бази знань предметної області, що дозволяє виконувати аналіз семантичної правильності побудови тексту й аналіз відповідності тексту нормативній базі.

• Сирота Олена Петрівна (технічні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"