Hello, everyone. Я пытаюсь естественный язык с LLM привязать к темпоральной

Question

Hello, everyone. Я пытаюсь естественный язык с LLM привязать к темпоральной

логике и научиться алгоритмически составлять абстрактную систему для проверки утверждений в этой логике высказываний.
Как лучше всего промоделировать свод законов?
Какая логическая система лучше всего подходит для такой задачи? Когда у нас есть What, When, Who-утверждения.
Что сделано: LLama3.1 405b — обработка документов, составление таблиц с What, When, Who нарезками оригинального текста (система читает фрагмент текста и разбивает его на куски и преобразует пассивное действие в активное — что надо делать, кому и когда),
Spacy, NLTK — составление синтаксических деревьев.
Не хватает только decision procedure, которая проверяет входящее утверждение и выдает ответ — есть противоречие с остальными десятками тысяч высказываний или нет

0

18.08.2024

3 ответов

12 просмотров

. . . . . . Автор вопроса

Brenoritvrezorkre
Семантика естественного языка — очень сложная штук...

Доброе утро

0

27 дней назад

Rust Skye

а что значит проверка утверждений? типа непротиворечивы ли они вместе? какова общая задача? ну и интересно как естественный язык будет соотнесен с ctl. или только фрагменты рассматриваются с темпоральными утверждениями? почему тогда интересуют только утверждения переводимые в стандартные темпоральные логики? у них классная семантика, но вообще неясно причём тут естественный язык

0

27 дней назад

Brenoritvrezorkre · Accepted Answer

Brenoritvrezorkre

Семантика естественного языка — очень сложная штука

0

27 дней назад

Похожие чаты

Hello, everyone. Я пытаюсь естественный язык с LLM привязать к темпоральной

3 ответов

Похожие вопросы