Validating Reasoning Heuristics Using Next-Generation Theorem-Provers.
Paul S. SteynJohn A. van der PollPublished in: MSVVEIS (2007)
Keyphrases
- theorem prover
- automated reasoning
- automated theorem proving
- theorem proving
- computer algebra systems
- reasoning systems
- first order logic
- automated deduction
- reasoning tasks
- propositional satisfiability
- computer algebra
- inference rules
- proof planning
- knowledge representation
- knowledge representation and reasoning
- formal semantics
- search algorithm
- proof search
- proof procedure
- probabilistic reasoning
- heuristic search
- knowledge base
- higher order logic
- description logics
- reasoning process
- expert systems
- pairwise
- artificial intelligence