Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis.
Paul TarauPublished in: Theory Pract. Log. Program. (2022)
Keyphrases
- propositional logic
- abductive reasoning
- belief revision
- inference rules
- nonmonotonic reasoning
- first order logic
- theorem prover
- prime implicants
- prime implicates
- logic programs
- reasoning tasks
- logical framework
- valued logic
- probabilistic logic
- natural language understanding
- quantified boolean formulae
- default reasoning
- plan recognition
- belief change
- horn logic
- automated reasoning
- classical logic
- fuzzy numbers
- satisfiability testing
- propositional satisfiability
- probabilistic reasoning
- theorem proving
- search algorithm
- bayesian networks
- artificial intelligence