Using DAG Transformations to Verify Euler/Venn Homogeneous and Euler/Venn FOL Heterogeneous Rules of Inference.
Nik SwobodaGerard AllweinPublished in: Electron. Notes Theor. Comput. Sci. (2003)
Keyphrases
- differential equations
- inference engine
- rewrite rules
- association rules
- expert systems
- transformation rules
- data sets
- rule sets
- directed acyclic graph
- certainty factor
- horn clauses
- dynamic bayesian networks
- theorem proving
- bayesian inference
- probabilistic inference
- belief networks
- classification rules
- attribute values
- association rule mining
- knowledge base
- neural network