Adding abductive reasoning to a propositional logic.
João RasgaCristina SernadasPublished in: J. Log. Comput. (2022)
Keyphrases
- propositional logic
- abductive reasoning
- belief revision
- nonmonotonic reasoning
- first order logic
- inference rules
- prime implicates
- prime implicants
- logic programs
- quantified boolean formulae
- natural language understanding
- logical representation
- reasoning tasks
- plan recognition
- probabilistic logic
- default reasoning
- theorem proving
- propositional satisfiability
- belief change
- satisfiability testing
- propositional formulas
- horn logic