An examination of the SEP candidate analogical inference rule within pure inductive logic.
Elizabeth HowarthJeff B. ParisAlena VencovskáPublished in: J. Appl. Log. (2016)
Keyphrases
- inference rules
- modal logic
- logical framework
- truth values
- proof search
- epistemic logic
- natural deduction
- sequent calculus
- first order logic
- theorem prover
- theorem proving
- horn clauses
- cut elimination
- inductive logic programming
- deductive reasoning
- temporal logic
- automated reasoning
- classical logic
- functional programs
- inductive learning
- knowledge representation
- linear logic
- machine learning
- domain theory
- conditional probabilities
- predicate logic
- proof procedure
- object oriented
- database systems
- knowledge base
- database
- set of inference rules