LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers.
Theo X. OlaussonAlex GuBenjamin LipkinCedegao E. ZhangArmando Solar-LezamaJoshua B. TenenbaumRoger LevyPublished in: CoRR (2023)
Keyphrases
- language model
- first order logic
- logical reasoning
- formal semantics
- theorem prover
- theorem proving
- language modeling
- expressive power
- n gram
- inference rules
- probabilistic model
- document retrieval
- query expansion
- retrieval model
- test collection
- information retrieval
- knowledge representation
- markov networks
- proof procedure
- markov logic networks
- transitive closure
- language models for information retrieval
- knowledge base
- relevance model
- relevance feedback
- expert systems
- smoothing methods
- natural language