CLMASP: Coupling Large Language Models with Answer Set Programming for Robotic Task Planning.
Xinrui LinYangfan WuHuanyu YangYu ZhangYanyong ZhangJianmin JiPublished in: CoRR (2024)
Keyphrases
- language model
- answer set programming
- language modeling
- logic programs
- logic programming
- answer sets
- n gram
- document retrieval
- causal theories
- language modelling
- constraint logic programming
- speech recognition
- retrieval model
- statistical language models
- probabilistic model
- information retrieval
- test collection
- query expansion
- query terms
- answer set programs
- vector space model
- smoothing methods
- stable model semantics
- language models for information retrieval
- context sensitive
- disjunctive logic programming
- translation model
- document ranking
- stable models
- knowledge representation
- artificial intelligence
- machine learning
- relevance model
- declarative programming
- retrieval effectiveness