Застосування темпоральної логіки при побудові формальних моделей електронних текстів

Автор(и)

  • Anastasia Vavilenkova Національний авіаційний університет, доцент кафедри комп’ютеризованих систем управління, Ukraine

DOI:

https://doi.org/10.20998/2413-4295.2017.23.13

Ключові слова:

логіко-лінгвістична модель, природна мова, темпоральна логіка, зміст, текст

Анотація

Змістовний аналіз електронних текстових документів передбачає виявлення та встановлення логічних зв’язків між формальними моделями, якими описується зміст окремих частин – речень природної мови. Тому у статті проаналізовано засоби опису впорядкованості подій у часі, що базуються на темпоральній логіці, та запропоновано формальні правила та шаблони для автоматичного визначення часових рамок електронного текстового документу за рахунок відстеження ланцюжків тем і рем, тобто послідовності розгортання думки

Посилання

Graneheim, U.H., Lundman, B. Qualitative content analysis in nursing research: concepts, procedures and measures to achieve trustworthiness, Nurse Education Today, 2004, Vol.24, №2, 105 – 112.

Chernyavskaya, Z. E. Lingvistika teksta: polikodovost',intertekstual'nost', interdiskursivnost', M., Knizhnuy dom "Librokom", 2009, 248p.

Jurafsky, D., Manning, C. Natural Language Processing, Stanford University, 2012, Available at: https://www.coursera.org/course/nlp/ – 15.05.2014.

Lamport, L. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers, Boston: Addison-Wesley Longman Publishing Co., 2002, 364 p.

Karpov, U. G. Matematicheskaya logika i teoriya algoritmov, Sankt-Peterburgskiy politexnicheskiy universitet, Available at:: http://dcn.icc.spbstu.ru.

Laroussinie, F., Markey, N., Schnoebelen, Ph. On Model Checking Durational Kripke Structures, Foundations of Software Science and Computation Structures, 2002, 264 – 279, doi: 10.1007/3-540-45931-6_19.

Zaxarov, V.A. Osnovu matematicheskoy logiki o logicheskogo programmirovaniya, Available at: http://mk.cs.msu.ru/images/8/80/LectLog18.pdf.

Geeraerts, D., Dirven, R., John, R. Cognitive linguistics: basic readings research, Berlin-New York: Publ. mouton de cruyter, 2006. – 486 p.

Evans, V. Lexical concepts, cognitive models and meaning-construction, Journal of Cognitive semiotics, 2006, 73–107.

Filippov, K. A. Lingvistika teksta:kurs lekzciy, Izdatel'stvo Sankt-Peterburgskogo universiteta, 2008, 336 p.

Vavilenkova A. I Osnovnue prinzcipu sinteza logiko-lingvisticheskix modeley, Kibernetika i sistemnuy analiz, 2015, 51, № 5, P. 176 – 185.

##submission.downloads##

Як цитувати

Vavilenkova, A. (2017). Застосування темпоральної логіки при побудові формальних моделей електронних текстів. Вісник Національного технічного університету «ХПІ». Серія: Нові рішення у сучасних технологіях, (23(1245), 84–88. https://doi.org/10.20998/2413-4295.2017.23.13

Номер

Розділ

Інформаційні технології та системи управління