Итеративный подход к анализу естественно-языковых текстов: логический аспект

S.L. Kryvyi, D.S. Bibikov

Abstract


Описывается логический подход к анализу естественно языкового текста с целью извлечения знаний. В частности рассматривается использование линейной темпоральной логики для анализа и представления модальностей в таком тексте.
A logical approach to analysis of natural language text for extraction knowledges from this text is described. In special case consider using of linear temporal logic for representations of modalities in such text.


Keywords


Анализ естественно языкового текста; Извлечение знаний

Full Text:

PDF (Ukrainian)

References


Палагин А.В., Крывый С.Л., Петренко Н.Г., Знание ориентированные информационные системы с обработкой естественно-языкових объектов: основы методологии и архитектурно-структурная организация. – УСиМ. – 2009. – № 3. – С. 42 – 55.

Палагин А.В., Петренко Н.Г. Системно-онтологический анализ предметной области. – УСиМ. – 2009. – № 4. – С. 3 – 14.

Cohen D. Jeavons P. The Complexity of Constraint Languages. In “Handbook of Constraint Programming. – Edited by F. Rossi, P. van Beek and T. Walsh. – 2006. – P. 245 – 280.

Апресян Ю.Д. Лингвистический процессор для сложных информационных систем. – М.: Наука, 1992. – 324 с.

Палагін О.В., Кривий С.Л., Петренко М.Г., Бібіков Д.С. Алгебро-логічний підхід до аналізу та обробки текстової інформації. // Проблеми программування. – 2010. – № 2–3. – С. 318 – 329.

Палагин О.В., Крывый С.Л., Бибиков Д.С. Обработка предложений естественного языка с использованием словарей и частоты появления слов. – Natural and Artificial Intelligence Intern Book Series. – Inteligent Processing. – ITHEA. – Sofia. – 2010. – N 9. – P. 44 – 52.

Палагін О.В., Кривий С.Л., Петренко М.Г., Бібіков Д.С. Формально-логічний підхід до побудови системи аналізу знань в різних предметних областях // Проблеми програмування. – 2010. – № 2 – 3. – С. 382 – 389.

Кулик Б.А. Логика естественных рассуждений. – С.-Петербург: Невский диалект, 2001. – 127 с.

Clarke E.M., Schlingloff B.-H. Model checking. In Handbook of Automated Reasoning. Eds. A. Robinson and A/ Voronkov. – Elsevier Science Publishers B.V. – 2001. – P. 1360 – 1522.


Refbacks

  • There are currently no refbacks.