From Axioms to Proof Rules, then add Quantifiers.
Revantha RamanayakePublished in: ARQNL@IJCAR (2016)
Keyphrases
- first order logic
- logical rules
- complete axiomatization
- knowledge base
- classification rules
- theorem prover
- association rules
- rule sets
- horn clauses
- rule extraction
- theorem proving
- data sets
- association rule mining
- fuzzy logic
- rule base
- background knowledge
- rule based systems
- transformation rules
- machine learning
- axiomatic characterization
- neural network