|
|
Сирота, О. П.
Обмежувально-продукційний метод подання знань для аналізу несуперечності текстів [Text] !Otitkn.pft: FILE NOT FOUND! !oizd.pft: FILE NOT FOUND! !ospec.pft: FILE NOT FOUND! !oistaspk_H.pft: FILE NOT FOUND! Рубрикатор НБУВ: Тематичні рубрики:
Шифр журнала:
Анотація: Розглянуто проблему автоматизованого аналізу несуперечності текстів (АНТ) і відповідності текстів нормативній базі. Запропоновано здійснювати АНТ за допомогою логічного аналізу з залученням знань про предметну область, природну мову та нормативну базу. Запропоновано обмежувально-продукційний метод подання знань та розглянуто його застосування для подання логічного еквівалента тексту та моделювання предметної області. Запропоновано підхід до моделювання предметної області, який дозволяє здійснити аналіз несуперечності тексту. Зокрема цей підхід передбачає включення нормативної бази у формальний опис предметної області, а також створення лінгвістично-орієнтованої бази знань предметної області, що дозволяє виконувати аналіз семантичної правильності побудови тексту й аналіз відповідності тексту нормативній базі. !oprip481_H.pft: FILE NOT FOUND!
Видання зберігається у :
|
|