LTL Extractor (RU temporal markers → LTL)

Проект представляет собой интеллектуального помощника по извлечению временных отношений из текста (например из новостных статей или из исторических документов). Программа принимает от пользователя текст, ищет в нем маркеры временных отношений, вокруг маркеров ищет контекстуально зависимые сущности, отношения и предикаты, затем из найденных элементов строит формулы темпоральной логики (LTL) с логированием происходящего на всех этапах.

Как работает программа (пайплайн):

1. Находит темпоральные связки (например: «до того как», «после», «пока», «в то время как»), запоминает их положение в тексте
2. Для каждого маркера берёт текстовое окно и извлекает:
   • entities (сущности)
   • relations (краткие события/отношения)
   • predicates (структурированные атомы name(arg1,arg2,...) с polarity и evidence)
3. Собирает результат в JSON c формированием формул:
   • terms (t1, t2, …)
   • predicates (pr1, pr2, …)
   • ap (p1, p2, …)
   • formulas (LTL-формулы + meaning)
4. Выводит информацию из JSON файла для пользователя в читабельном формате

Требования

• Python 3.12
• Переменная окружения с ключом Perplexity: PPLX_API_KEY (или PERPLEXITY_API_KEY)
• Зависимости: python-dotenv, perplexityai