Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis.
Paul TarauPublished in: CoRR (2022)
Keyphrases
- propositional logic
- abductive reasoning
- belief revision
- nonmonotonic reasoning
- inference rules
- first order logic
- theorem prover
- quantified boolean formulae
- prime implicates
- valued logic
- logic programs
- logical framework
- reasoning tasks
- natural language understanding
- probabilistic logic
- prime implicants
- plan recognition
- satisfiability testing
- theorem proving
- belief change
- logic programming
- machine learning
- horn logic
- knowledge base
- propositional satisfiability
- description logics
- search algorithm