LoRP: LLM-based Logical Reasoning via Prolog

•We propose LoRP, a hybrid reasoning framework combining LLMs and Prolog.•A systematic FOL-to-Prolog translation mechanism extends Prolog’s expressiveness.•LoRP decouples language understanding and symbolic inference via four reasoning stages.•Extensive experiments show LoRP achieves state-of-the-ar...

Celý popis

Podrobná bibliografie

Vydáno v:	Knowledge-based systems Ročník 327; s. 114140
Hlavní autoři:	Di, Zhengkun, Zhang, Chaoli, Lv, Hongtao, Cui, Lizhen, Liu, Lei
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier B.V 09.10.2025
Témata:	Large language model Logical reasoning enhancement Prolog Logical reasoning enhancement Large language model Prolog
ISSN:	0950-7051
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!