Репозиторий временной логики (например, LTL) - PullRequest
Новая
       52

Репозиторий временной логики (например, LTL)

0 голосов
/ 27 февраля 2019

В настоящее время я занимаюсь проблемой формализации содержания текстов на естественном языке с помощью временной логики, например LTL.

Примером может служить фраза

"Когда поезд приближается, поезд в конечном итоге пересечет ",

, который должен соответствовать спецификации LTL, такой как

G (train_approaching ---> F (train_crossing))

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

Я уже нашел следующие ресурсы:

  • http://patterns.projects.cs.ksu.edu/documentation/patterns/ltl.shtml Хранилище шаблонов свойств (на основе LTL), всего около 100 экземпляров
  • https://gitlab.lrz.de/i7/ltlstore LTL Store, который является хранилищем формул LTL, однако без парного текста на естественном языке (он все еще может быть полезен в качестве «одноязычных» обучающих данных)

Конечно,общая цель будет заключаться в том, чтобы работать с полной логикой, однако для начала я также могу сосредоточиться на подмножестве шаблонов на основе временной логики.

Знаете ли вы какой-либо другой набор данных, который я мог бы использовать в качестве обучающих данных дляс этой целью?

...