ChatLogic: Integrating Logic Programming with Large Language Models for Multi-Step Reasoning.
Zhongsheng WangJiamou LiuQiming BaoHongfei RongJingfeng ZhangPublished in: CoRR (2024)
Keyphrases
- logic programming
- language model
- multi step
- reasoning tasks
- knowledge representation and reasoning
- logic programs
- knowledge representation
- knowledge base
- language modeling
- reasoning about actions
- probabilistic reasoning
- n gram
- computational logic
- answer set programming
- probabilistic model
- deductive databases
- nonmonotonic reasoning
- information retrieval
- test collection
- retrieval model
- logic programming language
- default logic
- query expansion
- k nearest neighbor
- programming language
- knn
- language models for information retrieval
- disjunctive logic programming
- answer sets
- smoothing methods
- semi supervised
- stable models
- constraint logic programming
- software engineering