Integrating Language Models with Symbolic Formulas for First-Order Logic Reasoning.
Yu ShengLinjing LiYifei WangDaniel ZengPublished in: ICASSP (2024)
Keyphrases
- language model
- first order logic
- logical formulas
- probabilistic reasoning
- quantifier free
- predicate calculus
- knowledge representation
- proof procedure
- horn clauses
- expressive power
- logical rules
- language modeling
- n gram
- theorem proving
- probabilistic model
- propositional logic
- document retrieval
- information retrieval
- inference rules
- retrieval model
- query expansion
- theorem prover
- quantifier elimination
- inductive logic programming
- relational algebra
- relational calculus
- query terms
- test collection
- markov networks
- transitive closure
- language models for information retrieval
- knowledge base
- markov logic
- pseudo relevance feedback
- machine learning
- markov logic networks
- real numbers
- information retrieval systems
- bayesian networks
- generative model
- artificial intelligence
- partial order