Automated Inductive Reasoning as a Support of Deductive Reasoning in a User-Independent Automation of Inductive Theorem Proving.
Marta FranováPublished in: ISMIS (1996)
Keyphrases
- inductive reasoning
- theorem proving
- deductive reasoning
- end users
- automated reasoning
- first order logic
- consequence finding
- theorem prover
- user interface
- automated theorem proving
- proof planning
- parallel search
- decision procedures
- inference rules
- automatic programming
- automated deduction
- geometry theorem proving
- proof procedure
- knowledge base
- logical inference
- cognitive functions
- term rewriting
- machine learning
- distributed search
- data mining
- propositional logic
- knowledge representation
- data analysis