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