Can Language Models Learn Embeddings of Propositional Logic Assertions?
Nurul Fajrin AriyaniZied BouraouiRichard BoothSteven SchockaertPublished in: LREC/COLING (2024)
Keyphrases
- propositional logic
- language model
- language modeling
- belief revision
- first order logic
- n gram
- probabilistic model
- language modelling
- speech recognition
- document retrieval
- test collection
- quantified boolean formulae
- retrieval model
- smoothing methods
- statistical language models
- information retrieval
- knowledge base
- context sensitive
- query expansion
- ad hoc information retrieval
- lattice theory
- query terms
- propositional satisfiability
- document ranking
- relevance model
- belief change
- pseudo relevance feedback
- okapi bm
- satisfiability testing
- horn logic
- translation model
- distance measure
- relational databases
- expert systems
- vector space model
- language model for information retrieval