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

Anastasia Vavilenkova

Анотація


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

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


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

Повний текст:

PDF

Посилання


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.


Пристатейна бібліографія ГОСТ


  1. Graneheim, U.H. Qualitative content analysis in nursing research: concepts, procedures and measures to achieve trustworthiness / U.H. Graneheim, B. Lundman // Nurse Education Today. – 2004. – Vol. 24, №2. – P. 105 – 112.
  2. Чернявская, З. Е. Лингвистика текста: поликодовость, интертекстуальность, интердискурсивность / Чернявская З. Е. – М.: Книжный дом «Либроком», 2009. – 248 с.
  3. Jurafsky, D. Natural Language Processing / D. Jurafsky, C. Manning. – Stanford University, 2012. – Available at: https://www.coursera.org/course/nlp/ – 15.05.2014.
  4. Lamport, L. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers / Lamport L. – Boston: Addison-Wesley Longman Publishing Co., 2002. – 364 p.
  5. Карпов, Ю. Г. Математическая логика и теория алгоритмов / Карпов Ю. Г. – Санкт-Петербургский политехнический университет. – Режим доступа: http://dcn.icc.spbstu.ru. – 24.12.2016.
  6. Laroussinie, F. On Model Checking Durational Kripke Structures / F. Laroussinie, N. Markey, Ph. Schnoebelen // Foundations of Software Science and Computation Structures. – 2002. – P. 264 – 279. – doi: 10.1007/3-540-45931-6_19.
  7. Захаров, В. А. Основы математической логики и логического программирования. – Режим доступа:  http://mk.cs.msu.ru/images/8/80/LectLog18.pdf.
  8. Geeraerts, D. Cognitive linguistics: basic readings research / Geeraerts D., Dirven R., John R. – Berlin-New York: Publ. mouton de cruyter, 2006. – 486 p.
  9. Evans, V. Lexical concepts, cognitive models and meaning-construction / V. Evans // Journal of Cognitive semiotics. – 2006. – P. 73–107.
  10. Филиппов, К. А. Лингвистика текста: курс лекций / Филиппов К. А. – Спб.: Издательство С. –Петербургского университета, 2008. – 336 с.
  11. Вавиленкова, А. И. Основные принципы синтеза логико-лингвистических моделей / А. И. Вавиленкова //  Кибернетика и системный анализ. – 2015. – Т. 51,     № 5. – С. 176 – 185.




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

Посилання

  • Поки немає зовнішніх посилань.